2006 Archives by thread

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

Starting: Mon Jan 2 10:12:44 CEST 2006
Ending: Tue Nov 21 19:17:52 CEST 2006
Messages: 1271

• CTM and Monads   Peter Van Roy
• Learning Constraint Programming   Alex Peake
• Learning Constraint Programming   Alex Peake
• Learning Constraint Programming   Raphael Collet
• LOFT06: CFP   Wiebe van der Hoek
• PSI 2006: Final CFP   PSI06 Conference
• Unification, comparison   Filip Konvička
• Unification, comparison   Raphael Collet
  • Unification, comparison   David Hopwood
• CFP: SELMAS 2006 - 5th Workshop on Software Engineering for Large-Scale Multi-Agent Systems   event at in.tu-clausthal.de
• Unification, comparison   Raphael Collet
  • Unification, comparison   David Hopwood
    • Unification, comparison [correction]   David Hopwood
    • Unification, comparison [correction]   David Hopwood
• Mozart back in Debian testing   Kevin Glynn
• Unification, comparison   Filip Konvička
• CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• Unification, comparison   Raphael Collet
• Unification, comparison   Raphael Collet
  • Unification, comparison   Kevin Glynn
• Call for Participation: 2nd International Summer School of the Association for Constraint Programming   ian miguel
• MPC 2006 2nd Call for Papers   Tarmo Uustalu
• Erlang and Mozart-Oz   Alex Peake
  • Erlang and Mozart-Oz   Peter Van Roy
• emerge mozart fails on virtual/glibc   Andrew Wilcox
  • emerge mozart fails on virtual/glibc   Kevin Glynn
• patch for mozart ebuild on Gentoo   Andrew Wilcox
• Call for Papers: Workshop on "Dependability and Security in e-Government (DeSeGov 2006) - Submission deadline 20th January 2006   Nguyen Manh Tho
• CFP: CLIMA Contest   event at in.tu-clausthal.de
• FW: 2006 IEEE SOLI Conference Shanghai China -- Call For Papers (Due Feb. 1)   Qiu, Robin
• CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06)   Giancarlo Fortino
• AMAST 2006 2nd Call for Papers   Varmo Vene
• CfP - 2006 International Conference on Data Mining - DMIN'06   Crone, Sven
• IntraWebs 2006 - Submission deadline : February 10th   event at in.tu-clausthal.de
• CFP: Workshop Dependability and Security in e-Government(DeSeGov 2006) - Submission Deadline 20-01-2006   Nguyen Manh Tho
• CFP: Workshop "Dependability Aspects in DWH and MiningApplications" (DAWAM), Submission Deadline: 15-01-2006   Nguyen Manh Tho
• ASP-06 at NMR-06 (2nd CFP)   event at in.tu-clausthal.de
• Propagation via Guassian elimination?   mozart at randomhacks.net
  • Propagation via Guassian elimination?   Torsten Anders
• CLIMA-VII Second Call for Papers   event at in.tu-clausthal.de
• CLIMA-VII Second Call for Papers   CLIMA-VII
• SoSyM: Journal on Modelling of Software   event at in.tu-clausthal.de
• 2nd CFP Workshop on logics for resource-bounded agents   event at in.tu-clausthal.de
• CFP: Workshop on Logics for Resource Bounded Agents   Carlos Areces
• CFP: Resource-Scarce Language Engineering   Carlos Areces
• RAC at NMR'06   event at in.tu-clausthal.de
• CfP: FACS'06 - Formal Aspects of Component Software   Vladimir Mencl
• CfP - ISF 2006 - Forecasting with Neural Networks   www.neural-forecasting.com
• Mochart IV CFP   event at in.tu-clausthal.de
• PATAT 2006: Last Call for Demonstrations   PATAT 2006
• PATAT 2006: Last Call for Papers   PATAT 2006
• Trace execution/debug the emulator.exe or run without emacs   Emilio Duarte Garcia
  • Trace execution/debug the emulator.exe or run without emacs   Andres Becerra Sandoval
  • Trace execution/debug the emulator.exe or run without emacs   Jorge.Pelizzoni at loria.fr
  • Trace execution/debug the emulator.exe or run without emacs   Jorge.Pelizzoni at loria.fr
  • Trace execution/debug the emulator.exe or run without emacs   Maximilian Wilson
• Announcement: Gecode 1.0.0 released   Christian Schulte
  • Announcement: Gecode 1.0.0 released   Russ Abbott
    • Announcement: Gecode 1.0.0 released   Christian Schulte
      • Announcement: Gecode 1.0.0 released   Twan van der Schoot
• Call for Participation: 20th Workshop on Logic Programming - WLP 2006   wlp06 at kr.tuwien.ac.at
• Coordination 2006: Last call for papers   Jean-Marie JACQUET
• FOIKS: Call for Participation   event at in.tu-clausthal.de
• Announcement: Gecode 1.0.0 released   Filip Konvička
  • Announcement: Gecode 1.0.0 released   Christian Schulte
• CP 2006: Call for papers   Christian Schulte
• CfP: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web   event at in.tu-clausthal.de
• PDPAR'06: 1st Call for Papers   Roberto Sebastiani
• CFP: ICSM 2006   icsm-info at FernUni-Hagen.de
• CfP UPGRADE-CDN'06   Giancarlo Fortino
• PSI 2006: Deadline Extension   PSI06 Conference
• European Master's Program in Computational Logic   Int. Center for Computational Logic
• Using Reified Constraints   Ryan Kaulakis
• Using Reified Constraints   Luis Quesada
• Using Reified Constraints   rmk216
• Using Reified Constraints   Luis Quesada
• ICALP 2006 -- Call For Papers   ICALP 2006
• Using Reified Constraints   Harmon Nine
• Using Reified Constraints   Raphael Collet
• Using Reified Constraints   Luis Quesada
• 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• Using Reified Constraints   rmk216
• Using Reified Constraints   Luis Quesada
• cond and stability   Jorge.Pelizzoni at loria.fr
• FLoC'06 - Call for Papers   Kreutzer + Schweikardt
• cond and stability   Luis Quesada
• CfP: Workshop PPSWR @ ESWC 06   event at in.tu-clausthal.de
• CFP: ATOP Workshop @ AAMAS 2006   event at in.tu-clausthal.de
• CFP: ProMAS@ AAMAS 2006 -- Deadline 1st of February !!!   event at in.tu-clausthal.de
• LAST CALL FOR PAPERS: ESOA'06 Workshop at AAMAS 2006   event at in.tu-clausthal.de
• [Fwd: Re: cond and stability]   Raphael Collet
• Why "unit"?   Harmon Nine
• Why "unit"?   Raphael Collet
• CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)   event at in.tu-clausthal.de
• [CFP] SemWiki2006: From Wiki To Semantics (Workshop@ESWC)   event at in.tu-clausthal.de
• Why "unit"?   Andreas Rossberg
• Call for Papers: Constraint Handling Rules 2006   event at in.tu-clausthal.de
  • Research position in constraints and CHR   event at in.tu-clausthal.de
