2005 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• 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

• " AUTONOMOUS COMPUTING and AGENTS for PROCESS AUTOMATION "   ABA
• 'or'   Russ Abbott
• 'or'   Christian Schulte
• 'or'   Russ Abbott
• 'or'   Russ Abbott
• 'or'   Raphael Collet
• (no subject)   Stéphane Payrard
• (no subject)   Kevin Glynn
• (no subject)   |\/|/-\|\||
• *** ICFP '06 CALL FOR WORKSHOP PROPOSALS ***   Matthias Blume
• .ozrc and ms windows   Jaime Alberto Parra Plaza
• 12 PhD Scholarships in Copenhagen   Henrik Reif Andersen
• 1st Int. Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec)   Stefano Bistarelli
• 2005 IEEE ISoLA Workshop: Call for papers   Tiziana Margaria
• 2006 Programme on Logic and Algorithms - Workshops   MYV
• 2nd Call: ESSLLI 2006 Student Session   Carlos Areces
• 2nd CFP: CPAIOR 2006: 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems   ian miguel
• 2nd CFP: M4M-4 "Methods for Modalities"; Berlin, Dec. 1-2, 2005   Holger Schlingloff
• 2nd CfP: WEL'05 - Workshop on e-Learning   Volker Doetsch
• 4-year PhD Positions at UPM -- MOBIUS EU Project   MOBIUS PhD Grants
• 9th Asian Logic Conference   Asian Logic Conference 2005
• 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2006)   CONFERENCE MANAGER
• ФП и ЛП   asu
• ФП и ЛП (FP and LP)   Yves Jaradin
• Re: ФП и ЛП (FP and LP)   Nick Kostirya
• [agents] LCMAS @ IJCAI05   Wiebe van der Hoek
• [ANN] MOGUL back online and updating   denys.duchier at mozart-oz.org
• [ANNOUNCEMENT]: TFP '05: First Call for Papers   Kevin Hammond
• [ANNOUNCEMENT]: TFP '05: Second Call for Papers   Kevin Hammond
• [ANNOUNCEMENT]: TFP '05: Third & Final Call for Papers   Kevin Hammond
• [CFP] MICAI-2005, Mexican International conference on ARTIFICIAL INTELLIGENCE (Springer LNAI)   Alexander Gelbukh
• [CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems   Juergen Dix
• [CfP] Special Issue on Answer Set Programming (ASP) in Annals of Mathematics and Artificial Intelligence   Juergen Dix
• [CFP] The First CLIMA Contest   Juergen Dix
• [constraints] recomputation with 'random distribution'   Torsten Anders
• [constraints] recomputation with 'random distribution'   Raphael Collet
• [constraints] recomputation with 'random distribution'   Torsten Anders
• [constraints] recomputation with 'random distribution'   Raphael Collet
• [constraints] recomputation with 'random distribution'   Torsten Anders
• [constraints] recomputation with 'random distribution'   Raphael Collet
• [constraints] recomputation with 'random distribution'   Torsten Anders
• [constraints] recomputation with 'random distribution'   Gustavo Pabon
• [ESSLLI 2006] Second Call for Course and Workshop Proposals   Carlos Areces
• [ESSLLI2006] Last Call for Courses and Workshop Proposals   Carlos Areces
• [ESSLLI2006] Last Call for Courses and Workshop Proposals   Carlos Areces
• [Fwd: Installation problem report -MacOSX]   Raphael Collet
• [Fwd: Installation problem report -MacOSX]   Steven Elkins
• [Fwd: Installation problem report -MacOSX]   Marc-Antoine Parent
• [Fwd: Re: OS.connect error]   Yves Jaradin
• [Fwd: Re: Tracing: Records -> VS]   Andreas Franke
• [GRIN][CFP][GULP] Answer Set Programming 2005: invitation to attend   Alessandro Provetti
• [Haskell] Summer School on Reliable Computing: Call for Participation   Steve Zdancewic
• [ICCIMA'05] Final Call for Papers; Due Date March 10, 2005   ICCIMA'05
• [ICCIMA/ICSE05] Call for Papers: ICCIMA'05   ICCIMA 2005
• [ICCIMA/ICSE05] CfP: Int. Conf. on Systems Engineering'05 - August 16-18, 2005   ICSEng'05
• [ICCIMA/ICSE05] CFP: International Conference on Computational Intelligence and Multimedia Applications 2005   ICCIMA'05
• [ICLP 2006] Call for WORKSHOP proposals   A Serebrenik
• [ICSEng'05] Final CFP - due date March 10, 2005   ICSEng'05
• [ICSEng'05] ICCIMA'05: deadline extended to March 25, 2005   ICCIMA'05
• [IOzSeF] Code examples   Kim BENNI
• [IOzSeF] Code examples   Guido Tack
• [IOzSeF] Code examples   Kim BENNI
• [IOzSeF] Code examples   Guido Tack
• [IOzSeF] ill-typed builtin application ?   Kim BENNI
• [IOzSeF] ill-typed builtin application ?   Raphael Collet
• [IOzSeF] ill-typed builtin application ?   Kim BENNI
• [IOzSeF] ill-typed builtin application ?   Raphael Collet
• [IOzSeF] ill-typed builtin application ?   Filip Konvička
• [IOzSeF] ill-typed builtin application ?   Kim BENNI
• [IOzSeF] ill-typed builtin application ?   Filip Konvička
• [IOzSeF] ill-typed builtin application ?   Guido Tack
• [IOzSeF] Statistics and search strategy   Kim BENNI
• [Joergen Villadsen] FIRST CALL FOR PAPERS: 2nd International Workshop on Constraint Solving and Language Processing - CSLP 2005   duchier at ps.uni-sb.de
• [Mlnet] 2nd CFP: ECCB'05 Workshop on Biomedical Ontologies and Text Processing   George Demetriou
• [Mlnet] AW: [Kdnet-members] CfP: ICML05 Workshop on Ontology Learning   Ina Lauth
• [Mlnet] CALL FOR PAPERS: CAEPIA'05   AEPIA
• [Mlnet] CALL FOR PAPERS: ICML 2005, Bonn, Germany, 7-11 August 2005 (Submission deadline: 8th March 2005)   Ina Lauth
• [Mlnet] CfP FGML-05   Johannes Fuernkranz
• [Mlnet] CFP for CMB 2005 workshop   rcamacho at fe.up.pt
• [Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining   Dr-Ing. Gabriella Kokai
• [Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining   Takashi Washio
• [Mlnet] CFP: ACL 2005 Workshop on Feature Engineering for Machine Learning in NLP   Eric Ringger
• [Mlnet] CFP: ECML/PKDD Workshop on Mining Spatio-Temporal Data   Andrienko
• [Mlnet] DBIS:Wissenschaftlichen Mitarbeiters (BAT II a).   Prof. Dott. Ing. Roberto Zicari
• [Mlnet] HIS'05 - Final Call for Papers   Ajith Abraham
• [Mlnet] Machine Learning - Pascal Challenges, April 11-13   Ina Lauth
• [Mlnet] MSc in Information and Computer Sciences - Uni Luxembourg - starting September 2005   Christoph Schommer
• [Mlnet] NCA 2005 - Final Call for Papers   Ajith Abraham
• [Mlnet] Open University Position in Austria   Gerhard Widmer
• [Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder)   Ina Lauth
• [mozart-oz] negation propogator?   Changzhou Wang
• [mozart-oz] negation propogator?   Torsten Anders
• [mozart-oz] negation propogator?   Changzhou Wang
• [mozart-oz] negation propogator?   Torsten Anders
• [mozart-oz] negation propogator?   Filip Konvicka
• [mozart-oz] negation propogator?   Christian Schulte
• [mozart-oz] negation propogator?   Filip Konvička
• [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?   Yves Jaradin
• [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
• [OT] which math concept is equivalent to Oz procedures?   Raphael Collet
• [Promas-al3tfg] CFP: Workshop Programming Multi-Agent Systems (ProMAS)   Juergen Dix
• [SEFM 2005] CfParticipation - Early Registration ends 31 July 2005   Bernhard Beckert
• [VMCAI '06] Early registration upto Dec 15   VMCAI '06
• A complaint   Torsten Anders
• A complaint   Raphael Collet
• A complaint   Russ Abbott
• A complaint   Torsten Anders
• A complaint   Russ Abbott
• A complaint   Peter Van Roy
• A complaint   Filip Konvička
• A Function composed...   Eric Binard
• A Function composed...   Raphael Collet
• A priority queue & A nice ADT packaging style   Björn Hägglund
• A priority queue & A nice ADT packaging style   Maximilian Wilson
• A problem using TK coords   Ely Pinchover
• A problem using TK coords   Ely Pinchover
• A problem using TK coords   Raphael Collet
• ABModSim - 2nd CFP   event at zaphod.in.tu-clausthal.de
• 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
• about RI   Gustavo Gutierrez Sabogal
• about RI   Carlos G. Testera
• about RI   Andres Becerra Sandoval
• about the undefined symbol in linking C code to Mozart-OZ   Dan Su
• about the undefined symbol in linking C code to Mozart-OZ   duchier at ps.uni-sb.de
• about the undefined symbol in linking C code to Mozart-OZ   Dan Su
• about the undefined symbol in linking C code to Mozart-OZ   duchier at ps.uni-sb.de
• about the undefined symbol in linking C code to Mozart-OZ   Konstantin Popov
• about the undefined symbol in linking C code to Mozart-OZ   Konstantin Popov
• Academic position UCLouvain (Belgium)   Yves Deville
• ACM Dynamic Languages Symposium 2005   Peter Van Roy
• ACM SAC 2006 CFP: Software Verification Track   Lunjin Lu
• ACM Transactions on Computational Logic - Call for Nominations   Moshe Vardi
• ah, I see a fishbone in my stew   Abuzar Chaudhary
• ah, I see a fishbone in my stew   Kevin Glynn
• ah, I see a fishbone in my stew   Raphael Collet
• ah, I see a fishbone in my stew   Abuzar Chaudhary
• AllDistinct hack   Russ Abbott
• AllDistinct hack   Raphael Collet
• AllDistinct hack   Luis Quesada
• ALternatives to OPI.   Nigel Sandever
• ALternatives to OPI.   Raphael Collet
• ALternatives to OPI.   Fred Spiessens
• ALternatives to OPI.   Simon Beaumont
• ALternatives to OPI.   Fred Spiessens
• ALternatives to OPI.   Simon Beaumont
• ALternatives to OPI.   Fred Spiessens
• ALternatives to OPI.   Alberto Delgado
• Alternatives to OPI.   Torsten Anders
• AMAST06 CFP (Feb closing date)   Michael Johnson
• American tour for the 'Concepts' book   Peter Van Roy
• An OZ Interpreter/Compiler in OZ ?   Ravi Mohan
• An OZ Interpreter/Compiler in OZ ?   Peter Van Roy
• andthen   Andreas Franke
• andthen   Tobias Nurmiranta
• andthen   Andreas Franke
• andthen, macros, arbitrary arguments (Was: Running from command line.)   Tobias Nurmiranta
• andthen, macros, arbitrary arguments (Was: Running from command line.)   Torsten Anders
• Announcement: APPSEM-II Summer School, Sep 8-12   Hans-Wolfgang Loidl
• Announcing SMT-COMP   Clark Barrett
• Another new-comer question   Russ Abbott
• Another new-comer question   Fred Spiessens
• Another new-comer question   Raphael Collet
• Another newbie trap I fell into   Russ Abbott
• Another newbie trap I fell into   Filip Konvička
• Another newbie trap I fell into   Raphael Collet
• Another newbie trap I fell into   Filip Konvička
• Another newbie trap I fell into   Torsten Anders
• Another newbie trap I fell into   Filip Konvička
• Any idea why this doesn't run?   Russ Abbott
• Any idea why this doesn't run?   Filip Konvicka
• Any idea why this doesn't run?   Russ Abbott
• Any idea why this doesn't run?   Boriss Mejias
• Any idea why this doesn't run?   Russ Abbott
• Any idea why this doesn't run?   Peter Van Roy
• Any idea why this doesn't run?   Raphael Collet
• AOIS-2005 @ AAMAS Second Call for Papers   Michael Winikoff
• Arithmetic constraints   Lyle Kopnicky
• Arithmetic constraints   Kari Pahula
• Arithmetic constraints   Raphael Collet
• ARSPA'05: Call for Participation   AVISPA
• ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05)   lvigano at inf.ethz.ch
• ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (co-located with ICALP'05)   lvigano at inf.ethz.ch
• ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (NEW: ENTCS publication of proceedings)   lvigano at inf.ethz.ch
• ASE05 on-line registration ends Oct. 28   Yunwen Ye
• ASE05 Workshop Software Certificate Management CfP   Yunwen Ye
• ASE05 Workshop Specification and Automated Processing of Security Requirements CfP   Yunwen Ye
• ASE05 Workshop Traceability in Emerging Forms of Software Engineering CfP   Yunwen Ye
• Associate researcher position in Constraint Programming   Arno
• Atomicity of Cells   Christopher Campbell
• Atomicity of Cells   Christopher Campbell
• Atomicity of Cells   Raphael Collet
• Atomicity of Cells   Christopher Campbell
• Atomicity of Cells   Juergen Stuber
• Atomicity of Cells   David Hopwood
• Atomicity of Cells   Raphael Collet
• ATVA 2005: Call for Papers   Yih-Kuen Tsay
• ATVA 2005: Call for Papers (Deadline: May 23)   Yih-Kuen Tsay
• ATVA 2005: Call for Participation   Yih-Kuen Tsay
• ATVA 2005: Final CFP (New Deadline: May 27)   Yih-Kuen Tsay
• ATVA 2005: Preliminary Program and Call for Participation   Yih-Kuen Tsay
• berkeley db interface   paolo_veronelli
• Beth Dissertation Price - Call for Submissions   Carlos Areces
• Beth Dissertation Price - Call for Submissions   Carlos Areces
• Beth Dissertation Price - Last Call for Submissions   Carlos Areces
• Beth Dissertation Price - Last Call for Submissions   Carlos Areces
• Beth Dissertation Prize   Carlos Areces
• Beth Dissertation Prize   Carlos Areces
• Beth Dissertation Prize: call for submissions   Alberto Policriti
• BeyondFD 2005 Submission deadline: June 30   Francisco Azevedo
• BeyondFD'05 NEW deadline and Call for Participation   Francisco Azevedo
• bind   afranke at ags.uni-sb.de
• bind   asu
• Blocking and default data flow variables   Russ Abbott
• Blocking and default data flow variables   Kari Pahula
• Blocking and default data flow variables   Torsten Anders
• Blocking and default data flow variables   Raphael Collet
• Blocking and default data flow variables   Russ Abbott
• Blocking and default data flow variables   Raphael Collet
• Book announcement: Advanced Topics in Types and Programming Languages   Benjamin Pierce
• 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
• 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 Search? was Re: Scoping problem with relational style (second posting [pretty please])   Jorge Marques Pelizzoni
• bug in Search? was Re: Scoping problem with relational style (second posting [pretty please])   Jorge Marques Pelizzoni
• bug tracking system not working?   Filip Konvička
• bug tracking system not working?   Guido Tack
• bug tracking system not working?   Filip Konvička
• bug: broken symmetries   Jorge Marques Pelizzoni
• bug: broken symmetries   duchier at ps.uni-sb.de
• build hangs on NetBSD-1.6.2   Roland Illig
• build hangs on NetBSD-1.6.2   Kevin Glynn
• build hangs on NetBSD-1.6.2   Roland Illig
• C interface or oztool problem (sp. libcurl)   user at domain.invalid
• 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
• C interface or oztool problem (sp. libcurl)   Alex Gian
• C interface or oztool problem (sp. libcurl)   Denys Duchier
• C-thread synchronizing with OZ   Jan van der Vorst
• C-thread synchronizing with OZ   Konstantin Popov
• CADE-20 workshop on Disoproving   Wolfgang Ahrendt
• Call for IPSI Transactions Special Issues in 2005/6; c/ba   IPSI Transactions Special Issues
• Call for paper - IEEE Tools with AI (ICTAI 2005)   ictai05
• Call For Papers - ICLP 2006   A Serebrenik
• Call for Papers - ICTAC05 (Hanoi)   Bernhard K. Aichernig
• Call for Papers for CICLOPS'2005   Fernando Silva
• Call for Papers SAFECOMP 2006   magott
• Call for Papers: FACS'05 - Macao   Bernhard K. Aichernig
• Call For Papers: ISMM 2006 (International Symposium on Memory Management)   Erez Petrank
• Call for papers: MoveLog05   James Lipton
• Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05)   Tarek Sobh
• Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05)   cisse at cisse2005.org
• Call for Papers: The International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 05)   cisse at cisse2005.org
• Call for papers: WILF 2005   Andrea G. B. Tettamanzi
• Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
• Call for Participation (correction): International Conference on Automated Software Engineering 2005   Yunwen Ye
• Call for Participation and studentship applications for CLIMA VI   clima VI <clima-vi at deis.unibo.it>
• Call for participation in ICSM 2005, the 21st International Conference on Software Maintenance   Software Maintenance
• Call for participation WWV'05   Santiago Escobar
• Call for Participation: FOOL/WOOD 2006   Kathleen Fisher
• Call for Participation: International Conference on Automated Software Engineering 2005   Yunwen Ye
• Call for Participation: SAT 2005   Ian Miguel
• Cannot find GNU Emacs or XEmacs!!   Raphael Collet
• Cannot find GNU Emacs or XEmacs!!   xickmetalic none
• case pattern matching   Russ Abbott
• case pattern matching   Russ Abbott
• case pattern matching   Russ Abbott
• case pattern matching   Christian Schulte
• case pattern matching   Fred Spiessens
• case pattern matching   Bryan Smith
• case pattern matching   Russ Abbott
• case pattern matching   David Hopwood
• case pattern matching   Kevin Glynn
• case statement semantic in kernel language   Marko Zerdin
• case statement semantic in kernel language   Peter Van Roy
• case statement semantic in kernel language   Marko Zerdin
• case statement semantic in kernel language   Peter Van Roy
• case statement semantic in kernel language   Marko Zerdin
• Cell operation leads to 'tell' failure   Rukman Senanayake
• Cell operation leads to 'tell' failure   Kari Pahula
• Cfp : ICSM 2005 submission deadline extension   Software Maintenance
• Cfp : ICSM 2005, the 21st International Conference on Software Maintenance   Software Maintenance
• CFP EUMAS 2005   Marie-Pierre Gleizes
• CFP EUMAS 2005   Marie-Pierre Gleizes
• CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures   Foclasa 2005 (Carlos Canal)
• CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques for Software Entities   Carlos Canal
• CFP Workshop on logics for resource-bounded agents   event at in.tu-clausthal.de
• CFP: 20th Workshop on Logic Programming - WLP 2006   wlp06 at kr.tuwien.ac.at
• CFP: 5th Workshop on Modelling and Solving Probles with Constraints   Ian Miguel
• CFP: A Series of Special Sessions on Value-Chain Optimisation using Constraint Programming   ian miguel
• CFP: AAAI 2006 Workshop on Learning for Search   ian miguel
• CfP: Applied Semantics, Special Issue of J of TCS   Hans-Wolfgang Loidl
• CFP: APPSEM05 Workshop   Hans-Wolfgang Loidl
• CFP: APPSEM05 Workshop   Margaret Davis
• CFP: ASE 2006   Yoshinao Isobe
• CFP: BAOSW - Building and Applying Ontologies for the Semantic Web   Sofia Pinto
• CFP: BeyondFD 2005   Francisco Azevedo
• CFP: CLIMA 06   event at in.tu-clausthal.de
• CFP: CLIMA at AAMAS 06   event at zaphod.in.tu-clausthal.de
• CFP: Computational Models of Scientific Reasoning and Applications (CMSRA-IV)   Luis Moniz Pereira
• CFP: Constraint solving track at ACM Symposium on Applied Computing   ian miguel
• CFP: CPAIOR 2006: 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems   ian miguel
• CfP: DALT @ AAMAS 2006   event at in.tu-clausthal.de
• CfP: DALT @ AAMAS 2006 (new submission deadline)   event at in.tu-clausthal.de
• CFP: Defence Applications of Multi-Agent Systems (DAMAS) @ AAMAS-2005   Chris vanBuskirk
• CFP: European Conference on Logics in AI [JELIA'06]   Michael Fisher
• CFP: Extended Deadline: Constraint solving track at ACM Symposium on Applied Computing   ian miguel
• CFP: International Conference AUTOMATED SOFTWARE ENGINEERING   Yunwen Ye
• CFP: International Conference AUTOMATED SOFTWARE ENGINEERING   Yunwen Ye
• CFP: International Symposium on Neural Networks (ISNN) 2006-- Chengdu, China   ISNN2006
• CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006)   Carlos Areces
• CFP: M4M-4 (Methods for Modalities 2005)   Holger Schlingloff
• CFP: M4M-4 (Methods for Modalities 2005)   Holger Schlingloff
• CFP: M4M-4 Program and Call for Participation   Holger Schlingloff
• CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP   Alexander Gelbukh (NWeSP)
• CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP   Alexander Gelbukh (NWeSP)
• CFP: Nonmonotonic Reasoning Workshop (NMR 2006)   Prof. Dr. Juergen Dix
• CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP   Alexander Gelbukh (NWeSP)
• CfP: PDMC'05 at ICALP'05   Martin Leucker
• CFP: ProMAS@ AAMAS 2005   Prof. Dr. Juergen Dix
• CFP: ProMAS@ AAMAS 2006   event at zaphod.in.tu-clausthal.de
• CFP: ProMAS@ AAMAS 2006   event at in.tu-clausthal.de
• CFP: Promas@AAMAS 2005   Prof. Dr. Juergen Dix
• CFP: Special Issue of AI Communications on Constraint Programming for Planning and Scheduling   ian miguel
• CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis   vigano at inf.ethz.ch
• CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis   vigano at inf.ethz.ch
• CFP: The 20th International Symposium on Computer and Information Sciences (ISCIS'05)   PInar Yolum
• CFP: The 20th International Symposium on Computer and Information Sciences (ISCIS'05) (fwd)   PInar Yolum
• CFP: Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005)   Michael Winikoff
• CFP: Workshop on Logics for Resource Bounded Agents   Carlos Areces
• CFP: Workshop on Verification and Debugging   vandd2006
• CfP: WS on Multiparadigm Programming with OO Languages at OOPSLA 2005   Kei Davis
• CHR 2005 2nd Call for Papers   Thom Fruehwirth
• CHR 2005 Call for Papers   Thom Fruehwirth
• Clarification   Jonathan Kelly
• Clarification   Kevin Glynn
• CLEI 2005: Call for Papers   Carlos Olarte
• CLIMA VI :: Final Call for Papers and Tutorial Programme   clima VI <clima-vi at deis.unibo.it>
• CLIMA VI :: First Call for Papers   clima VI <clima-vi at deis.unibo.it>
• CLIMA VI :: First Call for Papers   clima VI <clima-vi at deis.unibo.it>
• CLIMA VI :: new deadline April 15   clima VI <clima-vi at deis.unibo.it>
• CLIMA VI :: new deadline April 15   clima VI <clima-vi at deis.unibo.it>
• CLIMA VII: First CFP   event at in.tu-clausthal.de
• CLIMA VII: First CFP   CLIMA-VII
• Closing deadline of conference accommodation   Fairouz Kamareddine
• command line execution of OZ   Robert Ritchey
• command line execution of OZ   Raphael Collet
• command line execution of OZ   Andres Becerra Sandoval
• command line execution of OZ   Andreas Franke
• command line execution of OZ   Robert Ritchey
• command line execution of OZ   Andreas Franke
• 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
• Compiling mozart on AMD64 or Alpha   Florian Hars
• Compiling mozart on AMD64 or Alpha   Kevin Glynn
• Compiling mozart on AMD64 or Alpha   Florian Hars
• Concurrency and Constraints   Russ Abbott
• Connection timeout riddles   Jens Grabarske
• Connection timeout, the 2nd   Jens Grabarske
• Connection timeout, the 2nd   Kevin Glynn
• Constraint Handling Rules (CHR) News   Marc Meister
• Constraint Handling Rules Web-Pages moved   Thom Fruehwirth
• Constraint Programming Book Page Update   Thom Fruehwirth
• Constraint programming syntax   Harmon Nine
• Constraint programming syntax   Grégoire Dooms
• Constraint programming syntax   Peter Van Roy
• Constraint Programming: how to decide where Search fails   Irene Langkilde Geary
• Constraint Programming: how to decide where Search fails (return nil)   Gustavo Pabon
• Constraint Programming: how to decide where Search fails (return nil)   Gustavo Pabon
• Constraint Programming: how to decide where Search fails (return nil)   Torsten Anders
• Constraint Programming: how to decide where Search fails (return nil)   Changzhou Wang
• Constraint Programming: how to decide where Search fails (return nil)   Adriano Volpones
• 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
• Constraint Programming: how to decide where Search fails (return nil)   Filip Konvička
• Constraint Solving and Language Processing (CSLP 2005, 2nd Call)   duchier at ps.uni-sb.de
• Constraint Solving for Records   Rukman Senanayake
• Constraint Solving for Records   Kevin Glynn
• Constraint Solving for Records   Peter Van Roy
• constraints   Mario
• constraints   Yves Jaradin
• constraints   Raphael Collet
• constraints   duchier at ps.uni-sb.de
• contents of this user list   Filip Konvička
• contents of this user list   Kevin Glynn
• contents of this user list   Boriss Mejias
• contents of this user list   Kevin Glynn
• Coordination 2005: Final call for participation   Jean-Marie JACQUET
• Coordination 2005: First call for participation   Jean-Marie JACQUET
• Coordination 2005: Grants   Jean-Marie JACQUET
• Coordination 2006: Second call for papers   Jean-Marie JACQUET
• Coordination 2006: Third call for papers   Jean-Marie JACQUET
• CP-AI-OR 2005: Call for Participation   Petr Vilim
• CP-AI-OR 2005: Final call for participation   Petr Vilim
• CP-AI-OR 2005: Final call for participation   Petr Vilim
• CP-AI-OR 2005: Last call for papers   Petr Vilim
• CP-AI-OR 2005: LAST call for papers   Petr Vilim
• CP-AI-OR 2005: Second call for participation   Petr Vilim
• CPAIOR 2005: Call for Participation   Petr Vilim
• CPSec 2005: Extended Submission Deadline   Stefano Bistarelli
• CPSec call for papers   Fred Spiessens
• CPSec call for papers   Fred Spiessens
• CPSec call for papers   Fred Spiessens
• CPSec workshop   Stefano Bistarelli
• CSFW Call for papers   Joshua D. Guttman
• CSR-2006: Final Call for Papers   Edward A. Hirsch
• CSR-2006: Springer LNCS, Deadline 18th December   Edward A. Hirsch
• CTM - Difference Lists   ChrisRathman.6335977 at bloglines.com
• CTM - Difference Lists   Jorge Marques Pelizzoni
• CTM - Difference Lists   ChrisRathman.6335977 at bloglines.com
• CTM and Monads   Ravi Mohan
• CTM exercise answers   Harmon Nine
• CTM exercise answers   Peter Van Roy
• CTM exercise answers   Alex Gian
• CTM Wiki   Dominic Fox
• CTM Wiki   David Hopwood
• cumulativeEF weird behavior   Filip Konvička
• cumulativeEF weird behavior   Filip Konvička
• cURL bindings for oz-mozart   Alex Gian
• DALT 2005 deadline extension: 18 March   baldoni
• DALT 2005: second call for papers   Matteo Baldoni
• DALT 2005: second call for papers   Matteo Baldoni
• database connectivity   Manuel J Contreras Maya
• database connectivity   Andreas Franke
• database connectivity   Boriss Mejias
• database connectivity   Andreas Franke
• database connectivity   Manuel J Contreras Maya
• database connectivity   Alex Gian
• Deadline extended (2005, May 22): Workshop on e-Learning   Volker Doetsch
• Deadline Extension: 20th Workshop on Logic Programming - WLP 2006   wlp06 at kr.tuwien.ac.at
• DEADLINE FOR ESSLLI 05 CHEAP REGISTRATION APPROACHING   Fairouz Kamareddine
• Debian status?   Jeffrey Nowakowski
• Debian status?   Kevin Glynn
• Delay   Torbjörn Lager
• Delay   Peter Van Roy
• Dictionary vs Record   Filip Konvička
• Dictionary vs Record   Jorge Marques Pelizzoni
• 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
• 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
• Distrib. programming (newbie q.)   Jorge Marques Pelizzoni
• Distrib. programming (newbie q.)   Peter Van Roy
• distributing the lift example   van der heijden
• 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
• documenting Mozart code   Túry Péter
• dp on freebsd   Paolo Veronelli
• dp on freebsd   Boriss Mejias
• dp on freebsd   Paolo Veronelli
• dp on freebsd   Kevin Glynn
• dp on freebsd   Paolo Veronelli
• dp on freebsd   Boriss Mejias
• dp on freebsd   Maximilian Wilson
• dp on freebsd   Kevin Glynn
• E.W. Beth Dissertation Prize Winner   Carlos Areces
• EAAI'06 CFP   EAAI2006 Workshop
• EASSS 2006: Call For Tutorials   event at in.tu-clausthal.de
• EASSS 2006: Final Call For Tutorials   event at in.tu-clausthal.de
• EATCS AWARD 2006   Mariangiola Dezani
• Eclipse plug-in for Oz   Russ Abbott
• EINTR in open...   Simon Beaumont
• EINTR in open...   Simon Beaumont
• Emacs font sizes   Russ Abbott
• Emacs font sizes   Christopher Campbell
• Emacs font sizes   Kari Pahula
• Emacs font sizes   Russ Abbott
• Emacs font sizes   Raphael Collet
• Emacs font sizes   Gert Smolka
• Emacs font sizes   Manuel Carro
• emacs problem when navigating to the next error   Jens H. Jahnke
• emacs problem when navigating to the next error   Raphael Collet
• emacs?   Maximilian Wilson
• Emergence   Russ Abbott
• error : mozart on Gentoo with AMD 64, another attempt !!   Vincent Delporte
• error : mozart on Gentoo with AMD 64, another attempt !!   Kevin Glynn
• Error in Mozart?   asu at ritm.msk.ru
• Error in Mozart?   Raphael Collet
• Error in Mozart?   asu at ritm.msk.ru
• Error in Mozart? (FoldR)   asu at ritm.msk.ru
• Error in Mozart? (FoldR)   chris.danx
• Error in Mozart? (FoldR)   chris
• Error in Mozart? (FoldR)   Christian Schulte
• Error?   asu at ritm.msk.ru
• Error?   Jorge Marques Pelizzoni
• Error?   Raphael Collet
• ESSLLI 2005 - Registration now Open!   Carlos Areces
• ESSLLI 2005 - Registration now Open!   Carlos Areces
• ESSLLI 2006 - Call for Course and Workshop Proposals   Carlos Areces
• ESSLLI 2006 - Call for Course and Workshop Proposals   Carlos Areces
• ESSLLI 2006: List of Accepted Courses and Preliminary Program   Carlos Areces
• ESSLLI 2006: List of Courses   Carlos Areces
• ESSLLI'05 Student Session: Final Call for Papers and Posters   Judit Gervain
• ESSLLI'05 StuS: Deadline extended until 22nd February 2005   Judit Gervain
• EUMAS06: Call for participation   event at zaphod.in.tu-clausthal.de
• EUMAS2005 extended deadline   Marie-Pierre Gleizes
• Exercise, chapter 7 of constraint programming tutorial   Harmon Nine
• Exercise, chapter 7 of constraint programming tutorial   Raphael Collet
• Extended Deadline - ACM SAC'06: Software Verification Track   Lunjin Lu
• Extended Deadline - ACM SAC'06: Software Verification Track   Lunjin Lu
• extended deadline: Workshop on Formal Models of Resource Bounded Agents   Natasha Alechina
• External variables   Russ Abbott
• External variables   Filip Konvicka
• External variables   Russ Abbott
• External variables   Raphael Collet
• External variables   Russ Abbott
• External variables   Raphael Collet
• Fast lazy computations   Raphael Collet
• FD and iterative deepening   Russ Abbott
• 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
• files and sockets   Jorge Marques Pelizzoni
• files and sockets   asu
• Final call for ESSLLI05 registration   Fairouz Kamareddine
• FINAL CALL FOR ESSLLI05 registration   Fairouz Kamareddine
• FINAL Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
• Final Call for Participation: CSCLP 2005   ian miguel
• Final Call for Participation: SAT 2005   Ian Miguel
• Final CFP -- PDPAR'05 (Workshop on Pragmatics of Decision Procedures)   Alessandro Cimatti
• Final CFP: Bounded Model Checking workshop (BMC'05)   Ofer Strichman
• Final CFP: 20th Workshop on Logic Programming - WLP 2006   wlp06 at kr.tuwien.ac.at
• Final CFP: SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing   Ian Miguel
• Final CFP: Symposium on Abstraction Reformulation and Approximation: SARA 2005   Ian Miguel
• finite set select intersection   Guido Tack
• finite set select intersection   Irene Langkilde Geary
• finite set select intersection   Raphael Collet
• finite set select intersection (Raphael Collet)   Irene Geary
• finite set select intersection (Raphael Collet)   Raphael Collet
• First CLIMA Contest: participate by May 20, 2005   clima VI <clima-vi at deis.unibo.it>
• First Constraint Modelling Challenge   Ian Miguel
• first contact :)   Paolo Veronelli
• first contact :)   Maximilian Wilson
• first contact :)   Kari Pahula
• first contact :)   Maximilian Wilson
• first contact :)   Peter Van Roy
• 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
• Floating Point Printing Problem   Kevin Glynn
• FLoC 2006 Preliminary Announcement   Kreutzer + Schweikardt
• FLoC 2006: Call For Workshop Proposals   Kreutzer + Schweikardt
• flushing (?)   Fred Spiessens
• FM'06: CFP   event at zaphod.in.tu-clausthal.de
• FMICS'05: Reminder - Deadline for abstracts is today!   Tiziana Margaria
• for cycle on a lazy producer   Maximilian Wilson
• for cycle on a lazy producer   Paolo Veronelli
• for cycle on a lazy producer   Kevin Glynn
• FP and LP   asu
• Freebsd doesn't compile   Kevin Glynn
• Freebsd doesn't compile   paolo_veronelli
• Freebsd doesn't compile   Vincent Delporte
• Freebsd doesn't compile   Kevin Glynn
• Freebsd doesn't compile   paolo_veronelli
• Freely Available Unit testing framework?   Chris Campbell
• Freely Available Unit testing framework?   Maximilian Wilson
• Freely Available Unit testing framework?   Juergen Stuber
• From backtracking to FD and more   Russ Abbott
• From backtracking to FD and more   Russ Abbott
• From backtracking to FD and more   Torsten Anders
• From backtracking to FD and more   Raphael Collet
• Frustration, Depression, Nastyness   Jens Grabarske
• Frustration, Depression, Nastyness   Jens Grabarske
• FS solutions to Sudoku   Russ Abbott
• FS.diff bug?   Jorge Marques Pelizzoni
• FS.diff bug?   duchier at ps.uni-sb.de
• Functors: "identifying" abstractions   Christopher Campbell
• Functors: "identifying" abstractions   Raphael Collet
• Functors: "identifying" abstractions   Andreas Rossberg
• Functors: "identifying" abstractions   Christopher Campbell
• Future tutorials, oz<-->   tony.bigbee at att.net
• Future tutorials, oz<-->   Simon Beaumont
• Future tutorials, oz<-->   Marc-Antoine Parent
• Future tutorials, oz<-->   Peter Van Roy
• Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Simon Beaumont
• Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Marc-Antoine Parent
• Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Simon Beaumont
• FW: PADL'06 Call for Papers   Christian Schulte
• FWD: [TYPES] 2005 ICFP Programming Contest   Kevin Glynn
• Fwd: School of Logic in Montreux, Switzerland   COSTA LEITE Alexandre
• Fwd: Sudoku with finite sets   daniel mahler
• Fwd: Sudoku with finite sets   Guido Tack
• gentoo ebuilds fail   Kevin Glynn
• gentoo ebuilds fail   Matthew O'Connor
• gentoo ebuilds fail   Dario Lopez-Kästen
• gentoo ebuilds fail   Matthew O'Connor
• gentoo ebuilds fail   Dario Lopez-Kästen
• 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
• Getting Mozart cvs development source?   Kevin Glynn
• GlobalStore   Christopher Campbell
• Gump in functors?   Jens Grabarske
• Gump in functors?   Raphael Collet
• Gump in functors?   Jens Grabarske
• Hashing   Christopher Campbell
• Hashing   Andreas Franke
• hashing records   Paolo Veronelli
• hashing records   Luis Quesada
• Hello...   Jens Grabarske
• Hello...   Raphael Collet
• help for cutting_glass_plate demo   Adriano Volpones
• help for cutting_glass_plate demo   Stefano Gualandi
• help for cutting_glass_plate demo   Gustavo Pabon
• help for cutting_glass_plate demo   Adriano Volpones
• help for cutting_glass_plate demo   Adriano Volpones
• 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
• help setting up mozart with xemacs on windows xp   George Rudolph
• help setting up XEmacs and Mozart   George Rudolph
• 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   ChrisRathman.6335977 at bloglines.com
• Help with CTM Chapter 9   Russ Abbott
• 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
• Help with CTM Chapter 9   Russ Abbott
• Help with CTM Chapter 9   Raphael Collet
• Help with CTM Chapter 9   Torsten Anders
• Help with CTM Chapter 9   Russ Abbott
• Help with CTM Chapter 9   Torsten Anders
• Help with CTM Chapter 9   Torsten Anders
• Help with CTM Chapter 9   Russ Abbott
• Help with CTM Chapter 9   Raphael Collet
• Help with CTM Chapter 9   Raphael Collet
• Help with CTM Chapter 9   Alex Gian
• Help with CVS   Manuel J Contreras Maya
• Help with CVS   Manuel J Contreras Maya
• Help with CVS   Denys Duchier
• Help with CVS   Boriss Mejias
• Help with CVS   duchier at ps.uni-sb.de
• Heuristics using tentative subspaces   Filip Konvička
• HIS'05 Final call for papers   Crina Grosan
• How to find what text is selected in Qtk text widget?   Brian Hulley
• 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
• ICALP 2006 -- Call for Affiliated Workshops   Convegno ICALP '06
• ICALP 2006 -- Call For Workshop Proposals   ICALP 2006
• ICALP 2006 -- Preliminary Call For Papers   ICALP 2006
• ICFP 2005 - Accepted papers   Benjamin Pierce
• ICFP 2005 - Call for Participation   Dariusz Biernacki
• ICFP 2005 - Final Call for Papers   Benjamin C. Pierce
• ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• ICLP 2005: Call for Papers   ICLP 2005
• ICLP 2005: Call for Papers   ICLP 2005
• ICLP 2005: Call for Papers   ICLP 2005
• ICLP 2005: Call for Papers   ICLP 2005
• ICLP 2005: Call for Papers   ICLP 2005
• ICLP 2005: Call for Participation   ICLP 2005
• ICLP 2005: Call for Posters   ICLP 2005
• ICLP 2005: Call for Posters   ICLP 2005
• ICLP 2005: Call for Workshops   ICLP 2005
• ICLP 2005: Call for Workshops   ICLP 2005
• ICLP 2005: Call for Workshops   ICLP 2005
• ICLP 2005: Extended Deadlines   ICLP 2005
• ICLP 2005: Last Call for Papers   ICLP 2005
• ICNC'05-FSKD'05 Final Call for Papers/Special Sessions/Sponsorship: Changsha China   Hepu Deng
• implement better crontab in Oz?   Andrew Piskorski
• Implementing constraints   Russ Abbott
• Implementing constraints   Grégoire Dooms
• Implementing constraints   Raphael Collet
• Implementing constraints   David Hopwood
• Implementing constraints   Russ Abbott
• Implementing constraints   Russ Abbott
• Implementing constraints   Russ Abbott
• Implementing constraints   Christian Schulte
• Implementing constraints   Grégoire Dooms
• Implementing constraints   Russ Abbott
• Implementing constraints   Russ Abbott
• Implementing constraints   Christian Schulte
• Implementing constraints   Luis Quesada
• Implementing constraints   Christian Schulte
• Implementing constraints   Christian Schulte
• implementing constraints   Irene Langkilde-Geary
• implementing constraints   Marc Meister
• in in procs   orbitz at ezabel.com
• in in procs   orbitz at ezabel.com
• in in procs   Boriss Mejias
• INAP 2005 - Call for Papers   Armin Wolf
• Information and Computation - Open-Access Experiment   Moshe Vardi
• Installer using InnoSetup   Filip Konvička
• Installer using InnoSetup   Andrés Becerra Sandoval
• Installer using InnoSetup   Filip Konvicka
• Installer using InnoSetup   Filip Konvička
• Installer using InnoSetup   Filip Konvička
• interfacing C to OZ and pointers   Renaud De Landtsheer
• interfacing C to OZ and pointers   Yves Jaradin
• Interfacing to Microsoft Visual C# .NET   Gabriel Skantze
• Interfacing to Microsoft Visual C# .NET   Jorge Marques Pelizzoni
• International M.Sc. Program in COMPUTATIONAL LOGIC   Int. Center for Computational Logic
• Invitation to Italy and USA 2005; c/ba   IPSI-2005 Italy and USA
• Invitation: AICCSA '06 -- 5th International Workshop on Software Stability: Methodologies, Applications and Tools   m.fayad at sjsu.edu
• 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
• ISAAC: Young Researcher Position at ITC-IRST, Trento   Marco Bozzano
• JLAP Special Issue on Theory and Foundations of Programming Language Interference and Dependence   Roberto Giacobazzi
• Job of a distributor   Harmon Nine
• Job of a distributor   Raphael Collet
• killing global search   Jorge Marques Pelizzoni
• killing global search   Denys Duchier
• LAAIC'05 Call for papers, Logical Aspects & Appl. of Integrity Constraints   laaic05 at ruc.dk
• Last call: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)   Santiago Escobar
• Lecture tour   Peter Van Roy
• LECTURERSHIP IN COMPUTER SCIENCE, UNIVERSITY OF DURHAM   Susan Bates
• 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
• literate programming and Mozart   Túry Péter
• Logic prog (newbie question))   Raphael Collet
• Logic prog (newbie question))   asu
• Logic prog (newbie question))   Raphael Collet
• Logic prog (newbie question))   asu
• Logic puzzle with constraints   Russ Abbott
• Logic puzzle with constraints   Russ Abbott
• Logic puzzle with constraints   Russ Abbott
• LOPSTR'05 call for papers   P M Hill
• LOPSTR'05 final call for extended abstracts   P M Hill
• LOPSTR'05 final call for papers   P M Hill
• LOPSTR'05 new deadline for extended abstracts   P M Hill
• LOPSTR'05 second call for papers   P M Hill
• LOPSTR'05: Extended Deadline for Full Papers   P M Hill
• LPAR last CFP   geoff at cs.miami.edu
• LPAR-12 Deadline Reminder   geoff at cs.miami.edu
• LPAR-12 in Jamaica   geoff at cs.miami.edu
• LPNMR'05: Call for Papers   lpnmr05.publicity at mat.unical.it
• LPNMR'05: Call for Papers   lpnmr05.publicity at mat.unical.it
• LPNMR'05: Call for Participation   lpnmr05 at mat.unical.it
• LPNMR'05: Call for Systems and Applications   lpnmr05.publicity at mat.unical.it
• LPNMR'05: LAST Call for Papers   lpnmr05.publicity at mat.unical.it
• LPNMR'05: Papers Submission Open   lpnmr05.publicity at mat.unical.it
• LPNMR'05: Submission Deadline Approaching   lpnmr05.publicity at mat.unical.it
• Marshalling Variable as Resource   Christopher Campbell
• MathSAT: PhD positions at ICT-Trento   Alessandro Cimatti
• Meaning of "X=a" depends on context???   Brian Hulley
• Meaning of "X=a" depends on context???   Brian Hulley
• Meaning of "X=a" depends on context???   Peter Van Roy
• Meaning of "X=a" depends on context???   Brian Hulley
• memory consumption   Filip Konvička
• memory consumption   Raphael Collet
• memory consumption   Filip Konvička
• memory consumption   Renaud De Landtsheer
• memory consumption   Filip Konvička
• memory consumption   Adriano Volpones
• memory consumption   David Hopwood
• memory consumption   Filip Konvička
• memory consumption   Filip Konvička
• memory consumption   Filip Konvička
• memory efficiency of records   Irene Langkilde-Geary
• memory efficiency of records   Filip Konvicka
• memory efficiency of records   Raphael Collet
• memory efficiency of records   Peter Van Roy
• memory efficiency of records   Filip Konvička
• memory efficiency of records   Raphael Collet
• memory efficiency of records   Filip Konvička
• memory space efficiency of records   Irene Langkilde Geary
• memory space efficiency of records   Irene Langkilde Geary
• memory space efficiency of records   Raphael Collet
• MICAI 2005 - Call for Tutorials   micai2005.mty at itesm.mx
• MICAI 2005 - Call for Workshops   micai2005.mty at itesm.mx
• Microsoft Research, Cambridge is now recruiting Interns for summer 2006.   ian miguel
• Module loading weirdness   Torsten Anders
• Module Managers - URLs   Christopher Campbell
• Mogul   Joachim Niehren
• Mogul   Denys Duchier
• mogul package documentation   Fred Spiessens
• mogul package documentation   Fred Spiessens
• Monitor memory usage and/or atom creation   Kevin Glynn
• more assymetry: FS.var.is and FD.is   Jorge Marques Pelizzoni
• more assymetry: FS.var.is and FD.is   duchier at ps.uni-sb.de
• Moz IDE Emulator message   Christopher Campbell
• Mozart + Gecode?   Torsten Anders
• Mozart + Gecode?   Christian Schulte
• Mozart 1.3.1 RPMs for Suse 9.3 available   Kevin Glynn
• mozart 131 Mac Os 10.3.8 newbie question   Johannes Brauer
• mozart 131 Mac Os 10.3.8 newbie question   Kevin Glynn
• Mozart g++ 3.4 fix   Jan van der Vorst
• Mozart g++ 3.4 fix   Kevin Glynn
• Mozart g++ 3.4 fix   Jan van der Vorst
• Mozart g++ 3.4 fix   Raphael Collet
• Mozart Governance Discussion   Kevin Glynn
• 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 on Gentoo with AMD64 !!   Vincent Delporte
• mozart on Gentoo with AMD64 !!   Andres Becerra Sandoval
• mozart on Gentoo with AMD64 !!   Vincent Delporte
• mozart on Gentoo with AMD64 !!   Vincent Delporte
• mozart on Gentoo with AMD64 !!   Kevin Glynn
• Mozart oz on Suse Linux Enterprise Server 9   govind.abkari at tcs.com
• Mozart oz on Suse Linux Enterprise Server 9   Andreas Franke
• Mozart perishes   Jan van der Vorst
• Mozart perishes   Peter Van Roy
• Mozart perishes   David Sletten
• Mozart perishes   Jan van der Vorst
• Mozart perishes   Peter Van Roy
• Mozart perishes   Peter Van Roy
• Mozart perishes   Kevin Glynn
• Mozart ticket size in byte?   Joannes Vermorel
• Mozart ticket size in byte?   Raphael Collet
• mozart/oz developer position   Gabor Karsai
• Mozart: Help Needed Getting Browser to work under Mac OS X   Mike Barley
• Mozart: Help Needed Getting Browser to work under Mac OS X   Torsten Anders
• Mozart: Help Needed Getting Browser to work under Mac OS X   Mike Barley
• MPC 2006 First Call for Papers   Tarmo Uustalu
• MSc Research Position at the Cork Constraint Computation Centre   ian miguel
• MTCoord'05: First call for papers   Isabelle Linden
• MTCoord'05: Second call for papers   Isabelle Linden
• multiprocessors computer   István Váradi
• multiprocessors computer   asu at ritm.msk.ru
• multiprocessors computer   asu at ritm.msk.ru
• multiprocessors computer   asu at ritm.msk.ru
• multiprocessors computer   asu at ritm.msk.ru
• multiprocessors computer   Raphael Collet
• multiprocessors computer   Jan van der Vorst
• multiprocessors computer   Peter Van Roy
• multiprocessors computer   Jan van der Vorst
• multiprocessors computer   Peter Van Roy
• multiprocessors computer   Konstantin Popov
• multiprocessors computer   Konstantin Popov
• multiprocessors computer   Brent Fulgham
• networking problem   Renaud De Landtsheer
• networking problem   Kevin Glynn
• networking problem   Renaud De Landtsheer
• New Book on Multi-Agent Programming   event at in.tu-clausthal.de
• NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
• New Mozart governance procedure has started!   Peter Van Roy
• New user question   Russ Abbott
• New user question   Filip Konvicka
• New user question   Peter Van Roy
• New user question   Raphael Collet
• New user question   Filip Konvička
• Newbie - help with .ozrc file   Kent Johnson
• Newbie - help with .ozrc file   Kent Johnson
• Newbie - help with .ozrc file   Kevin Glynn
• Newbie - help with .ozrc file   Wolfgang Meyer
• Newbie - help with .ozrc file   Kent Johnson
• Newbie needs real help when the tutorial fails to inform...   Jeffrey Cook
• Newbie needs real help when the tutorial fails to inform...   Peter Van Roy
• newbie question - cannot enable oz applet   Johannes Brauer
• newbie question - cannot enable oz applet   Chris Campbell
• newbie question about pattern-matching of lists   Benjamin L. Russell
• newbie question about pattern-matching of lists   Maximilian Wilson
• newbie question about pattern-matching of lists   Russ Abbott
• newbie question about pattern-matching of lists   Benjamin L. Russell
• newbie question about pattern-matching of lists   Benjamin L. Russell
• newbie question about pattern-matching of lists   Torsten Anders
• Newbie question concerning strings   ChrisRathman.6335977 at bloglines.com
• Newbie question concerning strings   Yves Jaradin
• Newbie question concerning strings   Peter Van Roy
• newbie question: cell and future stuff   HP Wei
• newbie question: cell and future stuff   Boriss Mejias
• newbie question: cell and future stuff   Paolo Veronelli
• newbie question: cell and future stuff   HP Wei
• newbie question: cell and future stuff   HP Wei
• newbie question: cell and future stuff   Boriss Mejias
• newbie question: cell and future stuff   Boriss Mejias
• newbie question: cell and future stuff   Maximilian Wilson
• newbie question: cell and future stuff   HP Wei
• Newbie trying to write conditionals...   Jeffrey Cook
• Newbie trying to write conditionals...   Andreas Franke
• Newbie trying to write conditionals...   Shigeo Nishi
• Newbie, errors using code from Tutorial...   Jeffrey Cook
• Newbie, errors using code from Tutorial...   Grégoire Dooms
• Newbie, errors using code from Tutorial...   Grégoire Dooms
• Newbie: First Impressions.   Freejack
• Newbie: First Impressions.   Raphael Collet
• 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
• one question about scheduling with discrete resource   Joyce Han
• Open records, "..."   Filip Konvička
• OpenSSH and Windows 2000   asu at ritm.msk.ru
• OPI and Resolver   chris
• OPI and Resolver   chris
• or   Torsten Anders
• Organizing Oz information for learning it   Russ Abbott
• Organizing Oz information for learning it   Torbjörn Lager
• Organizing Oz information for learning it   Peter Van Roy
• OS.connect error   bart verbeke
• OS.connect error   duchier at ps.uni-sb.de
• OS.connect error   Denys Duchier
• Oz and scheme syntax.   Tobias Nurmiranta
• Oz Newbie: Access to Outer Scope Variable   Anthony Borla
• Oz Newbie: Access to Outer Scope Variable   Raphael Collet
• Oz Newbie: Access to Outer Scope Variable   Kari Pahula
• Oz Newbie: Access to Outer Scope Variable   Anthony Borla
• Oz Newbie: Access to Outer Scope Variable   Anthony Borla
• Oz Newbie: Access to Outer Scope Variable   Raphael Collet
• Oz Newbie: Access to Outer Scope Variable   Anthony Borla
• OZ Newbie: Correct Cell Usage ?   Anthony Borla
• OZ Newbie: Correct Cell Usage ?   Kevin Glynn
• OZ Newbie: Correct Cell Usage ?   Anthony Borla
• Oz Newbie: CRLF conversion of redirected stdin   Anthony Borla
• Oz Newbie: CRLF conversion of redirected stdin   Raphael Collet
• Oz Newbie: CRLF conversion of redirected stdin   Anthony Borla
• Oz Newbie: Display of unary minus   Anthony Borla
• Oz Newbie: Display of unary minus   Kevin Glynn
• Oz Newbie: Display of unary minus   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Kevin Glynn
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Kevin Glynn
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Maximilian Wilson
• Oz Newbie: Pattern Matching and Type Conversion   Maximilian Wilson
• Oz Newbie: Pattern Matching and Type Conversion   Raphael Collet
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Anthony Borla
• Oz Newbie: Pattern Matching and Type Conversion   Maximilian Wilson
• Oz Newbie: Pattern Matching and Type Conversion   Raphael Collet
• Oz Newbie: Pattern Matching and Type Conversion   Maximilian Wilson
• Oz Newbie: Pattern Matching and Type Conversion   David Hopwood
• Oz Newbie: Pattern Matching and Type Conversion   David Hopwood
• Oz newbie: Upgradable server (CTM page 731)   HP Wei
• Oz newbie: Upgradable server (CTM page 731)   Raphael Collet
• oz on Mac OS X tiger?   Mike Meyer
• oz on Mac OS X tiger?   Christian Hofer
• oz on Mac OS X tiger?   Mike Meyer
• oz on Mac OS X tiger?   Steven Elkins
• Oz support for reals   Rukman Senanayake
• Oz support for reals   Torsten Anders
• Oz syntax   Russ Abbott
• Oz-MySql module   Carlos Aya
• Oz-MySql module   Andreas Franke
• ozc -e   Maximilian Wilson
• ozc -e   Kari Pahula
• ozmille-0.1 released   Kari Pahula
• ozweb?   Robert Wills
• PADL 2006 -- CALL FOR PAPERS   Logic Programming Rsrch Association
• PADL 2006 Call for Participation   Logic Programming Rsrch Association
• PADL 2006: Final Call For Papers   Logic Programming Rsrch Association
• PADL Deadline for Reduced Registration rate extended to 20th Dec.   Logic Programming Rsrch Association
• PADL'06 Call for Papers   Logic Programming Rsrch Association
• Parallel search hanging   Ryan Kelly
• PAT2005 Summer School Announcement   Jesper Andersen
• PAT2005 Summer School Announcement   Jesper Andersen
• PATAT 2006: Call for Demonstrations   Hana Rudova
• PATAT 2006: Call for Papers   PATAT 2006
• PATAT 2006: Second Call for Papers   PATAT 2006
• PDMC'05 - 1st CfP   Martin Leucker
• PDMC'05 Deadline Extension   Martin Leucker
• PDPAR'05 call for participation   Alessandro Cimatti
• PDPAR'05: Submission deadline extended to April 18, 2005   Alessandro Cimatti
• PhD in aspect-oriented languages   Oege de Moor
• PhD Position at Technical University of Valencia (Spain)   Santiago Escobar
• PhD position at the CWI, Amsterdam   Frank de Boer
• pickle module   mauricio moreno
• pickle module   Andres Becerra Sandoval
• pickle module   Kevin Glynn
• PLID 2005 call for participation   David Clark
• POPL 06 Call for Papers   David Walker
• POPL 2006 Call for Participation   David Walker
• Port asynchronicity   Paolo Veronelli
• Port asynchronicity   Raphael Collet
• Port asynchronicity   Maximilian Wilson
• Port asynchronicity   Paolo Veronelli
• Post Doc Position in Programming Language Technology   Henrik Reif Andersen
• Post-doc in constraint-based scheduling   ian miguel
• post-doc job in functional programming   Colin Runciman
• Post-doc Position in Operations Research/Computer Science   Ian Miguel
• Post-doc Position in Operations Research/Computer Science   Conrad OBOULHAS
• Post-doc Position in Operations Research/Computer Science   Kevin Glynn
• Postdoc Opening in Distributed Constraint Satisfaction at the Cork Constraint Computation Centre   e.freuder at 4c.ucc.ie
• Postdoctoral position in coordination languages and web services   Jean-Marie JACQUET
• POSTing data to cgi from Oz   Alex Gian
• POSTing data to cgi from Oz   Kevin Glynn
• POSTing data to cgi from Oz   Alex Gian
• POSTing data to cgi from Oz   Kevin Glynn
• POSTing data to cgi from Oz   Alex Gian
• POSTing data to cgi from Oz   Andreas Franke
• Potential Postgraduate Scholarship at Cork Constraint Computation Centre (4C)   Tomas Eric Nordlander
• PPDP 2005 Call for Participation   Amy Felty
• PPDP 2005 Second Call for Papers   Amy Felty
• PPDP 2005 Submission Deadline Extended to February 22   Amy Felty
• Pre-advertisement: Senior Research Fellowship, possible progression to permanent Lecturer   Ian Miguel
• prepare?   Jens Grabarske
• prepare?   Kevin Glynn
• prepare?   Jens Grabarske
• prepare?   Kevin Glynn
• Problem building mozart package   Guillaume Rousse
• Problem building mozart package   Denys Duchier
• Problem building mozart package   Guillaume Rousse
• Problem building mozart package   duchier at ps.uni-sb.de
• Problem debugging constraint extension   Jan van der Vorst
• problem with C-x ` (Mac OSX)   Fred Spiessens
• Problem with C-x ` (Mac OSX)   Ronald E. Fortin
• 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
• 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
• 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
• Problems finding qtk   Kevin Glynn
• Problems finding qtk   Paolino
• Problems finding qtk   Paolo Veronelli
• Problems finding qtk   Paolo Veronelli
• Problems finding qtk   Paolo Veronelli
• Procedural vs. declarative   Russ Abbott
• Procedural vs. declarative   Raphael Collet
• Procedural vs. declarative   Russ Abbott
• Procedural vs. declarative   Russ Abbott
• 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
• Procedural vs. declarative   Russ Abbott
• Procedural vs. declarative   Raphael Collet
• Procedural vs. declarative   Russ Abbott
• Procedural vs. declarative   Russ Abbott
• Procedure.arity   Alberto Delgado
• Procedure.arity   Kevin Glynn
• Prolog -> Mozart   Kevin Glynn
• Prolog -> Mozart   asu
• Prolog -> Mozart   Peter Van Roy
• Prolog -> Mozart   asu
• Prolog -> Mozart   Jorge Marques Pelizzoni
• PS: Heuristics using tentative subspaces   Filip Konvička
• PS: Heuristics using tentative subspaces   Raphael Collet
• PS: Heuristics using tentative subspaces   Filip Konvička
• PS: Heuristics using tentative subspaces   Filip Konvicka
• PS: Heuristics using tentative subspaces   Raphael Collet
• PS: Heuristics using tentative subspaces   Raphael Collet
• PS: Heuristics using tentative subspaces   Filip Konvicka
• PS: Heuristics using tentative subspaces   Filip Konvicka
• PSC Track @ SAC cfp   Emiliano Tramontana
• PSI 2006: 2nd CFP   PSI06 Conference
• PSI 2006: First CFP   PSI06 Conference
• 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
• QTk exit app   Donatien Grolaux
• QTk exit app   Raphael Collet
• QTk exit app   asu
• QTk exit app   asu
• question   moz mozar
• question   Raphael Collet
• question   Gustavo Pabon
• question about arity compatibility of recursive procedures   Benjamin L. Russell
• question about arity compatibility of recursive procedures   Benjamin L. Russell
• question about arity compatibility of recursive procedures   Maximilian Wilson
• question about arity compatibility of recursive procedures   Benjamin L. Russell
• question about arity compatibility of recursive procedures   Raphael Collet
• question about arity compatibility of recursive procedures   Benjamin L. Russell
• Random Bitstrings and XORing them   Urban Hafner
• Random Bitstrings and XORing them   Raphael Collet
• Random Bitstrings and XORing them   Christian Schulte