2005 Archives by date

Messages sorted by: [ thread ] [ subject ] [ author ]
More info on this list...

Starting: Sat Jan 1 09:53:01 CEST 2005
Ending: Sat Dec 31 17:17:09 CEST 2005
Messages: 1438

problem with C-x ` (Mac OSX) Fred Spiessens
Problem with C-x ` (Mac OSX) Ronald E. Fortin
Last call: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) Santiago Escobar
case statement semantic in kernel language Marko Zerdin
case statement semantic in kernel language Peter Van Roy
Newbie - help with .ozrc file Kent Johnson
finite set select intersection Guido Tack
[agents] LCMAS @ IJCAI05 Wiebe van der Hoek
MTCoord'05: First call for papers Isabelle Linden
case statement semantic in kernel language Marko Zerdin
case statement semantic in kernel language Peter Van Roy
Monitor memory usage and/or atom creation Kevin Glynn
case statement semantic in kernel language Marko Zerdin
finite set select intersection Irene Langkilde Geary
LAAIC'05 Call for papers, Logical Aspects & Appl. of Integrity Constraints laaic05 at ruc.dk
finite set select intersection Raphael Collet
Cfp : ICSM 2005, the 21st International Conference on Software Maintenance Software Maintenance
question moz mozar
question Raphael Collet
question Gustavo Pabon
CP-AI-OR 2005: Last call for papers Petr Vilim
Newbie - help with .ozrc file Kent Johnson
CP-AI-OR 2005: LAST call for papers Petr Vilim
Newbie - help with .ozrc file Kevin Glynn
Frustration, Depression, Nastyness Jens Grabarske
Frustration, Depression, Nastyness Jens Grabarske
Newbie - help with .ozrc file Wolfgang Meyer
Newbie question concerning strings ChrisRathman.6335977 at bloglines.com
Newbie question concerning strings Yves Jaradin
[ICCIMA/ICSE05] Call for Papers: ICCIMA'05 ICCIMA 2005
Newbie question concerning strings Peter Van Roy
Newbie - help with .ozrc file Kent Johnson
[ICCIMA/ICSE05] CFP: International Conference on Computational Intelligence and Multimedia Applications 2005 ICCIMA'05
STI Cell Processor Steven H. Rogers
STI Cell Processor Robert Wills
9th Asian Logic Conference Asian Logic Conference 2005
[ICCIMA/ICSE05] CfP: Int. Conf. on Systems Engineering'05 - August 16-18, 2005 ICSEng'05
Constraint Handling Rules (CHR) News Marc Meister
LPNMR'05: Call for Papers lpnmr05.publicity at mat.unical.it
Atomicity of Cells Christopher Campbell
Atomicity of Cells Christopher Campbell
Atomicity of Cells Raphael Collet
Atomicity of Cells Christopher Campbell
ICLP 2005: Call for Papers ICLP 2005
finite set select intersection (Raphael Collet) Irene Geary
finite set select intersection (Raphael Collet) Raphael Collet
Atomicity of Cells Juergen Stuber
PhD Position at Technical University of Valencia (Spain) Santiago Escobar
Atomicity of Cells David Hopwood
Atomicity of Cells Raphael Collet
Beth Dissertation Prize Carlos Areces
Beth Dissertation Prize Carlos Areces
Beth Dissertation Prize: call for submissions Alberto Policriti
CLEI 2005: Call for Papers Carlos Olarte
Postdoctoral position in coordination languages and web services Jean-Marie JACQUET
PPDP 2005 Second Call for Papers Amy Felty
Two beginner questions Urban Hafner
Two beginner questions Urban Hafner
Two beginner questions Peter Van Roy
Two beginner questions Urban Hafner
Two beginner questions Urban Hafner
PDMC'05 - 1st CfP Martin Leucker
test asu
ФП и ЛП asu
ФП и ЛП (FP and LP) Yves Jaradin
Re: ФП и ЛП (FP and LP) Nick Kostirya
FP and LP asu
simple example Grégoire Dooms
simple example Jorge Marques Pelizzoni
simple example Grégoire Dooms
simple example asu
simple example asu
simple example asu
Moz IDE Emulator message Christopher Campbell
mozart on Gentoo with AMD64 !! Vincent Delporte
simple example asu
simple example Bruno Carton
simple example asu
simple example asu
CFP: ProMAS@ AAMAS 2005 Prof. Dr. Juergen Dix
mozart on Gentoo with AMD64 !! Andres Becerra Sandoval
files and sockets Jorge Marques Pelizzoni
files and sockets asu
simple example Jorge Marques Pelizzoni
mozart on Gentoo with AMD64 !! Vincent Delporte
ip address/host name in ticket Robert Wills
ip address/host name in ticket Jorge Marques Pelizzoni
ip address/host name in ticket Robert Wills
ip address/host name in ticket Jorge Marques Pelizzoni
ip address/host name in ticket Robert Wills
ip address/host name in ticket Kevin Glynn
simple example asu
bind afranke at ags.uni-sb.de
bind asu
simple question asu
simple question Grégoire Dooms
simple question Kevin Glynn
simple question Grégoire Dooms
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Grégoire Dooms
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Andreas Franke
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Grégoire Dooms
LOPSTR'05 call for papers P M Hill
Freebsd doesn't compile Kevin Glynn
Freebsd doesn't compile paolo_veronelli
Freebsd doesn't compile Vincent Delporte
simple question asu
Freebsd doesn't compile Kevin Glynn
Mozart perishes Jan van der Vorst
mozart on Gentoo with AMD 64 Vincent Delporte
mozart on Gentoo with AMD 64 Andres Becerra Sandoval
mozart on Gentoo with AMD 64 Vincent Delporte
Mozart perishes Peter Van Roy
Mozart perishes David Sletten
Mozart perishes Jan van der Vorst
Freebsd doesn't compile paolo_veronelli
error : mozart on Gentoo with AMD 64, another attempt !! Vincent Delporte
Mozart perishes Peter Van Roy
Mozart perishes Peter Van Roy
error : mozart on Gentoo with AMD 64, another attempt !! Kevin Glynn
Mozart g++ 3.4 fix Jan van der Vorst
Mozart perishes Kevin Glynn
mozart on Gentoo with AMD64 !! Vincent Delporte
OPI and Resolver chris
Mozart g++ 3.4 fix Kevin Glynn
Mozart g++ 3.4 fix Jan van der Vorst
mogul package documentation Fred Spiessens
mogul package documentation Fred Spiessens
CFP: Defence Applications of Multi-Agent Systems (DAMAS) @ AAMAS-2005 Chris vanBuskirk
Mozart g++ 3.4 fix Raphael Collet
ESSLLI'05 Student Session: Final Call for Papers and Posters Judit Gervain
mozart on Gentoo with AMD64 !! Kevin Glynn
[CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems Juergen Dix
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Andreas Franke
[constraints] recomputation with 'random distribution' Torsten Anders
VIM errorformat asu
Logic prog (newbie question)) Raphael Collet
Logic prog (newbie question)) asu
[constraints] recomputation with 'random distribution' Raphael Collet
[constraints] recomputation with 'random distribution' Torsten Anders
Logic prog (newbie question)) Raphael Collet
Logic prog (newbie question)) asu
[constraints] recomputation with 'random distribution' Raphael Collet
Prolog -> Mozart Kevin Glynn
[constraints] recomputation with 'random distribution' Torsten Anders
Prolog -> Mozart asu
[constraints] recomputation with 'random distribution' Raphael Collet
[constraints] recomputation with 'random distribution' Torsten Anders
windows - mogul - xmlrpc bart verbeke
windows - mogul - xmlrpc Torbjörn Lager
Prolog -> Mozart Peter Van Roy
windows - mogul - xmlrpc bart verbeke
windows - mogul - xmlrpc Torsten Anders
12 PhD Scholarships in Copenhagen Henrik Reif Andersen
[constraints] recomputation with 'random distribution' Gustavo Pabon
OPI and Resolver chris
Prolog -> Mozart asu
windows - mogul - xmlrpc Andreas Franke
QTk exit app Donatien Grolaux
QTk exit app Raphael Collet
QTk exit app asu
QTk exit app asu
The Base Modules vs ADTs Christopher Campbell
Prolog -> Mozart Jorge Marques Pelizzoni
Module Managers - URLs Christopher Campbell
The Base Modules vs ADTs Raphael Collet
International M.Sc. Program in COMPUTATIONAL LOGIC Int. Center for Computational Logic
The Base Modules vs ADTs chris
Procedure.arity Alberto Delgado
Procedure.arity Kevin Glynn
Getting Mozart cvs development source? Jan van der Vorst
Getting Mozart cvs development source? Jan van der Vorst
Getting Mozart cvs development source? Kevin Glynn
The Base Modules vs ADTs chris
The Base Modules vs ADTs Kevin Glynn
The Base Modules vs ADTs Christopher Campbell
GlobalStore Christopher Campbell
ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (co-located with ICALP'05) lvigano at inf.ethz.ch
CTM Wiki Dominic Fox
multiprocessors computer István Váradi
multiprocessors computer asu at ritm.msk.ru
multiprocessors computer asu at ritm.msk.ru
multiprocessors computer Konstantin Popov
Interfacing to Microsoft Visual C# .NET Gabriel Skantze
multiprocessors computer asu at ritm.msk.ru
multiprocessors computer Konstantin Popov
multiprocessors computer asu at ritm.msk.ru
Subverting Dataflow in Distributed Systems? Christopher Campbell
C-thread synchronizing with OZ Jan van der Vorst
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
C-thread synchronizing with OZ Konstantin Popov
Interfacing to Microsoft Visual C# .NET Jorge Marques Pelizzoni
CTM Wiki David Hopwood
Ward's Wiki Dominic Fox
multiprocessors computer Brent Fulgham
multiprocessors computer Raphael Collet
Distrib. programming (newbie q.) asu at ritm.msk.ru
Distrib. programming (newbie q.) Jorge Marques Pelizzoni
Distrib. programming (newbie q.) asu at ritm.msk.ru
Distrib. programming (newbie q.) asu at ritm.msk.ru
Getting Mozart cvs development source? Kevin Glynn
Final CFP: SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing Ian Miguel
Distrib. programming (newbie q.) Jorge Marques Pelizzoni
multiprocessors computer Jan van der Vorst
multiprocessors computer Peter Van Roy
Distrib. programming (newbie q.) Peter Van Roy
OpenSSH and Windows 2000 asu at ritm.msk.ru
Unit Tests? chris
multiprocessors computer Jan van der Vorst
Unit Tests? Juergen Stuber
Error? asu at ritm.msk.ru
berkeley db interface paolo_veronelli
Error? Jorge Marques Pelizzoni
Error? Raphael Collet
Remote procedures asu at ritm.msk.ru
Remote procedures Raphael Collet
Invitation to Italy and USA 2005; c/ba IPSI-2005 Italy and USA
distributing the lift example van der heijden
PPDP 2005 Submission Deadline Extended to February 22 Amy Felty
Remote procedures asu at ritm.msk.ru
about RI Gustavo Gutierrez Sabogal
Error in Mozart? (FoldR) asu at ritm.msk.ru
about RI Carlos G. Testera
Error in Mozart? (FoldR) chris.danx
Error in Mozart? (FoldR) chris
Error in Mozart? (FoldR) Christian Schulte
about RI Andres Becerra Sandoval
Book announcement: Advanced Topics in Types and Programming Languages Benjamin Pierce
Error in Mozart? asu at ritm.msk.ru
Error in Mozart? Raphael Collet
Running from command line. Tobias Nurmiranta
ESSLLI'05 StuS: Deadline extended until 22nd February 2005 Judit Gervain
MTCoord'05: Second call for papers Isabelle Linden
Announcement: APPSEM-II Summer School, Sep 8-12 Hans-Wolfgang Loidl
documenting Mozart code Túry Péter
Running from command line. Andreas Franke
Unit Tests? Juergen Stuber
(no subject) Stéphane Payrard
andthen, macros, arbitrary arguments (Was: Running from command line.) Tobias Nurmiranta
(no subject) Kevin Glynn
Error in Mozart? asu at ritm.msk.ru
JLAP Special Issue on Theory and Foundations of Programming Language Interference and Dependence Roberto Giacobazzi
andthen, macros, arbitrary arguments (Was: Running from command line.) Torsten Anders
andthen Andreas Franke
ICLP 2005: Call for Papers ICLP 2005
Beth Dissertation Price - Call for Submissions Carlos Areces
Beth Dissertation Price - Call for Submissions Carlos Areces
andthen Tobias Nurmiranta
andthen Andreas Franke
multiprocessors computer Peter Van Roy
Final CFP: Symposium on Abstraction Reformulation and Approximation: SARA 2005 Ian Miguel
ICLP 2005: Call for Workshops ICLP 2005
LPNMR'05: Papers Submission Open lpnmr05.publicity at mat.unical.it
Heuristics using tentative subspaces Filip Konvička
[Promas-al3tfg] CFP: Workshop Programming Multi-Agent Systems (ProMAS) Juergen Dix
Oz and scheme syntax. Tobias Nurmiranta
PS: Heuristics using tentative subspaces Filip Konvička
PS: Heuristics using tentative subspaces Raphael Collet
PS: Heuristics using tentative subspaces Filip Konvička
SEFM 2005 Second CfP Wolfgang Ahrendt
PS: Heuristics using tentative subspaces Filip Konvicka
CFP: Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005) Michael Winikoff
AOIS-2005 @ AAMAS Second Call for Papers Michael Winikoff
PS: Heuristics using tentative subspaces Raphael Collet
PS: Heuristics using tentative subspaces Raphael Collet
Call for participation WWV'05 Santiago Escobar
CADE-20 workshop on Disoproving Wolfgang Ahrendt
[Mlnet] CALL FOR PAPERS: ICML 2005, Bonn, Germany, 7-11 August 2005 (Submission deadline: 8th March 2005) Ina Lauth
DALT 2005: second call for papers Matteo Baldoni
PS: Heuristics using tentative subspaces Filip Konvicka
PS: Heuristics using tentative subspaces Filip Konvicka
ICNC'05-FSKD'05 Final Call for Papers/Special Sessions/Sponsorship: Changsha China Hepu Deng
DALT 2005: second call for papers Matteo Baldoni
what has become of the selection package? Jorge Marques Pelizzoni
[ICCIMA'05] Final Call for Papers; Due Date March 10, 2005 ICCIMA'05
[ICSEng'05] Final CFP - due date March 10, 2005 ICSEng'05
" AUTONOMOUS COMPUTING and AGENTS for PROCESS AUTOMATION " ABA
Call for IPSI Transactions Special Issues in 2005/6; c/ba IPSI Transactions Special Issues
[Mlnet] AW: [Kdnet-members] CfP: ICML05 Workshop on Ontology Learning Ina Lauth
[Mlnet] Machine Learning - Pascal Challenges, April 11-13 Ina Lauth
Unit Tests? chris
Tracing: Records -> VS Christopher Campbell
Tracing: Records -> VS Torsten Anders
[Fwd: Re: Tracing: Records -> VS] Andreas Franke
ozweb? Robert Wills
CLIMA VI :: First Call for Papers clima VI <clima-vi at deis.unibo.it>
Springer edition of MOZ 2004 proceedings available Peter Van Roy
Tracing: Records -> VS Christopher Campbell
Springer edition of MOZ 2004 proceedings available Mark S. Miller
[Mlnet] DBIS:Wissenschaftlichen Mitarbeiters (BAT II a). Prof. Dott. Ing. Roberto Zicari
Springer edition of MOZ 2004 proceedings available Peter Van Roy
[Haskell] Summer School on Reliable Computing: Call for Participation Steve Zdancewic
Functors: "identifying" abstractions Christopher Campbell
Functors: "identifying" abstractions Raphael Collet
Functors: "identifying" abstractions Andreas Rossberg
[Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder) Ina Lauth
[Mlnet] Open University Position in Austria Gerhard Widmer
[Mlnet] CFP: ACL 2005 Workshop on Feature Engineering for Machine Learning in NLP Eric Ringger
Floating Point Printing Problem Brent Fulgham
Floating Point Printing Problem Joachim Niehren
Floating Point Printing Problem Bruno Carton
Floating Point Printing Problem Juergen Stuber
Floating Point Printing Problem Juergen Stuber
Floating Point Printing Problem Jorge Marques Pelizzoni
Beth Dissertation Price - Last Call for Submissions Carlos Areces
Beth Dissertation Price - Last Call for Submissions Carlos Areces
CLIMA VI :: First Call for Papers clima VI <clima-vi at deis.unibo.it>
LPNMR'05: Call for Papers lpnmr05.publicity at mat.unical.it
CFP: Promas@AAMAS 2005 Prof. Dr. Juergen Dix
Floating Point Printing Problem Kevin Glynn
Functors: "identifying" abstractions Christopher Campbell
Hashing Christopher Campbell
Hashing Andreas Franke
Dictionary vs Record Filip Konvička
Dictionary vs Record Jorge Marques Pelizzoni
CPAIOR 2005: Call for Participation Petr Vilim
Marshalling Variable as Resource Christopher Campbell
Dictionary vs Record Filip Konvička
Dictionary vs Record Christian Schulte
Dictionary vs Record Filip Konvička
Dictionary vs Record Torbjörn Lager
Dictionary vs Record Jorge Marques Pelizzoni
Dictionary vs Record Filip Konvicka
Dictionary vs Record Filip Konvicka
[CFP] MICAI-2005, Mexican International conference on ARTIFICIAL INTELLIGENCE (Springer LNAI) Alexander Gelbukh
Mozart Governance Discussion Kevin Glynn
Coordination 2005: First call for participation Jean-Marie JACQUET
ICFP 2005 - Final Call for Papers Benjamin C. Pierce
DALT 2005 deadline extension: 18 March baldoni
[Mlnet] MSc in Information and Computer Sciences - Uni Luxembourg - starting September 2005 Christoph Schommer
CFP: APPSEM05 Workshop Hans-Wolfgang Loidl
[ICSEng'05] ICCIMA'05: deadline extended to March 25, 2005 ICCIMA'05
Call for papers: WILF 2005 Andrea G. B. Tettamanzi
Fwd: School of Logic in Montreux, Switzerland COSTA LEITE Alexandre
seven days to deadline for SEFM abstracts Wolfgang Ahrendt
LPNMR'05: Submission Deadline Approaching lpnmr05.publicity at mat.unical.it
contents of this user list Filip Konvička
contents of this user list Kevin Glynn
extended deadline: Workshop on Formal Models of Resource Bounded Agents Natasha Alechina
ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (NEW: ENTCS publication of proceedings) lvigano at inf.ethz.ch
Cfp : ICSM 2005 submission deadline extension Software Maintenance
contents of this user list Boriss Mejias
contents of this user list Kevin Glynn
ICLP 2005: Call for Workshops ICLP 2005
Fast lazy computations Raphael Collet
CFP: International Conference AUTOMATED SOFTWARE ENGINEERING Yunwen Ye
literate programming and Mozart Raphael Collet
literate programming and Mozart Torsten Anders
literate programming and Mozart Boriss Mejias
literate programming and Mozart Jorge Andrés Pérez
literate programming and Mozart Jorge Andrés Pérez
literate programming and Mozart Grégoire Dooms
literate programming and Mozart Raphael Collet
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Paul Snively
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Fred Spiessens
CTM - Difference Lists ChrisRathman.6335977 at bloglines.com
CTM - Difference Lists Jorge Marques Pelizzoni
CTM - Difference Lists ChrisRathman.6335977 at bloglines.com
Oz-MySql module Carlos Aya
Oz-MySql module Andreas Franke
LPNMR'05: LAST Call for Papers lpnmr05.publicity at mat.unical.it
Constraint Handling Rules Web-Pages moved Thom Fruehwirth
Coordination 2005: Grants Jean-Marie JACQUET
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Paul Snively
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Paul Snively
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
CFP: The 20th International Symposium on Computer and Information Sciences (ISCIS'05) PInar Yolum
PAT2005 Summer School Announcement Jesper Andersen
literate programming and Mozart Túry Péter
ICLP 2005: Call for Workshops ICLP 2005
CP-AI-OR 2005: Second call for participation Petr Vilim
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Paul Snively
unit commitment problem nick7069
ESSLLI 2005 - Registration now Open! Carlos Areces
ESSLLI 2005 - Registration now Open! Carlos Areces
Final CFP -- PDPAR'05 (Workshop on Pragmatics of Decision Procedures) Alessandro Cimatti
ICLP 2005: Call for Papers ICLP 2005
Summer School on Reliable Computing -- Revised Registration Date Steve Zdancewic
LPAR-12 in Jamaica geoff at cs.miami.edu
Compiling mozart on AMD64 or Alpha Florian Hars
FLoC 2006 Preliminary Announcement Kreutzer + Schweikardt
CLIMA VI :: Final Call for Papers and Tutorial Programme clima VI <clima-vi at deis.unibo.it>
CfP: PDMC'05 at ICALP'05 Martin Leucker
CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures Foclasa 2005 (Carlos Canal)
CLIMA VI :: new deadline April 15 clima VI <clima-vi at deis.unibo.it>
DEADLINE FOR ESSLLI 05 CHEAP REGISTRATION APPROACHING Fairouz Kamareddine
Newbie, errors using code from Tutorial... Jeffrey Cook
CLIMA VI :: new deadline April 15 clima VI <clima-vi at deis.unibo.it>
Newbie, errors using code from Tutorial... Grégoire Dooms
Newbie, errors using code from Tutorial... Grégoire Dooms
LPNMR'05: Call for Systems and Applications lpnmr05.publicity at mat.unical.it
Coordination 2005: Final call for participation Jean-Marie JACQUET
CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques for Software Entities Carlos Canal
Constraint Programming Book Page Update Thom Fruehwirth
PAT2005 Summer School Announcement Jesper Andersen
Newbie trying to write conditionals... Jeffrey Cook
Newbie trying to write conditionals... Andreas Franke
Newbie needs real help when the tutorial fails to inform... Jeffrey Cook
Constraint Programming: how to decide where Search fails (return nil) Changzhou Wang
Constraint Programming: how to decide where Search fails (return nil) Filip Konvička
Newbie needs real help when the tutorial fails to inform... Peter Van Roy
Constraint Programming: how to decide where Search fails (return nil) Gustavo Pabon
Newbie trying to write conditionals... Shigeo Nishi
Constraint Programming: how to decide where Search fails (return nil) Filip Konvička
Constraint Programming: how to decide where Search fails (return nil) Adriano Volpones
Constraint Programming: how to decide where Search fails Irene Langkilde Geary
Constraint Programming: how to decide where Search fails (return nil) Gustavo Pabon
[mozart-oz] negation propogator? Changzhou Wang
[mozart-oz] negation propogator? Torsten Anders
Constraint Programming: how to decide where Search fails (return nil) Torsten Anders
[mozart-oz] negation propogator? Changzhou Wang
Constraint Programming: how to decide where Search fails (return nil) Changzhou Wang
[mozart-oz] negation propogator? Torsten Anders
mozart 131 Mac Os 10.3.8 newbie question Johannes Brauer
[mozart-oz] negation propogator? Filip Konvicka
ATVA 2005: Call for Papers Yih-Kuen Tsay
[mozart-oz] negation propogator? Christian Schulte
[mozart-oz] negation propogator? Filip Konvička
CFP: 5th Workshop on Modelling and Solving Probles with Constraints Ian Miguel
CFP: The 20th International Symposium on Computer and Information Sciences (ISCIS'05) (fwd) PInar Yolum
mozart 131 Mac Os 10.3.8 newbie question Kevin Glynn
Compiling mozart on AMD64 or Alpha Kevin Glynn
[Mlnet] CFP for CMB 2005 workshop rcamacho at fe.up.pt
Compiling mozart on AMD64 or Alpha Florian Hars
newbie question - cannot enable oz applet Johannes Brauer
newbie question - cannot enable oz applet Chris Campbell
Call for Papers - ICTAC05 (Hanoi) Bernhard K. Aichernig
New Mozart governance procedure has started! Peter Van Roy
Announcing SMT-COMP Clark Barrett
PDPAR'05: Submission deadline extended to April 18, 2005 Alessandro Cimatti
ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05) lvigano at inf.ethz.ch
PDMC'05 Deadline Extension Martin Leucker
LOPSTR'05 second call for papers P M Hill
CFP: BAOSW - Building and Applying Ontologies for the Semantic Web Sofia Pinto
Post-doc Position in Operations Research/Computer Science Ian Miguel
Reachability problem Luis Quesada
Post Doc Position in Programming Language Technology Henrik Reif Andersen
Pre-advertisement: Senior Research Fellowship, possible progression to permanent Lecturer Ian Miguel
ACM Dynamic Languages Symposium 2005 Peter Van Roy
Final CFP: Bounded Model Checking workshop (BMC'05) Ofer Strichman
networking problem Renaud De Landtsheer
networking problem Kevin Glynn
networking problem Renaud De Landtsheer
ICLP 2005: Call for Papers ICLP 2005
in in procs orbitz at ezabel.com
in in procs orbitz at ezabel.com
in in procs Boriss Mejias
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
First CLIMA Contest: participate by May 20, 2005 clima VI <clima-vi at deis.unibo.it>
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
A problem using TK coords Ely Pinchover
A problem using TK coords Ely Pinchover
A problem using TK coords Raphael Collet
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005: Last Call for Papers ICLP 2005
build hangs on NetBSD-1.6.2 Roland Illig
Reminder: PAT2005 Summer School Jesper Andersen
Solve and ctm Robert Wills
Solve and ctm Raphael Collet
Solve and ctm Peter Van Roy
[ANNOUNCEMENT]: TFP '05: First Call for Papers Kevin Hammond
build hangs on NetBSD-1.6.2 Kevin Glynn
ICLP 2005: Extended Deadlines ICLP 2005
help for cutting_glass_plate demo Adriano Volpones
ATVA 2005: Call for Papers (Deadline: May 23) Yih-Kuen Tsay
help for cutting_glass_plate demo Stefano Gualandi
[Mlnet] CALL FOR PAPERS: CAEPIA'05 AEPIA
help for cutting_glass_plate demo Gustavo Pabon
help for cutting_glass_plate demo Adriano Volpones
CP-AI-OR 2005: Call for Participation Petr Vilim
help for cutting_glass_plate demo Adriano Volpones
Call for Participation: SAT 2005 Ian Miguel
mozart/oz developer position Gabor Karsai
ESSLLI 2006 - Call for Course and Workshop Proposals Carlos Areces
ESSLLI 2006 - Call for Course and Workshop Proposals Carlos Areces
ACM Transactions on Computational Logic - Call for Nominations Moshe Vardi
Closing deadline of conference accommodation Fairouz Kamareddine
slow compiler... Filip Konvička
[CFP] The First CLIMA Contest Juergen Dix
Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05) A Serebrenik
build hangs on NetBSD-1.6.2 Roland Illig
LOPSTR'05 final call for papers P M Hill
The Agent Days 2005: 2nd call for papers "Antonio J. Fernández Leiva"
2nd CfP: WEL'05 - Workshop on e-Learning Volker Doetsch
First Constraint Modelling Challenge Ian Miguel
slow compiler... Filip Konvička
slow compiler... Gustavo Pabon
Reminder - WCRE and WICSA submissions Software Maintenance
[Joergen Villadsen] FIRST CALL FOR PAPERS: 2nd International Workshop on Constraint Solving and Language Processing - CSLP 2005 duchier at ps.uni-sb.de
Deadline extended (2005, May 22): Workshop on e-Learning Volker Doetsch
slow compiler... Filip Konvička
slow compiler... Raphael Collet
slow compiler... Filip Konvička
PPDP 2005 Call for Participation Amy Felty
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
XML parser does not read redirected URLS Manuel J. Contreras Maya
XML parser does not read redirected URLS Denys Duchier
XML parser does not read redirected URLS Denys Duchier
CP-AI-OR 2005: Final call for participation Petr Vilim
CP-AI-OR 2005: Final call for participation Petr Vilim
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
LOPSTR'05: Extended Deadline for Full Papers P M Hill
Help with CVS Manuel J Contreras Maya
Help with CVS Manuel J Contreras Maya
Help with CVS Denys Duchier
ATVA 2005: Final CFP (New Deadline: May 27) Yih-Kuen Tsay
Call for Papers for CICLOPS'2005 Fernando Silva
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
Help with CVS Boriss Mejias
CPSec call for papers Fred Spiessens
PhD in aspect-oriented languages Oege de Moor
CPSec call for papers Fred Spiessens
1st Int. Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec) Stefano Bistarelli
Help with CVS duchier at ps.uni-sb.de
Call for Participation and studentship applications for CLIMA VI clima VI <clima-vi at deis.unibo.it>
CFP: International Conference AUTOMATED SOFTWARE ENGINEERING Yunwen Ye
CPSec call for papers Fred Spiessens
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
about the undefined symbol in linking C code to Mozart-OZ Dan Su
about the undefined symbol in linking C code to Mozart-OZ Konstantin Popov
about the undefined symbol in linking C code to Mozart-OZ duchier at ps.uni-sb.de
POPL 06 Call for Papers David Walker
[IOzSeF] ill-typed builtin application ? Kim BENNI
[IOzSeF] ill-typed builtin application ? Raphael Collet
Second year programming course using Mozart (in French) Peter Van Roy
[IOzSeF] ill-typed builtin application ? Kim BENNI
FMICS'05: Reminder - Deadline for abstracts is today! Tiziana Margaria
[IOzSeF] ill-typed builtin application ? Raphael Collet
Final Call for Participation: SAT 2005 Ian Miguel
about the undefined symbol in linking C code to Mozart-OZ Dan Su
FWD: [TYPES] 2005 ICFP Programming Contest Kevin Glynn
about the undefined symbol in linking C code to Mozart-OZ Konstantin Popov
about the undefined symbol in linking C code to Mozart-OZ duchier at ps.uni-sb.de
[IOzSeF] ill-typed builtin application ? Filip Konvička
CFP: BeyondFD 2005 Francisco Azevedo
Problem building mozart package Guillaume Rousse
The 17th Nordic Workshop on Programming Theory (NWPT'05) Jesper Andersen
Problem building mozart package Denys Duchier
LOPSTR'05 final call for extended abstracts P M Hill
CHR 2005 Call for Papers Thom Fruehwirth
[IOzSeF] ill-typed builtin application ? Kim BENNI
Problem building mozart package Guillaume Rousse
INAP 2005 - Call for Papers Armin Wolf
Problem building mozart package duchier at ps.uni-sb.de
WCB05 Call for Papers Rolf Backofen
Call for papers: MoveLog05 James Lipton
[IOzSeF] ill-typed builtin application ? Filip Konvička
[IOzSeF] ill-typed builtin application ? Guido Tack
[IOzSeF] Code examples Kim BENNI
[IOzSeF] Code examples Guido Tack
[ESSLLI 2006] Second Call for Course and Workshop Proposals Carlos Areces
[IOzSeF] Code examples Kim BENNI
[IOzSeF] Code examples Guido Tack
LOPSTR'05 new deadline for extended abstracts P M Hill
[ANN] MOGUL back online and updating denys.duchier at mozart-oz.org
2005 IEEE ISoLA Workshop: Call for papers Tiziana Margaria
Final Call for Participation: CSCLP 2005 ian miguel
ICLP 2005: Call for Posters ICLP 2005
Final call for ESSLLI05 registration Fairouz Kamareddine
FINAL CALL FOR ESSLLI05 registration Fairouz Kamareddine
OS.connect error bart verbeke
OS.connect error duchier at ps.uni-sb.de
OS.connect error Denys Duchier
[Fwd: Re: OS.connect error] Yves Jaradin
[Mlnet] 2nd CFP: ECCB'05 Workshop on Biomedical Ontologies and Text Processing George Demetriou
[Mlnet] CfP FGML-05 Johannes Fuernkranz
Signed 32 bit... Jeffrey Cook
Signed 32 bit... Raphael Collet
[IOzSeF] Statistics and search strategy Kim BENNI
Post-doc Position in Operations Research/Computer Science Conrad OBOULHAS
Post-doc Position in Operations Research/Computer Science Kevin Glynn
Signed 32 bit... Raphael Collet
CPSec workshop Stefano Bistarelli
ICFP 2005 - Accepted papers Benjamin Pierce
ozmille-0.1 released Kari Pahula
Help Needed: Getting Browser to work under Mac OS X Mike Barley
Help Needed: Getting Browser to work under Mac OS X Denys Duchier
Help Needed: Getting Browser to work under Mac OS X Fred Spiessens
[ANNOUNCEMENT]: TFP '05: Second Call for Papers Kevin Hammond
[ESSLLI2006] Last Call for Courses and Workshop Proposals Carlos Areces
[ESSLLI2006] Last Call for Courses and Workshop Proposals Carlos Areces
Mozart: Help Needed Getting Browser to work under Mac OS X Mike Barley
SECOND Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05) A Serebrenik
Mozart: Help Needed Getting Browser to work under Mac OS X Torsten Anders
cumulativeEF weird behavior Filip Konvička
LPAR last CFP geoff at cs.miami.edu
Mozart: Help Needed Getting Browser to work under Mac OS X Mike Barley
REMINDER: ASE05 calls for Tutorial, Workshop, Doctoral Symposium and Demo are due Jun 17 Yunwen Ye
cumulativeEF weird behavior Filip Konvička
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
PADL 2006 -- CALL FOR PAPERS Logic Programming Rsrch Association
The AVISPA Tool v.1.0 - Official release AVISPA
PDPAR'05 call for participation Alessandro Cimatti
SEFM 2005 Call for Participation Wolfgang Ahrendt
ICLP 2005: Call for Posters ICLP 2005
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
WCB05 Second Call for Papers Agostino Dovier
[OT] which math concept is equivalent to Oz procedures? Yves Jaradin
Call for paper - IEEE Tools with AI (ICTAI 2005) ictai05
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
CPSec 2005: Extended Submission Deadline Stefano Bistarelli
[GRIN][CFP][GULP] Answer Set Programming 2005: invitation to attend Alessandro Provetti
Call for Papers: FACS'05 - Macao Bernhard K. Aichernig
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
[Mlnet] CFP: ECML/PKDD Workshop on Mining Spatio-Temporal Data Andrienko
CFP: M4M-4 (Methods for Modalities 2005) Holger Schlingloff
CFP: M4M-4 (Methods for Modalities 2005) Holger Schlingloff
[Mlnet] HIS'05 - Final Call for Papers Ajith Abraham
[Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining Takashi Washio
Meaning of "X=a" depends on context??? Brian Hulley
Meaning of "X=a" depends on context??? Brian Hulley
[Mlnet] NCA 2005 - Final Call for Papers Ajith Abraham
How to find what text is selected in Qtk text widget? Brian Hulley
[Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining Dr-Ing. Gabriella Kokai
Meaning of "X=a" depends on context??? Peter Van Roy
Meaning of "X=a" depends on context??? Brian Hulley
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Jorge Marques Pelizzoni
Situatedness violation in IOzSeF Raphael Collet
Situatedness violation in IOzSeF Jorge Marques Pelizzoni
FLoC 2006: Call For Workshop Proposals Kreutzer + Schweikardt
xemacs and ms windows Jaime Alberto Parra Plaza
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
xemacs and ms windows Kevin Glynn
How to find what text is selected in Qtk text widget? Donatien Grolaux
How to find what text is selected in Qtk text widget? Brian Hulley
BeyondFD 2005 Submission deadline: June 30 Francisco Azevedo
HIS'05 Final call for papers Crina Grosan
Installer using InnoSetup Filip Konvička
Installer using InnoSetup Andrés Becerra Sandoval
Installer using InnoSetup Filip Konvicka
An OZ Interpreter/Compiler in OZ ? Ravi Mohan
Installer using InnoSetup Filip Konvička
An OZ Interpreter/Compiler in OZ ? Peter Van Roy
Constraint Solving and Language Processing (CSLP 2005, 2nd Call) duchier at ps.uni-sb.de
Installer using InnoSetup Filip Konvička
Hello... Jens Grabarske
XML Parser fails in "&#<numeric_code>;" Manuel J Contreras Maya
XML Parser fails in "&#<numeric_code>;" David Hopwood
ARSPA'05: Call for Participation AVISPA
CHR 2005 2nd Call for Papers Thom Fruehwirth
.ozrc and ms windows Jaime Alberto Parra Plaza
constraints Mario
FS.diff bug? Jorge Marques Pelizzoni
XML Parser fails in "&#<numeric_code>;" Manuel J Contreras Maya
constraints Yves Jaradin
constraints Raphael Collet
MathSAT: PhD positions at ICT-Trento Alessandro Cimatti
FINAL Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05) A Serebrenik
XML Parser fails in "&#<numeric_code>;" duchier at ps.uni-sb.de
FS.diff bug? duchier at ps.uni-sb.de
constraints duchier at ps.uni-sb.de
killing global search Jorge Marques Pelizzoni
killing global search Denys Duchier
oz on Mac OS X tiger? Mike Meyer
oz on Mac OS X tiger? Christian Hofer
bug: broken symmetries Jorge Marques Pelizzoni
more assymetry: FS.var.is and FD.is Jorge Marques Pelizzoni
oz on Mac OS X tiger? Mike Meyer
oz on Mac OS X tiger? Steven Elkins
LPNMR'05: Call for Participation lpnmr05 at mat.unical.it
ICFP 2005 - Call for Participation Dariusz Biernacki
NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05) A Serebrenik
[ANNOUNCEMENT]: TFP '05: Third & Final Call for Papers Kevin Hammond
LPAR-12 Deadline Reminder geoff at cs.miami.edu
E.W. Beth Dissertation Prize Winner Carlos Areces
BeyondFD'05 NEW deadline and Call for Participation Francisco Azevedo
ISAAC: Young Researcher Position at ITC-IRST, Trento Marco Bozzano
Hello... Raphael Collet
Call for participation in ICSM 2005, the 21st International Conference on Software Maintenance Software Maintenance
PSC Track @ SAC cfp Emiliano Tramontana
Transitive Closure - CTM 6.12 ChrisRathman.6335977 at bloglines.com
Transitive Closure - CTM 6.12 Luis Quesada
MICAI 2005 - Call for Workshops micai2005.mty at itesm.mx
MICAI 2005 - Call for Tutorials micai2005.mty at itesm.mx
Potential Postgraduate Scholarship at Cork Constraint Computation Centre (4C) Tomas Eric Nordlander
bug: broken symmetries duchier at ps.uni-sb.de
more assymetry: FS.var.is and FD.is duchier at ps.uni-sb.de
PADL'06 Call for Papers Logic Programming Rsrch Association
Newbie: First Impressions. Freejack
Trouble with the command line. Bug? Freejack
Newbie: First Impressions. Raphael Collet
Trouble with the command line. Bug? Freejack
Trouble with the command line. Bug? Rich Dougherty
Trouble with the command line. Bug? Filip Konvička
Trouble with the command line. Bug? Yves Jaradin
Trouble with the command line. Bug? Denys Duchier
Trouble with the command line. Bug? Raphael Collet
Associate researcher position in Constraint Programming Arno
ICLP 2005: Call for Participation ICLP 2005
ALternatives to OPI. Nigel Sandever
FW: PADL'06 Call for Papers Christian Schulte
About propagators in tuples ... Kim BENNI
About propagators in tuples ... Filip Konvička
About propagators in tuples ... Jorge Marques Pelizzoni
About propagators in tuples ... Kim BENNI
About propagators in tuples ... Kim BENNI
About propagators in tuples ... Filip Konvicka
[SEFM 2005] CfParticipation - Early Registration ends 31 July 2005 Bernhard Beckert
CFP EUMAS 2005 Marie-Pierre Gleizes
ASE05 Workshop Software Certificate Management CfP Yunwen Ye
ALternatives to OPI. Raphael Collet
[ICLP 2006] Call for WORKSHOP proposals A Serebrenik
Future tutorials, oz<--> tony.bigbee at att.net
ALternatives to OPI. Fred Spiessens
CFP: Computational Models of Scientific Reasoning and Applications (CMSRA-IV) Luis Moniz Pereira
Future tutorials, oz<--> Simon Beaumont
Future tutorials, oz<--> Marc-Antoine Parent
ALternatives to OPI. Simon Beaumont
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Simon Beaumont
ALternatives to OPI. Fred Spiessens
ALternatives to OPI. Simon Beaumont
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Marc-Antoine Parent
Mozart 1.3.1 RPMs for Suse 9.3 available Kevin Glynn
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Simon Beaumont
ALternatives to OPI. Fred Spiessens
Future tutorials, oz<--> Peter Van Roy
Mogul Joachim Niehren
Mogul Denys Duchier
CfP: WS on Multiparadigm Programming with OO Languages at OOPSLA 2005 Kei Davis
ALternatives to OPI. Alberto Delgado
Alternatives to OPI. Torsten Anders
WLPE 2005: Call for Participation A Serebrenik
C interface or oztool problem (sp. libcurl) user at domain.invalid
post-doc job in functional programming Colin Runciman
C interface or oztool problem (sp. libcurl) Denys Duchier
American tour for the 'Concepts' book Peter Van Roy
C interface or oztool problem (sp. libcurl) Alex Gian
4-year PhD Positions at UPM -- MOBIUS EU Project MOBIUS PhD Grants
ASE05 Workshop Traceability in Emerging Forms of Software Engineering CfP Yunwen Ye
Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05) Tarek Sobh
Underscore rmk216
Underscore Alex Gian
Underscore Jeff Nye
Underscore Peter Van Roy
Underscore rmk216
Schedule.firstsDist vs FD.distribute sosman
ATVA 2005: Preliminary Program and Call for Participation Yih-Kuen Tsay
ASE05 Workshop Specification and Automated Processing of Security Requirements CfP Yunwen Ye
cURL bindings for oz-mozart Alex Gian
POSTing data to cgi from Oz Alex Gian
POSTing data to cgi from Oz Kevin Glynn
prepare? Jens Grabarske
POSTing data to cgi from Oz Alex Gian
prepare? Kevin Glynn
POSTing data to cgi from Oz Kevin Glynn
prepare? Jens Grabarske
POSTing data to cgi from Oz Alex Gian
prepare? Kevin Glynn
CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis vigano at inf.ethz.ch
one question about scheduling with discrete resource Joyce Han
QHTML state of play Alex Gian
QHTML state of play Robert Wills
QHTML state of play Robert Wills
QHTML state of play Robert Wills
QHTML state of play Alex Gian
QHTML state of play Donatien Grolaux
QHTML state of play Alex Gian
QHTML state of play Donatien Grolaux
POSTing data to cgi from Oz Andreas Franke
C interface or oztool problem (sp. libcurl) Denys Duchier
C interface or oztool problem (sp. libcurl) Alex Gian
C interface or oztool problem (sp. libcurl) Denys Duchier
Information and Computation - Open-Access Experiment Moshe Vardi
LECTURERSHIP IN COMPUTER SCIENCE, UNIVERSITY OF DURHAM Susan Bates
PADL 2006: Final Call For Papers Logic Programming Rsrch Association
ACM SAC 2006 CFP: Software Verification Track Lunjin Lu
Connection timeout riddles Jens Grabarske
Connection timeout, the 2nd Jens Grabarske
Connection timeout, the 2nd Kevin Glynn
Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05) cisse at cisse2005.org
CFP: APPSEM05 Workshop Margaret Davis
PLID 2005 call for participation David Clark
memory consumption Filip Konvička
memory consumption Raphael Collet
memory consumption Filip Konvička
memory consumption Renaud De Landtsheer
MSc Research Position at the Cork Constraint Computation Centre ian miguel
memory consumption Filip Konvička
memory consumption Adriano Volpones
memory consumption David Hopwood
memory consumption Filip Konvička
memory consumption Filip Konvička
Noob, Norvig & Gat (A scoping problem) Alex Gian
Noob, Norvig & Gat (A scoping problem) Alex Gian
Noob, Norvig & Gat (A scoping problem) David Hopwood
Noob, Norvig & Gat (A scoping problem) Alex Gian
memory consumption Filip Konvička
FD Distribution with changed names in tuple Vladimír Duša
FD Distribution with changed names in tuple Christian Schulte
FD Distribution with changed names in tuple Vladimír Du¹a
FD Distribution with changed names in tuple Vladimír Du¹a
FD Distribution with changed names in tuple Filip Konvička
FD Distribution with changed names in tuple Vladimír Du¹a
Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05) cisse at cisse2005.org
UPDATE: NWPT05 Annoucenment Jesper Andersen
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
bug in Search? was Re: Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
Scoping problem with relational style (second posting [pretty please]) Alex Gian
bug in Search? was Re: Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
CFP: Constraint solving track at ACM Symposium on Applied Computing ian miguel
2nd CFP: M4M-4 "Methods for Modalities"; Berlin, Dec. 1-2, 2005 Holger Schlingloff
CFP EUMAS 2005 Marie-Pierre Gleizes
ATVA 2005: Call for Participation Yih-Kuen Tsay
CTM exercise answers Harmon Nine
Unification, Entailment, Pattern matching Harmon Nine
CTM exercise answers Peter Van Roy
Unification, Entailment, Pattern matching Peter Van Roy
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
Scoping problem with relational style (second posting [pretty please]) raph at info.ucl.ac.be
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Filip Konvicka
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Unification, Entailment, Pattern matching Harmon Nine
Unification, Entailment, Pattern matching Harmon Nine
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Unification, Entailment, Pattern matching Peter Van Roy
Terminating IOzSeF search Filip Konvička
[CfP] Special Issue on Answer Set Programming (ASP) in Annals of Mathematics and Artificial Intelligence Juergen Dix
Scoping problem with relational style (second posting [pretty please]) Alex Gian
CFP: Special Issue of AI Communications on Constraint Programming for Planning and Scheduling ian miguel
Terminating IOzSeF search Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Raphael Collet
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
CTM exercise answers Alex Gian
Scoping problem with relational style (second posting [pretty please]) Raphael Collet
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Extended Deadline - ACM SAC'06: Software Verification Track Lunjin Lu
Extended Deadline - ACM SAC'06: Software Verification Track Lunjin Lu
Secure communication? Jens Grabarske
CFP: International Symposium on Neural Networks (ISNN) 2006-- Chengdu, China ISNN2006
Random Bitstrings and XORing them Urban Hafner
Random Bitstrings and XORing them Raphael Collet
Random Bitstrings and XORing them Christian Schulte
Random Bitstrings and XORing them Urban Hafner
SVV'05 CFP: INTERNATIONAL WORKSHOP ON SOFTWARE VERIFICATION AND VALIDATION Zijiang (James) Yang
CFP: 20th Workshop on Logic Programming - WLP 2006 wlp06 at kr.tuwien.ac.at
Secure communication? Peter Van Roy
Open records, "..." Filip Konvička
Secure communication? Boriss Mejias
CFP: Extended Deadline: Constraint solving track at ACM Symposium on Applied Computing ian miguel
String functions Patrick D. Logan
String functions Torsten Anders
String functions Raphael Collet
Do non-GUI arguments work? Christopher Dicely
Do non-GUI arguments work? Raphael Collet
Do non-GUI arguments work? Kevin Glynn
Do non-GUI arguments work? Christopher Dicely
Do non-GUI arguments work? Raphael Collet
Arithmetic constraints Lyle Kopnicky
Arithmetic constraints Kari Pahula
Arithmetic constraints Raphael Collet
scalar product Mario
[Fwd: Installation problem report -MacOSX] Raphael Collet
scalar product Raphael Collet
PSI 2006: First CFP PSI06 Conference
[Fwd: Installation problem report -MacOSX] Steven Elkins
[Fwd: Installation problem report -MacOSX] Marc-Antoine Parent
Call for Participation: International Conference on Automated Software Engineering 2005 Yunwen Ye
Compilation error : variable Module not introduced Saurabh Kumar
Compilation error : variable Module not introduced Raphael Collet
Compilation error : variable Module not introduced Grzegorz Chrupała
gentoo ebuilds fail Kevin Glynn
Call for Participation (correction): International Conference on Automated Software Engineering 2005 Yunwen Ye
EUMAS2005 extended deadline Marie-Pierre Gleizes
*** ICFP '06 CALL FOR WORKSHOP PROPOSALS *** Matthias Blume
gentoo ebuilds fail Matthew O'Connor
(no subject) |\/|/-\|\||
memory efficiency of records Irene Langkilde-Geary
New user question Russ Abbott
Any idea why this doesn't run? Russ Abbott
Any idea why this doesn't run? Filip Konvicka
memory efficiency of records Filip Konvicka
Any idea why this doesn't run? Russ Abbott
New user question Filip Konvicka
Any idea why this doesn't run? Boriss Mejias
Any idea why this doesn't run? Russ Abbott
Another new-comer question Russ Abbott
gentoo ebuilds fail Dario Lopez-Kästen
ICALP 2006 -- Call For Workshop Proposals ICALP 2006
ICALP 2006 -- Preliminary Call For Papers ICALP 2006
gentoo ebuilds fail Matthew O'Connor
Univ Russ Abbott
memory space efficiency of records Irene Langkilde Geary
Another new-comer question Fred Spiessens
gentoo ebuilds fail Dario Lopez-Kästen
memory efficiency of records Raphael Collet
New user question Peter Van Roy
Any idea why this doesn't run? Peter Van Roy
memory efficiency of records Peter Van Roy
New user question Raphael Collet
Univ Peter Van Roy
Any idea why this doesn't run? Raphael Collet
Another new-comer question Raphael Collet
Top level declarations Russ Abbott
Top level declarations Kevin Glynn
case pattern matching Russ Abbott
case pattern matching Russ Abbott
case pattern matching Russ Abbott
memory space efficiency of records Irene Langkilde Geary
Univ Russ Abbott
case pattern matching Christian Schulte
case pattern matching Fred Spiessens
New user question Filip Konvička
case pattern matching Bryan Smith
memory space efficiency of records Raphael Collet
memory efficiency of records Filip Konvička
memory efficiency of records Raphael Collet
case pattern matching Russ Abbott
Univ Kevin Glynn
memory efficiency of records Filip Konvička
case pattern matching David Hopwood
space efficiency of records Irene Langkilde Geary
Mozart oz on Suse Linux Enterprise Server 9 govind.abkari at tcs.com
Mozart oz on Suse Linux Enterprise Server 9 Andreas Franke
space efficiency of records Raphael Collet
9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2006) CONFERENCE MANAGER
case pattern matching Kevin Glynn
command line execution of OZ Robert Ritchey
command line execution of OZ Raphael Collet
Univ Peter Van Roy
command line execution of OZ Andres Becerra Sandoval
command line execution of OZ Andreas Franke
emacs problem when navigating to the next error Jens H. Jahnke
Set Covering Problem Michael Blond
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Raphael Collet
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
Help with CTM Chapter 9 Russ Abbott
EATCS AWARD 2006 Mariangiola Dezani
Emergence Russ Abbott
Help with CTM Chapter 9 ChrisRathman.6335977 at bloglines.com
Help with CTM Chapter 9 Russ Abbott
command line execution of OZ Robert Ritchey
emacs problem when navigating to the next error Raphael Collet
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Peter Van Roy
command line execution of OZ Andreas Franke
Help with CTM Chapter 9 Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Torsten Anders
{Browse 'any'} doesn't work under Windows XP. Renaud De Landtsheer
Still struggling Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Unify and case (again) Russ Abbott
Unify and case (again) Russ Abbott
From backtracking to FD and more Russ Abbott
From backtracking to FD and more Russ Abbott
Help with CTM Chapter 9 Torsten Anders
Help with CTM Chapter 9 Torsten Anders
From backtracking to FD and more Torsten Anders
Help with CTM Chapter 9 Russ Abbott
Still struggling Torsten Anders
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
Still struggling Filip Konvička
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Unify and case (again) Raphael Collet
From backtracking to FD and more Raphael Collet
Help with CTM Chapter 9 Alex Gian
Still struggling David Hopwood
Still struggling David Hopwood
Still struggling Jorge Marques Pelizzoni
Unify and case (again) Russ Abbott
What is Mozart-Oz Russ Abbott
Unify and case (again) Torsten Anders
Unify and case (again) Russ Abbott
What is Mozart-Oz Alex Gian
Reminder: ASE05 early registration ends Oct. 7 Yunwen Ye
Another newbie trap I fell into Russ Abbott
What is Mozart-Oz Robert Ritchey
Another newbie trap I fell into Filip Konvička
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Mark van der Kraan
What is Mozart-Oz Raphael Collet
Unify and case (again) Torsten Anders
Another newbie trap I fell into Raphael Collet
Another newbie trap I fell into Filip Konvička
What is Mozart-Oz Torsten Anders
Another newbie trap I fell into Torsten Anders
What is Mozart-Oz Christian Schulte
What is Mozart-Oz Bob Calco
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
Lecture tour Peter Van Roy
Another newbie trap I fell into Filip Konvička
What is Mozart-Oz Raphael Collet
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Raphael Collet
What is Mozart-Oz sosman
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Raphael Collet
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Irene Langkilde-Geary
What is Mozart-Oz Peter Van Roy
What is Mozart-Oz Russ Abbott
What is Mozart-Oz David Hopwood
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz David Hopwood
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Oz syntax Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz David Hopwood
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Understanding the Oz Concurrent Logic Programming Model (more evidence) Russ Abbott
Understanding the Oz Concurrent Logic Programming Model (yet more evidence) Russ Abbott
Understanding the Oz Concurrent Logic Programming Model (more evidence) Kevin Glynn
What is Mozart-Oz Raphael Collet
Understanding the Oz Concurrent Logic Programming Model Raphael Collet
Understanding the Oz Concurrent Logic Programming Model (more evidence) Raphael Collet
Understanding the Oz Concurrent Logic Programming Model Irene Langkilde-Geary
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
External variables Russ Abbott
External variables Filip Konvicka
External variables Russ Abbott
External variables Raphael Collet
External variables Russ Abbott
Procedural vs. declarative Russ Abbott
External variables Raphael Collet
Procedural vs. declarative Raphael Collet
implement better crontab in Oz? Andrew Piskorski
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
Parallel search hanging Ryan Kelly
Procedural vs. declarative Raphael Collet
Procedural vs. declarative Stefano Gualandi
Procedural vs. declarative David Hopwood
Procedural vs. declarative Peter Van Roy
Procedural vs. declarative Russ Abbott
Concurrency and Constraints Russ Abbott
Procedural vs. declarative Russ Abbott
CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis vigano at inf.ethz.ch
A complaint Torsten Anders
A complaint Raphael Collet
Procedural vs. declarative Raphael Collet
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
A complaint Russ Abbott
Understanding Oz Russ Abbott
A complaint Torsten Anders
Understanding Oz Peter Van Roy
A complaint Russ Abbott
Understanding Oz Russ Abbott
PATAT 2006: Second Call for Papers PATAT 2006
A complaint Peter Van Roy
Understanding Oz Peter Van Roy
Understanding Oz Raphael Collet
Understanding Oz Christian Schulte
Using Mozart in the "real" world ... Jonathan Kelly
Using Mozart in the "real" world ... Filip Konvička
A complaint Filip Konvička
Using Mozart in the "real" world ... Peter Van Roy
CFP: Nonmonotonic Reasoning Workshop (NMR 2006) Prof. Dr. Juergen Dix
Using Mozart in the "real" world ... Torsten Anders
Understanding Oz David Hopwood
or Torsten Anders
Oz support for reals Rukman Senanayake
Eclipse plug-in for Oz Russ Abbott
'or' Russ Abbott
'or' Christian Schulte
Understanding Oz Russ Abbott
Understanding Oz Robin Lee Powell
'or' Russ Abbott
Understanding Oz David Hopwood
'or' Russ Abbott
Understanding Oz Russ Abbott
Oz support for reals Torsten Anders
Understanding Oz Torsten Anders
Understanding Oz Chris vanBuskirk
Understanding Oz Russ Abbott
FM'06: CFP event at zaphod.in.tu-clausthal.de
Understanding Oz Raphael Collet
Understanding Oz Raphael Collet
'or' Raphael Collet
Problem debugging constraint extension Jan van der Vorst <