• Help with input/output   Alan Oswald
  • Help with input/output   Peter Van Roy
• Help with Input/Output   Alan Oswald
• CFP   event at in.tu-clausthal.de
• Help with Input/Output   Raphael Collet
• Happy Birthday   Kevin Glynn
• Help with Input/Output   Alan Oswald
  • Help with Input/Output   Andrés Becerra Sandoval
• Help with Input/Output   Raphael Collet
  • Help with Input/Output   Peter Van Roy
    • Help with Input/Output   David Hopwood
      • Help with Input/Output   Peter Van Roy
• CFP: Workshop on Modelling & Solving Problems with Constraints   ian miguel
• Google effect?   Lyle Kopnicky
• tell is private error   Jonathan Kelly
  • tell is private error   Kevin Glynn
    • tell is private error   Jonathan Kelly
      • tell is private error   Kevin Glynn
      • tell is private error   Jonathan Kelly
• CFP: Multidisciplinary ECAI06 WS on Preferences   event at in.tu-clausthal.de
• PATAT 2006: Deadline Extension   PATAT 2006
• DALT 2006 deadline approaching   event at in.tu-clausthal.de
• FM'06: 2nd CFP   event at in.tu-clausthal.de
• 2nd CFP: Formal Ontologies for Communicating Agents, ESSLLI 2006   FOCA at ESSLLI
• TFP2006: Third Call for Papers   Henrik Nilsson
• Oz tutorial/training at ICLP 2006?   tony.bigbee at att.net
  • Oz tutorial/training at ICLP 2006?   Seif Haridi
• CFP: Formal and Computational Cryptography (FCC 2006)   event at in.tu-clausthal.de
• LPAR 2006 call for papers   Miki Hermann
• WRS06 1st call for paper   wrs06 at redstar.cs.pdx.edu
• WRS06 1st call for paper   wrs06 at redstar.cs.pdx.edu
• WRS06 1st call for paper   wrs06 at redstar.cs.pdx.edu
• UITP'06: First call for papers   event at in.tu-clausthal.de
• 2nd CFP: CLIMA Contest   event at in.tu-clausthal.de
• Extended deadline: ESSLLI Student Session 2006   Sophia Katrenko
• More Input/output   Alan Oswald
• SIP Multimedia Internet Application In Mozart   Herman Belvedere
• NMR Workshop: Deadline Extension to February 17th   event at in.tu-clausthal.de
• Race condition in Search.ozf   David Hopwood
• More Input/output   Raphael Collet
• PSI 2006:EXTENDED Deadline: February 12, 2006   PSI06 Conference
• CFP: 3rd International Verification Workshop, VERIFY'06   event at in.tu-clausthal.de
• Deadline Extension: 17th February   event at in.tu-clausthal.de
• ECAI-06 deadline approaching   event at in.tu-clausthal.de
  • ECAI-06 deadline extended !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!   event at in.tu-clausthal.de
