mozart-users  

Messages by Date

• 2006/01/29 FM'06: 2nd CFP event
• 2006/01/29 DALT 2006 deadline approaching event
• 2006/01/29 PATAT 2006: Deadline Extension PATAT 2006
• 2006/01/27 Google effect? Lyle Kopnicky
• 2006/01/27 Re: Help with Input/Output Andrés Becerra Sandoval
• 2006/01/27 CFP: Workshop on Modelling & Solving Problems with Constraints ian miguel
• 2006/01/27 CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event
• 2006/01/27 Call for Papers: Constraint Handling Rules 2006 event
• 2006/01/27 [CFP] SemWiki2006: From Wiki To Semantics (Workshop@ESWC) event
• 2006/01/27 CFP event
• 2006/01/27 Re: Help with Input/Output Peter Van Roy
• 2006/01/27 Re: Help with Input/Output Raphael Collet
• 2006/01/27 Help with Input/Output Alan Oswald
• 2006/01/27 Happy Birthday Kevin Glynn
• 2006/01/27 Re: Help with Input/Output Raphael Collet
• 2006/01/26 Help with Input/Output Alan Oswald
• 2006/01/26 Re: Help with input/output Peter Van Roy
• 2006/01/26 Help with input/output Alan Oswald
• 2006/01/26 LAST CALL FOR PAPERS: ESOA'06 Workshop at AAMAS 2006 event
• 2006/01/25 Re: Why "unit"? Andreas Rossberg
• 2006/01/25 Re: Why "unit"? Raphael Collet
• 2006/01/25 Why "unit"? Harmon Nine
• 2006/01/25 [Fwd: Re: cond and stability] Raphael Collet
• 2006/01/25 CFP: ATOP Workshop @ AAMAS 2006 event
• 2006/01/25 CFP: ProMAS@ AAMAS 2006 -- Deadline 1st of February !!! event
• 2006/01/25 CfP: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web event
• 2006/01/25 CfP: Workshop PPSWR @ ESWC 06 event
• 2006/01/24 FOIKS: Call for Participation event
• 2006/01/24 FLoC'06 - Call for Papers Kreutzer + Schweikardt
• 2006/01/23 Re: cond and stability Luis Quesada
• 2006/01/23 cond and stability Jorge . Pelizzoni
• 2006/01/23 Re: Using Reified Constraints Luis Quesada
• 2006/01/23 Re: Using Reified Constraints rmk216
• 2006/01/23 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
• 2006/01/23 Re: Using Reified Constraints Luis Quesada
• 2006/01/23 Re: Using Reified Constraints Raphael Collet
• 2006/01/23 RE: Using Reified Constraints Harmon Nine
• 2006/01/23 ICALP 2006 -- Call For Papers ICALP 2006
• 2006/01/23 European Master's Program in Computational Logic Int. Center for Computational Logic
• 2006/01/22 Re: Using Reified Constraints Luis Quesada
• 2006/01/22 Re: Using Reified Constraints rmk216
• 2006/01/21 Re: Using Reified Constraints Luis Quesada
• 2006/01/21 Using Reified Constraints Ryan Kaulakis
• 2006/01/20 PSI 2006: Deadline Extension PSI06 Conference
• 2006/01/20 CfP UPGRADE-CDN'06 Giancarlo Fortino
• 2006/01/20 CFP: ICSM 2006 icsm-info
• 2006/01/20 PDPAR'06: 1st Call for Papers Roberto Sebastiani
• 2006/01/19 Re: Trace execution/debug the emulator.exe or run without emacs Maximilian Wilson
• 2006/01/19 RE: Announcement: Gecode 1.0.0 released Twan van der Schoot
• 2006/01/19 CP 2006: Call for papers Christian Schulte
• 2006/01/19 RE: Announcement: Gecode 1.0.0 released Christian Schulte
• 2006/01/19 RE: Announcement: Gecode 1.0.0 released Christian Schulte
• 2006/01/19 Re: Announcement: Gecode 1.0.0 released Filip Konvička
• 2006/01/18 Coordination 2006: Last call for papers Jean-Marie JACQUET
• 2006/01/18 Re: Announcement: Gecode 1.0.0 released Russ Abbott
• 2006/01/18 Call for Participation: 20th Workshop on Logic Programming - WLP 2006 wlp06
• 2006/01/18 Announcement: Gecode 1.0.0 released Christian Schulte
• 2006/01/18 Mochart IV CFP event
• 2006/01/18 Re: Trace execution/debug the emulator.exe or run without emacs Andres Becerra Sandoval
• 2006/01/18 Re: Trace execution/debug the emulator.exe or run without emacs Jorge . Pelizzoni
• 2006/01/18 Re: Trace execution/debug the emulator.exe or run without emacs Jorge . Pelizzoni
• 2006/01/18 Trace execution/debug the emulator.exe or run without emacs Emilio Duarte Garcia
• 2006/01/16 PATAT 2006: Last Call for Papers PATAT 2006
• 2006/01/16 PATAT 2006: Last Call for Demonstrations PATAT 2006
• 2006/01/13 CfP: FACS'06 - Formal Aspects of Component Software Vladimir Mencl
• 2006/01/13 RAC at NMR'06 event
• 2006/01/13 CfP - ISF 2006 - Forecasting with Neural Networks www.neural-forecasting.com
• 2006/01/13 CFP: Resource-Scarce Language Engineering Carlos Areces
• 2006/01/11 SoSyM: Journal on Modelling of Software event
• 2006/01/11 CLIMA-VII Second Call for Papers event
• 2006/01/11 CFP: Workshop on Logics for Resource Bounded Agents Carlos Areces
• 2006/01/11 2nd CFP Workshop on logics for resource-bounded agents event
• 2006/01/11 CLIMA-VII Second Call for Papers CLIMA-VII
• 2006/01/11 CFP: Workshop Dependability and Security in e-Government(DeSeGov 2006) - Submission Deadline 20-01-2006 Nguyen Manh Tho
• 2006/01/11 IntraWebs 2006 - Submission deadline : February 10th event
• 2006/01/11 ASP-06 at NMR-06 (2nd CFP) event
• 2006/01/11 Re: Propagation via Guassian elimination? Torsten Anders
• 2006/01/10 Propagation via Guassian elimination? mozart
• 2006/01/10 CfP - 2006 International Conference on Data Mining - DMIN'06 Crone, Sven
• 2006/01/10 CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06) Giancarlo Fortino
• 2006/01/10 FW: 2006 IEEE SOLI Conference Shanghai China -- Call For Papers (Due Feb. 1) Qiu, Robin
• 2006/01/10 CFP: CLIMA Contest event
• 2006/01/10 AMAST 2006 2nd Call for Papers Varmo Vene
• 2006/01/09 Re: Erlang and Mozart-Oz Peter Van Roy
• 2006/01/09 Call for Papers: Workshop on "Dependability and Security in e-Government (DeSeGov 2006) - Submission deadline 20th January 2006 Nguyen Manh Tho
• 2006/01/09 emerge mozart fails on virtual/glibc Kevin Glynn
• 2006/01/08 patch for mozart ebuild on Gentoo Andrew Wilcox
• 2006/01/08 emerge mozart fails on virtual/glibc Andrew Wilcox
• 2006/01/07 MPC 2006 2nd Call for Papers Tarmo Uustalu
• 2006/01/07 Erlang and Mozart-Oz Alex Peake
• 2006/01/06 Call for Participation: 2nd International Summer School of the Association for Constraint Programming ian miguel
• 2006/01/06 Re: Unification, comparison Kevin Glynn
• 2006/01/06 Re: Unification, comparison Raphael Collet
• 2006/01/05 Re: Unification, comparison [correction] David Hopwood
• 2006/01/05 Re: Unification, comparison [correction] David Hopwood
• 2006/01/05 Re: Unification, comparison David Hopwood
• 2006/01/05 CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
• 2006/01/05 Re: Unification, comparison Raphael Collet
• 2006/01/05 Re: Unification, comparison Filip Konvička
• 2006/01/05 Mozart back in Debian testing Kevin Glynn
• 2006/01/04 CFP: SELMAS 2006 - 5th Workshop on Software Engineering for Large-Scale Multi-Agent Systems event
• 2006/01/04 Re: Unification, comparison Raphael Collet
• 2006/01/04 Re: Unification, comparison David Hopwood
• 2006/01/04 Re: Unification, comparison Raphael Collet
• 2006/01/04 Unification, comparison Filip Konvička
• 2006/01/03 PSI 2006: Final CFP PSI06 Conference
• 2006/01/03 LOFT06: CFP Wiebe van der Hoek
• 2006/01/03 Re: Learning Constraint Programming Raphael Collet
• 2006/01/02 Re: Learning Constraint Programming Alex Peake
• 2006/01/02 Learning Constraint Programming Alex Peake
• 2006/01/02 Re: CTM and Monads Peter Van Roy
• 2005/12/31 CfP: DALT @ AAMAS 2006 (new submission deadline) event
• 2005/12/31 CFP: CLIMA 06 event
• 2005/12/31 CFP Workshop on logics for resource-bounded agents event
• 2005/12/31 Re: dp on freebsd Kevin Glynn
• 2005/12/31 CTM and Monads Ravi Mohan
• 2005/12/29 Re: dp on freebsd Maximilian Wilson
• 2005/12/28 Re: dp on freebsd Boriss Mejias
• 2005/12/28 Re: dp on freebsd Paolo Veronelli
• 2005/12/27 Re: dp on freebsd Kevin Glynn
• 2005/12/27 Re: dp on freebsd Paolo Veronelli
• 2005/12/27 Re: dp on freebsd Boriss Mejias
• 2005/12/27 CFP: ASE 2006 Yoshinao Isobe
• 2005/12/24 Coordination 2006: Third call for papers Jean-Marie JACQUET
• 2005/12/23 Re: emacs? Maximilian Wilson
• 2005/12/22 dp on freebsd Paolo Veronelli
• 2005/12/22 2006 Programme on Logic and Algorithms - Workshops MYV
• 2005/12/21 CSFW Call for papers Joshua D. Guttman
• 2005/12/19 PATAT 2006: Call for Demonstrations Hana Rudova
• 2005/12/19 PATAT 2006: Call for Papers PATAT 2006
• 2005/12/19 CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006) Carlos Areces
• 2005/12/18 AMAST06 CFP (Feb closing date) Michael Johnson
• 2005/12/18 Re: Cannot find GNU Emacs or XEmacs!! Raphael Collet
• 2005/12/17 Re: ozc -e Kari Pahula
• 2005/12/17 ozc -e Maximilian Wilson
• 2005/12/17 Cannot find GNU Emacs or XEmacs!! xickmetalic none
• 2005/12/16 ESSLLI 2006: List of Accepted Courses and Preliminary Program Carlos Areces
• 2005/12/16 ESSLLI 2006: List of Courses Carlos Areces
• 2005/12/16 CFP: ProMAS@ AAMAS 2006 event
• 2005/12/15 TFP2006: Second Call for Papers Henrik Nilsson
• 2005/12/15 Reading urls Kevin Glynn
• 2005/12/15 Second Call For Papers - ICLP 2006 A Serebrenik
• 2005/12/15 Reading urls Paolo Veronelli
• 2005/12/15 CFP: Workshop on Logics for Resource Bounded Agents Carlos Areces
• 2005/12/14 PADL Deadline for Reduced Registration rate extended to 20th Dec. Logic Programming Rsrch Association
• 2005/12/14 [VMCAI '06] Early registration upto Dec 15 VMCAI '06
• 2005/12/13 Re: RSA functor (was hashing records) Paolo Veronelli
• 2005/12/13 Re: hashing records Luis Quesada
• 2005/12/13 hashing records Paolo Veronelli
• 2005/12/13 Re: Re Re: A priority queue & A nice ADT packaging style Yves Jaradin
• 2005/12/12 Re: newbie question: cell and future stuff HP Wei
• 2005/12/12 Re: Re Re: A priority queue & A nice ADT packaging style Maximilian Wilson
• 2005/12/12 Re: newbie question: cell and future stuff Maximilian Wilson
• 2005/12/12 Re: newbie question: cell and future stuff Boriss Mejias
• 2005/12/12 Re: newbie question: cell and future stuff Boriss Mejias
• 2005/12/12 Re: newbie question: cell and future stuff HP Wei
• 2005/12/12 Re: newbie question: cell and future stuff HP Wei
• 2005/12/12 EASSS 2006: Final Call For Tutorials event
• 2005/12/12 New Book on Multi-Agent Programming event
• 2005/12/12 Re: newbie question: cell and future stuff Paolo Veronelli
• 2005/12/12 Re: newbie question: cell and future stuff Boriss Mejias
• 2005/12/11 Re: Oz Newbie: Pattern Matching and Type Conversion David Hopwood
• 2005/12/11 Re: Oz Newbie: Pattern Matching and Type Conversion David Hopwood
• 2005/12/11 newbie question: cell and future stuff HP Wei
• 2005/12/11 Re Re: A priority queue & A nice ADT packaging style Björn Hägglund
• 2005/12/11 Re: Oz newbie: Upgradable server (CTM page 731) Raphael Collet
• 2005/12/10 Oz newbie: Upgradable server (CTM page 731) HP Wei
• 2005/12/10 Re: Port asynchronicity Paolo Veronelli
• 2005/12/09 Re: Port asynchronicity Maximilian Wilson
• 2005/12/09 Re: Shell and Open.pipe and wildcards Andreas Franke
• 2005/12/09 Re: Port asynchronicity Raphael Collet
• 2005/12/09 2nd CFP: CPAIOR 2006: 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ian miguel
• 2005/12/09 Port asynchronicity Paolo Veronelli
• 2005/12/08 Shell and Open.pipe and wildcards HP Wei
• 2005/12/07 Re: Module loading weirdness Torsten Anders
• 2005/12/07 2nd Call: ESSLLI 2006 Student Session Carlos Areces
• 2005/12/06 SPACE 2006: Call for Participation Richard Jones
• 2005/12/05 Re: Freely Available Unit testing framework? Juergen Stuber
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Maximilian Wilson
• 2005/12/05 Re: Status? Peter Van Roy
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Maximilian Wilson
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Raphael Collet
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
• 2005/12/05 Re: first contact :) Peter Van Roy
• 2005/12/05 Source code from CTM online Peter Van Roy
• 2005/12/05 TPLP special issue call for papers Maria Garcia de la Banda
• 2005/12/05 Re: Constraint Solving for Records Peter Van Roy
• 2005/12/05 Re: Oz Newbie: Pattern Matching and Type Conversion Raphael Collet
• 2005/12/03 Re: first contact :) Maximilian Wilson
• 2005/12/03 Re: first contact :) Kari Pahula
• 2005/12/03 FS solutions to Sudoku Russ Abbott
• 2005/12/03 Re: first contact :) Maximilian Wilson
• 2005/12/03 Re: Freely Available Unit testing framework? Maximilian Wilson
• 2005/12/03 Freely Available Unit testing framework? Chris Campbell
• 2005/12/03 first contact :) Paolo Veronelli
• 2005/12/02 Re: A priority queue & A nice ADT packaging style Maximilian Wilson
• 2005/12/02 Re: Oz Newbie: Pattern Matching and Type Conversion Maximilian Wilson
• 2005/12/02 Re: Oz Newbie: Pattern Matching and Type Conversion Maximilian Wilson

• Earlier messages
• Later messages