• CP 2006: Call for Workshop and Tutorial Proposals   Christian Schulte
• [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14   A Serebrenik
• CFP: ASE 2006   Yoshinao Isobe
• CFP: Rationality and Knowledge Workshop   event at in.tu-clausthal.de
• CFP: Rationality and Knowledge Workshop   Carlos Areces
• FMCAD 2006 Call for Papers -- http://fmcad.org/2006   Panagiotis Manolios
• IntraWebs 2006 - Last Call   event at in.tu-clausthal.de
  • CFP: Semantic Web Personalization Workshop @ ESWC 2006   event at in.tu-clausthal.de
    • Second CFP: Semantic Web Personalization Workshop @ ESWC 2006   event at in.tu-clausthal.de
• streams & multiple readers   Aurélien Campéas
  • streams & multiple readers   Andrés Becerra Sandoval
    • streams & multiple readers   Aurélien Campéas
• Announcement: Summer School "Reasoning Web 2006"   event at in.tu-clausthal.de
• streams & multiple readers   Aurélien Campéas
  • streams & multiple readers   Kevin Glynn
    • streams & multiple readers   Aurélien Campéas
      • streams & multiple readers   Kevin Glynn
• streams & multiple readers   Harmon Nine
  • streams & multiple readers   Aurélien Campéas
• TFP2006: Last CFP   Henrik Nilsson
• [ICLP'06] Reminder: Deadline for Abstracts - February 14   A Serebrenik
• 3rd CFP Workshop on logics for resorce-bounded agents   event at in.tu-clausthal.de
• ICFP 2006 --- Call for Papers   John Reppy
• CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS   event at in.tu-clausthal.de
• Oz on Rails ?   jige at altern.org
  • Oz on Rails ?   Boriss Mejias
    • ozh   Torsten Anders
• SAS'06 2nd Call For Papers   Kwangkeun Yi
• some information on parallel search   Lucia Cambise
• some information on parallel search   Lucia Cambise
• some information on parallel search   Lucia Cambise
• CFP: FOCA - Formal Ontologies for Communicating Agents   event at in.tu-clausthal.de
• FMICS'06 Call for Papers   Martin Leucker
• [ICLP'06] Deadlines EXTENDED   A Serebrenik
• ACL2 2006 Call for Papers   Panagiotis Manolios
• LOPSTR'06 in Venice, Italy -- Call for Papers   LOPSTR 2006
• PPDP'06 -- Call for Papers   Michael Maher
• Data structures in stdlib [Was: MEP for release 1.3.2]   Filip Konvička
• Data structures in stdlib [Was: MEP for release 1.3.2]   Raphael Collet
• Data structures in stdlib [Was: MEP for release 1.3.2]   Filip Konvička
  • Data structures in stdlib [Was: MEP for release 1.3.2]   Torsten Anders
    • Data structures in stdlib [Was: MEP for release 1.3.2]   Kevin Glynn
• CFP: Workshop on Generic Programming 2006   Ralf Hinze
• Data structures in stdlib [Was: MEP for release 1.3.2]   Raphael Collet
• If Mozart is free, then let's put it into the free sw list of UNESCO   Peter Tury
  • If Mozart is free, then let's put it into the free sw list of UNESCO   Kevin Glynn
  • If Mozart is free, then let's put it into the free sw list of UNESCO   Kevin Glynn
• Data structures in stdlib [Was: MEP for release 1.3.2]   Filip Konvička
• Data structures in stdlib [Was: MEP for release 1.3.2]   Filip Konvička
• CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   vigano at inf.ethz.ch
• SAT 2006 Final Call for Papers   Armin Biere
• 2nd CFP - Doctoral Consortium INCOM06   event at in.tu-clausthal.de
• DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN   DSD 2006
• CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006)   event at in.tu-clausthal.de
• CFP: Resource-Scarce Language Engineering   Carlos Areces
• CFP: First International Workshop on Agent Technology and Autonomic Computing (ATAC'2006)   event at in.tu-clausthal.de
  • 12th International Conference AIMSA 2006 - AI, people and the web -   event at in.tu-clausthal.de
• CFP: Workshop Concord Phenomena and the Syntax Semantics Interface   Carlos Areces
• CfP - 2006 International Conference on Data Mining - DMIN'06 - deadline extended!   Sven F. Crone
• CSR-2006: Call for Participation   Edward A. Hirsch
• CFP: CIA 2006 - 10th Intl Wshp on Cooperative Information Agents   event at in.tu-clausthal.de
• copy the program   Nick Kostirya
  • copy the program   Yves Jaradin
    • copy the program   Nick Kostirya
  • copy the program   Kevin Glynn
• question: execution parallel code on cmd line   Lucia Cambise
  • question: execution parallel code on cmd line   Christian Schulte
    • question: execution parallel code on cmd line   Lucia Cambise
      • question: execution parallel code on cmd line   Christian Schulte
      • question: execution parallel code on cmd line   Lucia Cambise
      • question: execution parallel code on cmd line   Yves Jaradin
      • question: execution parallel code on cmd line   Lucia Cambise
• Final CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• Logic and Reasoning Workshop CFP   geoff at cs.miami.edu
• CFP: Mathematically Structured Functional Programming   Conor McBride
• question: execution parallel code on cmd line   Christian Schulte
• Calling ozc.exe   Chris Rathman
  • Calling ozc.exe   Jorge.Pelizzoni at loria.fr
    • Calling ozc.exe   Chris Rathman
      • Calling ozc.exe   Kevin Glynn
• pancake sorting   Me
• Fwd: pancake sorting   Me
  • Fwd: pancake sorting   Grégoire Dooms
• CTM question - active objects vs. locks   Mark Engelberg
  • CTM question - active objects vs. locks   Maximilian Wilson
    • CTM question - active objects vs. locks   Maximilian Wilson
• Space.merge and stability: a bug?   Jorge.Pelizzoni at loria.fr
• WRS06 2nd call for paper   wrs06 at redstar.cs.pdx.edu
• DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN   DSD 2006
• Call for papers for B 2007 conference   Jacques Julliand
• The Reasoned Oz   Chris Rathman
  • The Reasoned Oz   Jorge.Pelizzoni at loria.fr
    • The Reasoned Oz   Chris Rathman
      • The Reasoned Oz   Chris Rathman
      • The Reasoned Oz   Maximilian Wilson
• The Reasoned Oz   Chris Rathman
• The Reasoned Oz   Chris Rathman
  • The Reasoned Oz   Maximilian Wilson
• The Reasoned Oz   Raphael Collet
• The Reasoned Oz   Raphael Collet
• The Reasoned Oz   Raphael Collet
• LPAR 2006, 2nd Call For Papers   Miki Hermann
• Call for Papers: LOPSTR06, Venice, Italy   LOPSTR 2006
• CFP AIMSA 2006: AI, people and the web   event at in.tu-clausthal.de
• Choice and Power Sets   Chris Rathman
  • Choice and Power Sets   Mark Engelberg
    • Choice and Power Sets   Peter Van Roy
      • Choice and Power Sets   Mark Engelberg
• BNAIC'06 : BeNeLux conference on Artificial Intelligence   event at in.tu-clausthal.de
• What is actually copied when a space is cloned?   Torsten Anders
• CFP: LFMTP 2006   event at in.tu-clausthal.de
• Choice and Power Sets   Harmon Nine
  • Choice and Power Sets   Maximilian Wilson
  • Choice and Power Sets   Mark Engelberg
• Choice and Power Sets   Raphael Collet
• What is actually copied when a space is cloned?   Raphael Collet
  • What is actually copied when a space is cloned?   Torsten Anders
• Call for Posters - ICLP 2006 - Deadline: March, 14   A Serebrenik
• What is actually copied when a space is cloned?   Stefano Gualandi
  • What is actually copied when a space is cloned?   Torsten Anders
• International Conference on Logic Programming: DOCTORAL CONSORTIUM   event at in.tu-clausthal.de
• Use of variables in patterns   Anthony Borla
• Use of variables in patterns   Filip Konvička
  • Use of variables in patterns   Anthony Borla
• 2nd CfP: Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006)   event at in.tu-clausthal.de
• Infinite Choices   Chris Rathman
  • Infinite Choices   Chris Rathman
• Use of variables in patterns   Anthony Borla
  • Use of variables in patterns   Kevin Glynn
• Infinite Choices   Raphael Collet
• Infinite Choices   Filip Konvička
  • Infinite Choices   Chris Rathman
• Call for papers: SCAM 2006   icsm-info at FernUni-Hagen.de
• CALL FOR PAPERS: CICLOPS 2006   event at in.tu-clausthal.de
• Call for Papers: Preferences and their Applications in Logic Programming Systems   event at in.tu-clausthal.de
• CFP: ProMAS at AAMAS 06   event at in.tu-clausthal.de
• Infinite Choices   Filip Konvicka
  • Infinite Choices   Chris Rathman
    • Infinite Choices   Chris Rathman
• Infinite Choices   Luis Quesada
• TFP2006: Call for Participation   Henrik Nilsson
• Use of variables in patterns   Filip Konvička
  • Use of variables in patterns   Kevin Glynn
    • Use of variables in patterns   Kevin Glynn
• FM'06 Doctoral Symposium   Augusto Sampaio
• Infinite Choices   Luis Quesada
  • Infinite Choices   Chris Rathman
• Infinite Choices   Filip Konvicka
• Infinite Choices   Luis Quesada
• Infinite Choices   Filip Konvicka
• Use of variables in patterns   Raphael Collet
• DSD 2006 - FINAL Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN   DSD 2006
• 2nd CfP: Workshop PPSWR 2006 @ ESWC   event at in.tu-clausthal.de
• Use of variables in patterns   Filip Konvička
  • Use of variables in patterns   Yves Jaradin
    • Use of variables in patterns   Maximilian Wilson
• 3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW   Miki Hermann
• Use of variables in patterns   Raphael Collet
  • Use of variables in patterns   Torsten Anders
    • Use of variables in patterns   David Hopwood
      • Use of variables in patterns   Kevin Glynn
      • Use of variables in patterns   Andreas Franke
      • Use of variables in patterns   Torsten Anders
      • Use of variables in patterns   Andreas Franke
      • Use of variables in patterns   Kevin Glynn
      • Use of variables in patterns   Boriss Mejias
      • Macros (was: Use of variables in patterns)   Torsten Anders
      • Use of variables in patterns   Kevin Glynn
      • Use of variables in patterns   David Hopwood
      • Use of variables in patterns   Andreas Franke
      • Use of variables in patterns   Boriss Mejias
      • Use of variables in patterns   Torsten Anders
      • Use of variables in patterns   David Hopwood
      • Use of variables in patterns   David Hopwood
      • Use of variables in patterns   David Hopwood
      • Use of variables in patterns   David Hopwood
• Use of variables in patterns   Filip Konvička
• EASSS 2006: Call For Participation   event at in.tu-clausthal.de
• ACM PPDP'06 Deadline extension   Michael Maher
• Infinite Choices   Raphael Collet
• FMCO 2006: call for tutorial papers   M.M. Bonsangue
• CP 2006: Applications to Doctoral Programme   Christian Schulte
• Use of variables in patterns   Raphael Collet
• lazy tree creation   Robert Van Dam
• lazy tree creation   Luis Quesada
  • lazy tree creation   Maximilian Wilson
• lazy tree creation   Luis Quesada
• lazy tree creation   Luis Quesada
• lazy tree creation   Luis Quesada
• lazy tree creation   Raphael Collet
  • lazy tree creation   Robert Van Dam
• Macros   Raphael Collet
  • Macros   Torsten Anders
    • Macros   Torsten Anders
• (CFP) Workshop on Logic-based Methods in Programming Environments   Wim Vanhoof
• Macros   Raphael Collet
  • Macros   Torsten Anders
    • Macros   Torsten Anders
• Macros   Torsten Anders
• Macros   Raphael Collet
  • Macros   Torsten Anders
• Macros   Raphael Collet
  • Macros   Torsten Anders
• Macros   Raphael Collet
  • Macros   Torsten Anders
• Macros   Raphael Collet
• lazy tree creation   Luis Quesada
• CFP: LCC'06 - Workshop on Logic and Computational Complexity   event at in.tu-clausthal.de
• Classical Logic and Computation: second call for papers   event at in.tu-clausthal.de
• Use of variables in patterns   Raphael Collet
  • Use of variables in patterns   Boriss Mejias
    • Use of variables in patterns   Yves Jaradin
• Use of variables in patterns   Raphael Collet
• Last CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006)   event at in.tu-clausthal.de
• CFP - Search and Logic: ASP and SAT   event at in.tu-clausthal.de
• Outputting Lists with QTk   Alan Oswald
  • Outputting Lists with QTk   Maximilian Wilson
• Outputting Lists with QTk   Alan Oswald
• List Comprehensions?   Mark Engelberg
  • List Comprehensions?   Maximilian Wilson
    • List Comprehensions?   Mark Engelberg
• List Comprehensions?   Luis Quesada
  • List Comprehensions?   Mark Engelberg
    • List Comprehensions?   Torsten Anders
  • List Comprehensions?   Grégoire Dooms
• List Comprehensions?   Raphael Collet
  • List Comprehensions?   Grégoire Dooms
• List Comprehensions?   Luis Quesada
• List Comprehensions?   Luis Quesada
  • List Comprehensions?   Torsten Anders
• CP 2006: Call for Workshop and Tutorial Proposals   Christian Schulte
• CFP: MICAI-2006, Artificial Intelligence, Springer LNAI + IEEE CS   event at in.tu-clausthal.de
• Formal Methods 2006: Call for Demos (Commercial and Research) and Posters   Marsha Chechik
• CFP2: Mathematically Structured Functional Programming   Conor McBride
• ACL2 2006 Second Call for Papers   Panagiotis Manolios
• Call for papers! PDPAR: Workshop on the pragmatics of decision procedures   Byron Cook
• Question:Application exit without closing windows   Lucia Cambise
  • Question:Application exit without closing windows   Andreas Franke
    • Question:Application exit without closing windows   Lucia Cambise
• Unstable client/server   Jens Grabarske
• Unstable client/server   Raphael Collet
• CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006   event at in.tu-clausthal.de
• ICFEM 2006: 2nd Call for Contributions   Chris George
• Deadlines are near: CFP - ICSM 2006   icsm-info at FernUni-Hagen.de
• 2nd CFP: Multidisciplinary ECAI-06 WS on Preferences   event at in.tu-clausthal.de
• IICAI-07 Conference announcement   Dr. Bhanu Prasad
• CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)   event at in.tu-clausthal.de
• CFP: Workshop on Verification and Debugging   vandd2006
• CP 2006: Second Call for Papers   Christian Schulte
• Breadth-First Solve   Chris Rathman
  • Breadth-First Solve   Christian Schulte
    • Breadth-First Solve   Russ Abbott
      • Breadth-First Solve   Russ Abbott
  • Breadth-First Solve   Maximilian Wilson
• ICLP 2006 Doctoral Consortium -- Deadline in 2 days   event at in.tu-clausthal.de
• 2nd CFP: FOIS-2006 - International Conference on Formal Ontology in Information Systems   event at in.tu-clausthal.de
• Constraints and Language Processing (CSLP-06)   Denys Duchier
• Call For Participation: CPAIOR 2006   ian miguel
• Deadline Extension CL&C'06   event at in.tu-clausthal.de
• CFP: Agent Technology and Autonomic Computing (ATAC'2006)   event at in.tu-clausthal.de
• Generating random numbers in Oz   Alan Oswald
  • Generating random numbers in Oz   Jorge.Pelizzoni at loria.fr
• Generating Random Numbers   Alan Oswald
  • Generating Random Numbers   Maximilian Wilson
  • Generating Random Numbers   Boriss Mejias
    • Generating Random Numbers   Christian Schulte
      • Generating Random Numbers   Maximilian Wilson
      • Generating Random Numbers   Boriss Mejias
      • Generating Random Numbers   Christian Schulte
  • Generating Random Numbers   Jorge.Pelizzoni at loria.fr
• Generating Random Numbers   Alan Oswald
  • Generating Random Numbers   Maximilian Wilson
  • Generating Random Numbers   Jorge.Pelizzoni at loria.fr
• problems with very large pickles   Robert Van Dam
• ASE2006 Workshop: Supporting Knowledge Collaboration in Software Development   Yunwen Ye
• Generating random numbers in Oz   Raphael Collet
• question:data structure   Lucia Cambise
  • question:data structure   Torsten Anders
• CIA 2006: Extended Submission Deadline !   event at in.tu-clausthal.de
• FMCAD 2006 Second Call for Papers   event at in.tu-clausthal.de
• FMCAD 2006 Second Call for Papers   Panagiotis Manolios
• TWO LECTURESHIPS IN COMPUTER SCIENCE   Susan Bates
• CFpart: Deontic Logic in Computer Science (DEON2006)   event at in.tu-clausthal.de
• CFP: AAAI-06 workshop on Learning for Search   ian miguel
• problems with a lot of data   Robert Van Dam
  • problems with a lot of data   Peter Van Roy
• ECAI 06 Workshop on Distributed Constraint Satisfaction Problems - CfP   event at in.tu-clausthal.de
• CP-TOOLS-06: First International Day on Constraint Programming Tools   Christian Schulte
• Announcement: Summer School "Reasoning Web 2006"   event at in.tu-clausthal.de
• CFP: IWKDDS   event at in.tu-clausthal.de
• SPIRE 2006 --- available support for students   event at in.tu-clausthal.de
• CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications   Ajay Mallya
• 2nd Call for Papers: CHR 2006   event at in.tu-clausthal.de
• 1st DASMOD Summer School: Computer Science, Modeling, and Applied Mathematics   event at in.tu-clausthal.de
• LOPSTR'06, Venice -- Final Call For Papers   LOPSTR 2006
• AOSD 2007   event at in.tu-clausthal.de
• Deadline extended - ECAI WS on Distributed CSP   event at in.tu-clausthal.de
• CP 2006: Applications to Doctoral Program   Christian Schulte
• EASSS 2006 Call for Participation   event at in.tu-clausthal.de
• [Fwd: CFP: C&CA-2006]   event at in.tu-clausthal.de
• vacancies for 2 PhD-students   event at in.tu-clausthal.de
• 2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   vigano at inf.ethz.ch
• Deadline Extension: Mathematically Structured Functional Programming   Conor McBride
• WRS06 last call for paper   wrs06 at redstar.cs.pdx.edu
• question:data structure   Raphael Collet
• DEADLINE EXTENSION -- LOPSTR'06   LOPSTR 2006
• *ACL2 2006 Deadline Extended*   event at in.tu-clausthal.de
• *ACL2 2006 Deadline Extended*   Panagiotis Manolios
• MPC/AMAST 2006 Call for Participation   Tarmo Uustalu
• CFP: 2nd International Congress on Tools for Teaching Logic   Carlos Areces
• Waiting   Alan Oswald
  • Waiting   Torbjörn Lager
• Generating Random Numbers   Alan Oswald
• Waiting   Raphael Collet
• Waiting   Alan Oswald
• Waiting   Alan Oswald
• CFP: International Workshop on Hybrid Logic 2006   event at in.tu-clausthal.de
• CLP question   Fred Spiessens
  • CLP question - correction   Fred Spiessens
  • CLP question   Jorge.Pelizzoni at loria.fr
    • CLP question   Jorge.Pelizzoni at loria.fr
• CLP question - correction   Raphael Collet
  • CLP question - correction   Jorge.Pelizzoni at loria.fr
  • CLP question - correction   Torsten Anders
• CFP: ProMAS special Issue   event at in.tu-clausthal.de
• A dissertation on the rationale, philosophy, and goals of E and related systems   Mark S. Miller
• ODBC   Filip Konvicka
• AIMSA 2006 Second Call for Papers and Participation   event at in.tu-clausthal.de
• CP 2006: Deadline extension   Christian Schulte
• FM'06 - Doctoral Symposium - Call for Submissions   Augusto Sampaio
• European MSc in Computational Logic - more grants available   event at in.tu-clausthal.de
• EXTENDED DEADLINE : CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006   Luis Gomes
• CWI and Utrecht University offer two PhD positions   Frank de Boer
• Call for papers   event at in.tu-clausthal.de
• C#   Erhan ERİŞKEN
• .NET   Tunga Torgal
• CIA 2006: Deadline Approaching!   event at in.tu-clausthal.de
• *FMCAD 2006 Deadline Extended*   event at in.tu-clausthal.de
• CTM Palindrome Example   Chris Rathman
  • CTM Palindrome Example   Chris Rathman
• .NET   Filip Konvička
• CTM Palindrome Example   Raphael Collet
  • CTM Palindrome Example   Chris Rathman
    • CTM Palindrome Example   Chris Rathman
      • CTM Palindrome Example   Jorge.Pelizzoni at loria.fr
      • CTM Palindrome Example   Chris Rathman
      • CTM Palindrome Example   Torsten Anders
• From OPI to Executables   Alan Oswald
• From OPI to Executables   Raphael Collet
• LPAR 2006 (Phnom Penh, Cambodia), Last CFP   event at in.tu-clausthal.de
• Subject: LPAR 2006 (Phnom Penh, Cambodia), Last CFP   Miki Hermann
• Postdoctoral Research Positions in Flanders   event at in.tu-clausthal.de
• Postdoctoral Research Positions in Flanders   Tom Schrijvers
• FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers   event at in.tu-clausthal.de
• Reminder: Summer School "Reasoning Web 2006", final week for applications   event at in.tu-clausthal.de
• [Shuly Wintner] [MoL] Workshop on Large-scale Grammar Development and Grammar Engineering   Denys Duchier
• [Esslli2006.dist] FW: ESSLLI 2006: Call for participation   event at in.tu-clausthal.de
• 2nd CFP: 3rd International Verification Workshop, VERIFY'06   event at in.tu-clausthal.de
• Final Call For Participation: CPAIOR 2006 ** STUDENT SUPPORT **   ian miguel
• FLORIDA - FLAIRS 2006 - Natural Language and Knowledge Representation   event at in.tu-clausthal.de
• 2nd CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006   event at in.tu-clausthal.de
• ICTAC 2006: Final call for papers   Chris George
• Logic programming 1   Alan Oswald
• Logic programming 1   Raphael Collet
• Logic Programming 1   Alan Oswald
  • Logic Programming 1   Chris Rathman
    • Logic Programming 1   Peter Van Roy
• Logic Programming 1   Alan Oswald
  • Logic Programming 1   Chris Rathman
• Logic Programming 1   Raphael Collet
• Logic Programming 1   Alan Oswald
  • Logic Programming 1   Chris Rathman
  • Logic Programming 1   Peter Van Roy
• ICALP 2006 - call for participation   ICALP 2006
• (2nd CFP) Workshop on Logic-based Methods in Programming Environments   Wim Vanhoof
• ESSLLI 2007 - Call for Course and Workshop Proposals   Tomaz Erjavec
• [ESSLLI 2007] Calll for Course and Workshop Proposals   Carlos Areces
• FMICS'06: Call for Papers   Martin Leucker
• Functional Reactive Programming in Oz   Peter Van Roy
  • Soft real time (was Functional Reactive Programming in Oz)   Torsten Anders
• Vim coloration and indentation when editing oz files   FSA
• Vim coloration and indentation when editing oz files   Filip Konvicka
• Quick Regex Query   Anthony Borla
  • Quick Regex Query   Kevin Glynn
    • Quick AtBang Query   Anthony Borla
      • Quick AtBang Query   Yves Jaradin
      • Quick AtBang Query   Sukit Tretriluxana
    • Quick Regex Query   Anthony Borla
  • Quick AtBang Query   Anthony Borla
• Path   Torsten Anders
  • Path   Boriss Mejias
• 'gc.free'   Robert Van Dam
• The code block   Sukit Tretriluxana
  • The code block   Jorge.Pelizzoni at loria.fr
    • The code block   Sukit Tretriluxana
      • The code block   Christian Schulte
      • The code block   Jorge.Pelizzoni at loria.fr
      • The code block   Christian Schulte
      • The code block   Sukit Tretriluxana
• Resignation from Mozart board   Christian Schulte
  • Resignation from Mozart board   Mark Engelberg
  • Resignation from Mozart board   Sukit Tretriluxana
• CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• Resignation from Mozart board   Christian Schulte
  • Resignation from Mozart board   Peter Van Roy
    • Resignation from Mozart board   Sukit Tretriluxana
• The code block   Raphael Collet
• Announcing: Post-doc Position at Durham University, UK   event at in.tu-clausthal.de
• LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION   Miki Hermann
• Vacancy: logic for knowledge representation / multi-agent systems   event at in.tu-clausthal.de
• UITP'06: Final Call for Papers   event at in.tu-clausthal.de
• ICFEM 2006: final call for contributions and extended deadline   Chris George
• Final CFP: Qualitative Constraint Calculi [Deadline extended]   event at in.tu-clausthal.de
• memoization + search script   Kilian Sprotte
  • memoization + search script   Torsten Anders
• memoization + search script   Raphael Collet
  • memoization + search script   Kilian Sprotte
• DISPROVING '06 2nd Call f. Papers   Wolfgang Ahrendt
• PDPAR'06 Call for Papers   event at in.tu-clausthal.de
• Final CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   vigano at inf.ethz.ch
• Accessing Classes in Functors.   Alan Oswald
  • Accessing Classes in Functors.   Peter Van Roy
• Accessing Classes in Functors.   Alan Oswald
• Accessing Classes in Functors.   Raphael Collet
• CFP - LaSh06 - Search and Logic: Answer Set Programming and SAT   event at in.tu-clausthal.de
• Distribution Strategies   Mary Aranda Cabezas
  • Distribution Strategies   Kilian Sprotte
  • Distribution Strategies   Jorge.Pelizzoni at loria.fr
• Distribution Strategies   Luis Quesada
• build issue on Mac OS X   Paul R Brown
• Mac OS X build issue resolved   Paul R Brown
  • Mac OS X build issue resolved   Kevin Glynn
• Quick Bit Manipilation Query   Anthony Borla
• Quick Loop Feature Query   Anthony Borla
  • Quick Loop Feature Query   Yves Jaradin
  • Quick Loop Feature Query   Anthony Borla
• CERTSOFT'06: CFP   Jeffery Zucker
• [Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14   event at in.tu-clausthal.de
• *ALPSWS2006 Deadline Extended*   event at in.tu-clausthal.de
• PPDP 2006 - call for participation   event at in.tu-clausthal.de
• CISSE 2006 -- The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering   The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006)
• FCS-ARSPA'06: deadline extension   vigano at inf.ethz.ch
• Interface!   Mary Aranda Cabezas
• Interface!   Raphael Collet
• 2nd CFP: Workshop on Generic Programming 2006   Ralf Hinze
• CFP: Workshop on Constraint Based Methods for Bioinformatics   Gestione_Workshop_WCB06
• CP 2006: Call for Tutorial Proposals   Christian Schulte
• Call for Participation: PLAS 2006   Steve Zdancewic
• Final Call for Participation: 2nd International Summer School of the Association for Constraint Programming: GLOBAL CONSTRAINTS   ian miguel
• CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)   event at in.tu-clausthal.de
• UNIF'06 second call for papers   event at in.tu-clausthal.de
• UNIF'06 second call for papers   Jordi Levy
• FINAL CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)   event at in.tu-clausthal.de
• CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006   Luis Gomes
• Extended Deadline: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web   event at in.tu-clausthal.de
• CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming   ian miguel
• FORMAL METHODS 2006: Call for Participation   Jeffery Zucker
• Oz Explorer and variables   Mary Aranda Cabezas
  • Oz Explorer and variables   Torsten Anders
• deadline extension VERIFY'06   event at in.tu-clausthal.de
• DCC06 Conference - Registration Now Open   event at in.tu-clausthal.de
• Record.adjoin documentation wrong?   Paul Dufresne
• Record.adjoin documentation wrong?   Raphael Collet
  • Record.adjoin documentation wrong?   Kevin Glynn
    • Record.adjoin documentation wrong?   Mark Engelberg
• Workshop on (logic-based) programming environments - DEADLINE EXTENSION   Wim Vanhoof
• *ATAC'2006: Extended deadline (May 28)*   event at in.tu-clausthal.de
• Prefs 2006 -- CALL FOR PAPERS   event at in.tu-clausthal.de
• OnToContent 2006, Ontology Content and Evaluation in Enterprise Workshop, (Submission, June 30), call1   event at in.tu-clausthal.de
• DISPROVING '06 2nd Call f. Papers   event at in.tu-clausthal.de
• CALL FOR PAPERS: CICLOPS 2006   event at in.tu-clausthal.de
• CFP: ESAW 2006   event at in.tu-clausthal.de
• Oz Explorer and variables   Mary Aranda Cabezas
  • Oz Explorer and variables   Gustavo Gutierrez
• Oz Explorer and variables   Raphael Collet
• FM06 - Doctoral Symposium - FINAL CALL   Augusto Sampaio
• PATAT 2006: Call for Participation   PATAT 2006
• BCI2006: Call for partecipation   BCI2006
• FS.distinct   Kilian Sprotte
  • FS.distinct bug?   Kilian Sprotte
    • FS.distinct bug?   Kilian Sprotte
• Bit operations on integer   Sukit Tretriluxana
• 1 PhD and 1 Post-doc position at CWI, Amsterdam   Frank de Boer
• Overriding 'Dictionary' to avoid non-determinism   Himanshu Neema
  • Overriding 'Dictionary' to avoid non-determinism   Kevin Glynn
• Oz Explorer and variables   Mary Aranda Cabezas
• Bit operations on integer   Anthony Borla
  • Bit operations on integer   Sukit Tretriluxana
    • Bit operations on integer   Fred Spiessens
• Help with ozh   Marko Zerdin
  • Help with ozh   Torsten Anders
    • Help with ozh   Marko Zerdin
• FS.distinct bug?   Raphael Collet
• Help with ozh   Filip Konvicka
  • Help with ozh   Marko Zerdin
• Bit operations on integer   Anthony Borla
  • Bit operations on integer   Sukit Tretriluxana
• Help with ozh   Filip Konvicka
  • Help with ozh   Marko Zerdin
• VMCAI'07: Call for papers   Byron Cook
• VMCAI'07: Call for papers   Byron Cook
• Oz Explorer and variables   Raphael Collet
• Help with ozh   Filip Konvička
  • Help with ozh   Marko Zerdin
  • Help with ozh   Marko Zerdin
• Closing the Event@CIG list   event at in.tu-clausthal.de
• Help with ozh   Filip Konvicka
  • Help with ozh   Torsten Anders
• Help with ozh   Filip Konvicka
• Help with ozh   Filip Konvička
  • Help with ozh   Torsten Anders
  • Help with ozh   Keith Massey
• Thesis proofreading?   Torsten Anders
• Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007   Carlos Areces
• AIPR-07 Call for papers   Chase Williams
• FLoC'06 -- Call for Participation   Kreutzer + Schweikardt
• Overriding 'Dictionary' to avoid non-determinism   Himanshu Neema
  • Overriding 'Dictionary' to avoid non-determinism   Torsten Anders
  • Overriding 'Dictionary' to avoid non-determinism   Kevin Glynn
    • Overriding 'Dictionary' to avoid non-determinism   Konstantin Popov
• Deadline extension RuleML2006   "Michael Kifer, Thomas Eiter, Enrico Franconi, Susie Stephens, Ralph Hodgson" at kr.tuwien.ac.at
• ozmake --config   Fredrik Kronlid
  • ozmake --config   Kevin Glynn
• Help with ozh   Filip Konvička
• Help with ozh   Filip Konvička
• release dates?   Robert Ritchey
• Overriding 'Dictionary' to avoid non-determinism   Himanshu Neema
• Position Announcement: Please distribute   Paolo Mancarella
• Overriding 'Dictionary' to avoid non-determinism   Himanshu Neema
  • Overriding 'Dictionary' to avoid non-determinism   Torsten Anders
    • Overriding 'Dictionary' to avoid non-determinism   Kevin Glynn
      • Overriding 'Dictionary' to avoid non-determinism   Torsten Anders
      • Overriding 'Dictionary' to avoid non-determinism   Kevin Glynn
• Mozart package for MacIntel   Fred Spiessens
  • Mozart package for MacIntel   Kevin Glynn
• Oz Explorer and variables   Mary Aranda Cabezas
• ICTAC 2006: Final call for tutorials   Chris George
• Call for Participation --- ICLP'06   A Serebrenik
  • Call for Participation --- ICLP'06   A Serebrenik
• 1st Asian Working Conference on Verified Software   Chris George
• ozmake --config   Filip Konvička
• call for paper: workshop on constraints and security   Stefano Bistarelli
• CERTSOFT'06: Revised CFP   Jeffery Zucker
• ICFP Programming Contest, 2006   Paul Dufresne
• cfp CPSec 2006   Fred Spiessens
• CFV'06: Call for Papers   Miroslav Velev
• Time.system question   Chris Rathman
  • Time.system question   Kevin Glynn
• ICFP Programming Contest, 2006   Andreas Rossberg
• Time.system question   Raphael Collet
  • Time.system question   Chris Rathman
    • Time.system question   Boriss Mejias
      • Time.system question   Kevin Glynn
      • Time.system question   Chris Rathman
• CFP: 5th International Workshop on Constraint Modelling and Reformulation   ian miguel
• ps.uni-sb.de is back online   Guido Tack
• Time.system question   Raphael Collet
• New macro pre-processor for Oz   tooli
  • New macro pre-processor for Oz   David Hopwood
  • New macro pre-processor for Oz   Torsten Anders
• HyLo 2006: Extended Deadline   Carlos Areces
• FMICS, FINAL CFP, DL: 06/05/06   Martin Leucker
• Functional Reactive Programming in Oz (revisited)   Peter Van Roy
  • Functional Reactive Programming in Oz (revisited)   Peter Van Roy
• The Future is dataflow   Bob Calco
• TPLP special issue second call for papers   Maria Garcia de la Banda
• ESSLLI 2007 - Second Call for Course and Workshop Proposals   Carlos Areces
• Distribution Strategy   Mary Aranda Cabezas
• Help defining parameters for constraint programming   George Rudolph
  • Help defining parameters for constraint programming   Torsten Anders
• ICALP / PPDP / LOPSTR 2006 - 2nd call for participation   ICALP 2006
• POPL 2007 Call for Papers   Sorin Lerner
• Use of variables in patterns   Filip Konvička
  • Use of variables in patterns   Torsten Anders
• Distribution Strategy   Raphael Collet
• Distribution Strategy   Raphael Collet
• LOPSTR'06 - CALL FOR PARTICIPATION   Convegno LOPSTR'06
• Infrastructure for Mozart development   Torsten Anders
• Use of variables in patterns   Filip Konvička
  • Use of variables in patterns   Boriss Mejias
• Intefacing Java and OZ   Craig Ugoretz
  • Intefacing Java and OZ   Torsten Anders
• My previous post   Craig Ugoretz
• Code freeze for Mozart 1.3.2   Boriss Mejias
  • Code freeze for Mozart 1.3.2   Boriss Mejias
• Oz module for SHA algorithm   Sukit Tretriluxana
• Help defining parameters for constraint programming   Raphael Collet
• Global Cardinality Constraint   Brandon Eames
• CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• Multi-Valued Logic Programming and App: Extended Deadline   Gopal Gupta
• Call for Organizing ICLP 2007   Gopal Gupta
• Fwd: Oz   Torsten Anders
• Fwd: Oz   Raphael Collet
• Strasheela 0.8 released   Torsten Anders
• EISWT-07 Call for papers   Chase Williams
• SETP-07 Call for papers   Chase Williams
• HPCNCS-07 Call for papers   Chase Williams
• AIPR-07 call for papers   Chase Williams
• CFP: AOAisa 2006   Yoshinao Isobe
• Help with scheduling of tasks problem   Tim Heath
• Help with scheduling of tasks problem   Filip Konvička
• CFP: KCSD 2006   Yoshinao Isobe
• Help with scheduling of tasks problem&In-Reply-To=mailman.69.1149662727.939.mozart-users@ps.uni-sb.de   Tim Heath
• exe file   Mary Aranda Cabezas
  • exe file   Torsten Anders
• Help with scheduling of tasks problem&In-Reply-To=mailman.69.1149662727.939.mozart-users@ps.uni-sb.de   Filip Konvička
• New macro pre-processor for Oz   Olivier Tonglet
• New macro pre-processor for Oz   Torsten Anders
• Call for papers for B 2007 conference   Jacques Julliand
• Help with the \=: constraint operator in csp   Tim Heath
  • Help with the \=: constraint operator in csp   Jorge.Pelizzoni at loria.fr
• A kind of status bar to see where the Search is in csp   Tim Heath
  • A kind of status bar to see where the Search is in csp   Torsten Anders
• A kind of status bar to see where the Search is in csp   Luis Quesada
  • A kind of status bar to see where the Search is in csp   Torsten Anders
• A kind of status bar to see where the Search is in csp   Himanshu Neema
• How to schedule if a task can be done by multiple resources   Tim Heath
• How to schedule if a task can be done by multiple resources   Filip Konvička
• A kind of status bar to see where the Search is in csp   Luis Quesada
  • A kind of status bar to see where the Search is in csp   Robert Van Dam
    • A kind of status bar to see where the Search is in csp   Torsten Anders
  • A kind of status bar to see where the Search is in csp   Tim Heath
    • A kind of status bar to see where the Search is in csp   Robert Van Dam
    • A kind of status bar to see where the Search is in csp   Jorge.Pelizzoni at loria.fr
  • SOS on my scheduler, please help me to finish it   Tim Heath
  • How to handle shifts on the resources when a task should be broken up   Tim Heath
    • How to handle shifts on the resources when a task should be broken up   Chris vanBuskirk
      • How to handle shifts on the resources when a task should be broken up   Tim Heath
  • Compiler error help   Tim Heath
  • print all values inside of start   Tim Heath
    • print all values inside of start   Kari Pahula
  • Assigning a label to a variable   Tim Heath
  • Interested in hiring a tutor for mozart oz constraint programming   Tim Heath
• Function composition   Chris Rathman
  • Function composition   Kevin Glynn
    • Function composition   Chris Rathman
• A kind of status bar to see where the Search is in csp   Luis Quesada
• Inline Functors   Chris Rathman
  • Inline Functors   Andreas Franke
• OZNLP book -- modules question   Stijn De Saeger
  • OZNLP book -- modules question   Jorge.Pelizzoni at loria.fr
    • OZNLP book -- modules question   Stijn De Saeger
• LPAR 2006 - CALL FOR WORKSHOP PROPOSALS   cscharff at pace.edu
• SOS on my scheduler, please help me to finish it   Himanshu Neema
  • SOS on my scheduler, please help me to finish it   Tim Heath
• BCI 2006 -- registration is open   BCI2006
• Call for participation: Symposium on SAT-solvers and Program Verification, at FLOC in Seattle   Byron Cook
• Symposium on SAT-solvers and Program Verification, at FLOC in Seattle   Byron Cook
• SOS on my scheduler, please help me to finish it   Filip Konvička
• CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation   Mohammadian, Masoud
• SOS on my scheduler, please help me to finish it   Filip Konvic(ka
• CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation   Mohammadian, Masoud
  • CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation   Mohammadian, Masoud
• Call For Papers: TACAS 2007   Grumberg + Huth
• Release of Mozart 1.3.2   Boriss Mejias
  • Release of Mozart 1.3.2   Torsten Anders
    • Release of Mozart 1.3.2   Boriss Mejias
  • Release of Mozart 1.3.2   Boriss Mejias
• CP-TOOLS-06: First International Day on Constraint Programming Tools   Christian Schulte
• Release of Mozart 1.3.2   Raphael Collet
  • Release of Mozart 1.3.2   Boriss Mejias
    • Release of Mozart 1.3.2   Torsten Anders
  • Release of Mozart 1.3.2   Torsten Anders
    • Release of Mozart 1.3.2   Kevin Glynn
      • Release of Mozart 1.3.2   Torsten Anders
      • Release of Mozart 1.3.2   Torsten Anders
• PATAT 2006: Early Registration Ends June 27   PATAT 2006
• question regarding learning constraint-handling in OZ, Unification in OZ   George Rudolph
• question regarding learning constraint-handling in OZ, Unification in OZ   Raphael Collet
• CPSec workshop extended deadline!   Stefano Bistarelli
• Instructions for downloading Debian   Kevin Glynn
  • Instructions for downloading Debian   Chris Campbell
    • Instructions for downloading Debian   Kevin Glynn
• Fwd: aosd 2007   Raphael Collet
• CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• PADL'07: CALL FOR PAPERS   Gopal Gupta
• OZRC on windows   Torsten Anders
  • OZRC on windows   Yves Jaradin
    • OZRC on windows   Torsten Anders
• ***deadline extended*** 2nd Asian Workshop on AOSD   Yoshinao Isobe
• CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming   ian miguel
• un   Ali Ghodsi
• How to handle shifts on the resources when a task should be broken up   Filip Konvicka
  • How to handle shifts on the resources when a task should be broken up   Grégoire Dooms
• CISSE 2006 -- The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering   CISSE
• Call for Participation: SAS 2006   Kwangkeun Yi
• Compiler error help   Filip Konvicka
• print all values inside of start   Raphael Collet
• BCI 2006 -- registration is open   BCI2006
• Assigning a label to a variable   Filip Konvicka
• Assigning a label to a variable   Chris vanBuskirk
• The AVISPA Tool - v1.1   Laurent.Vigneron at loria.fr
• Assigning a label to a variable   Filip Konvicka
• FORMAL METHODS 2006: Early Reg. Deadline   Jeffery Zucker
• Extended deadline for B 2007 conference   Jacques Julliand
• CFP: 5th International Workshop on Constraint Modelling and Reformulation   ian miguel
• FLoC 06 -- Call For Participation   Kreutzer + Schweikardt
• E. W. Beth Dissertation Prize: call for submissions   Carlos Areces
• oddities...   Jens Grabarske
• CFP - ACM CLAT07 - Call For Papers   Tope Omitola
• Call for Participation: ASE 2006   Yoshinao Isobe
• Call For Participation: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   Luca Vigano
• 10th JELIA: Call for Participation   Wiebe van der Hoek
• Wisdomics and Mozart/OZ   Craig Ugoretz
  • Wisdomics and Mozart/OZ   Torsten Anders
  • Wisdomics and Mozart/OZ   Peter Van Roy
• CPSec 2006 extended deadline   Stefano Bistarelli
• ACL2 2006 Call For Participation   Panagiotis Manolios
• Wisdomics and Mozart/OZ   Craig Ugoretz
  • Wisdomics and Mozart/OZ   Torsten Anders
• Wisdomics and Mozart/OZ   Craig Ugoretz
  • Wisdomics and Mozart/OZ   Brent Fulgham
• Call for paper: ACM SAC track on Software Verification   Lunjin Lu
• Osmoz : an IDE for Mozart/Oz   Ludwig Jossieaux
  • Osmoz : an IDE for Mozart/Oz   Peter