mozart-users  

Messages by Date

• 2006/04/30 Vim coloration and indentation when editing oz files FSA
• 2006/04/28 Functional Reactive Programming in Oz Peter Van Roy
• 2006/04/28 FMICS'06: Call for Papers Martin Leucker
• 2006/04/28 Re: Logic Programming 1 Peter Van Roy
• 2006/04/28 Re: Logic Programming 1 Peter Van Roy
• 2006/04/27 ESSLLI 2007 - Call for Course and Workshop Proposals Tomaz Erjavec
• 2006/04/27 [ESSLLI 2007] Calll for Course and Workshop Proposals Carlos Areces
• 2006/04/27 (2nd CFP) Workshop on Logic-based Methods in Programming Environments Wim Vanhoof
• 2006/04/26 ICALP 2006 - call for participation ICALP 2006
• 2006/04/26 Re: Logic Programming 1 Chris Rathman
• 2006/04/26 Logic Programming 1 Alan Oswald
• 2006/04/26 Re: Logic Programming 1 Raphael Collet
• 2006/04/26 Re: Logic Programming 1 Chris Rathman
• 2006/04/26 Logic Programming 1 Alan Oswald
• 2006/04/26 Re: Logic Programming 1 Chris Rathman
• 2006/04/26 Logic Programming 1 Alan Oswald
• 2006/04/26 Re: Logic programming 1 Raphael Collet
• 2006/04/26 FLORIDA - FLAIRS 2006 - Natural Language and Knowledge Representation event
• 2006/04/26 Logic programming 1 Alan Oswald
• 2006/04/26 ICTAC 2006: Final call for papers Chris George
• 2006/04/25 2nd CFP: 3rd International Verification Workshop, VERIFY'06 event
• 2006/04/25 2nd CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006 event
• 2006/04/25 Reminder: Summer School "Reasoning Web 2006", final week for applications event
• 2006/04/25 Final Call For Participation: CPAIOR 2006 ** STUDENT SUPPORT ** ian miguel
• 2006/04/24 [Esslli2006.dist] FW: ESSLLI 2006: Call for participation Ernesto Pimentel
• 2006/04/24 [Shuly Wintner] [MoL] Workshop on Large-scale Grammar Development and Grammar Engineering Denys Duchier
• 2006/04/23 LPAR 2006 (Phnom Penh, Cambodia), Last CFP event
• 2006/04/23 Postdoctoral Research Positions in Flanders event
• 2006/04/23 Postdoctoral Research Positions in Flanders Tom Schrijvers
• 2006/04/22 Subject: LPAR 2006 (Phnom Penh, Cambodia), Last CFP Miki Hermann
• 2006/04/22 Re: CTM Palindrome Example Torsten Anders
• 2006/04/22 Call for papers event
• 2006/04/21 Re: CTM Palindrome Example Chris Rathman
• 2006/04/21 Re: CTM Palindrome Example Jorge . Pelizzoni
• 2006/04/21 Re: CTM Palindrome Example Chris Rathman
• 2006/04/21 Re: CTM Palindrome Example Chris Rathman
• 2006/04/21 Re: From OPI to Executables Raphael Collet
• 2006/04/21 From OPI to Executables Alan Oswald
• 2006/04/21 Re: CTM Palindrome Example Raphael Collet
• 2006/04/21 Re: .NET Filip Konvička
• 2006/04/20 C# Erhan ERİŞKEN
• 2006/04/20 .NET Tunga Torgal
• 2006/04/20 Re: CTM Palindrome Example Chris Rathman
• 2006/04/20 CTM Palindrome Example Chris Rathman
• 2006/04/20 CWI and Utrecht University offer two PhD positions Frank de Boer
• 2006/04/19 CFP: ProMAS special Issue event
• 2006/04/19 EXTENDED DEADLINE : CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006 Luis Gomes
• 2006/04/19 European MSc in Computational Logic - more grants available event
• 2006/04/19 AIMSA 2006 Second Call for Papers and Participation event
• 2006/04/19 FM'06 - Doctoral Symposium - Call for Submissions Augusto Sampaio
• 2006/04/18 CP 2006: Deadline extension Christian Schulte
• 2006/04/16 ODBC Filip Konvicka
• 2006/04/16 CFP: 2nd International Congress on Tools for Teaching Logic Carlos Areces
• 2006/04/16 A dissertation on the rationale, philosophy, and goals of E and related systems Mark S. Miller
• 2006/04/16 CFP: International Workshop on Hybrid Logic 2006 Carlos Areces
• 2006/04/15 MPC/AMAST 2006 Call for Participation Tarmo Uustalu
• 2006/04/14 Re: CLP question - correction Torsten Anders
• 2006/04/14 Re: CLP question Jorge . Pelizzoni
• 2006/04/14 Re: CLP question - correction Jorge . Pelizzoni
• 2006/04/14 Re: CLP question - correction Raphael Collet
• 2006/04/14 Re: CLP question Jorge . Pelizzoni
• 2006/04/14 Re: CLP question - correction Fred Spiessens
• 2006/04/14 CLP question Fred Spiessens
• 2006/04/13 Waiting Alan Oswald
• 2006/04/13 Waiting Alan Oswald
• 2006/04/13 Re: Waiting Raphael Collet
• 2006/04/13 Generating Random Numbers Alan Oswald
• 2006/04/13 Re: Waiting Torbjörn Lager
• 2006/04/13 Waiting Alan Oswald
• 2006/04/12 DEADLINE EXTENSION -- LOPSTR'06 LOPSTR 2006
• 2006/04/12 2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano
• 2006/04/12 Deadline Extension: Mathematically Structured Functional Programming Conor McBride
• 2006/04/12 vacancies for 2 PhD-students event
• 2006/04/12 [Fwd: CFP: C&CA-2006] event
• 2006/04/12 WRS06 last call for paper wrs06
• 2006/04/12 Re: question:data structure Raphael Collet
• 2006/04/10 EASSS 2006 Call for Participation event
• 2006/04/10 Deadline extended - ECAI WS on Distributed CSP event
• 2006/04/10 CFP: AAAI-06 workshop on Learning for Search ian miguel
• 2006/04/10 CP-TOOLS-06: First International Day on Constraint Programming Tools Christian Schulte
• 2006/04/10 CP 2006: Applications to Doctoral Program Christian Schulte
• 2006/04/10 AOSD 2007 event
• 2006/04/08 Re: problems with a lot of data Peter Van Roy
• 2006/04/08 ECAI 06 Workshop on Distributed Constraint Satisfaction Problems - CfP event
• 2006/04/08 CFP: IWKDDS event
• 2006/04/08 Announcement: Summer School "Reasoning Web 2006" event
• 2006/04/08 CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications Ajay Mallya
• 2006/04/08 2nd Call for Papers: CHR 2006 event
• 2006/04/08 CFpart: Deontic Logic in Computer Science (DEON2006) event
• 2006/04/08 LOPSTR'06, Venice -- Final Call For Papers LOPSTR 2006
• 2006/04/08 1st DASMOD Summer School: Computer Science, Modeling, and Applied Mathematics event
• 2006/04/08 SPIRE 2006 --- available support for students event
• 2006/04/05 problems with a lot of data Robert Van Dam
• 2006/04/05 Call For Participation: CPAIOR 2006 ian miguel
• 2006/04/05 TWO LECTURESHIPS IN COMPUTER SCIENCE Susan Bates
• 2006/04/04 Re: question:data structure Torsten Anders
• 2006/04/04 Deadline Extension CL&C'06 event
• 2006/04/04 CFP: Agent Technology and Autonomic Computing (ATAC'2006) event
• 2006/04/04 2nd CFP: FOIS-2006 - International Conference on Formal Ontology in Information Systems event
• 2006/04/04 ASE2006 Workshop: Supporting Knowledge Collaboration in Software Development Yunwen Ye
• 2006/04/04 question:data structure Lucia Cambise
• 2006/04/04 Re: Generating random numbers in Oz Raphael Collet
• 2006/04/03 Re: Generating Random Numbers Maximilian Wilson
• 2006/04/03 Re: Generating Random Numbers Maximilian Wilson
• 2006/04/03 problems with very large pickles Robert Van Dam
• 2006/04/03 RE: Generating Random Numbers Christian Schulte
• 2006/04/03 Re: Generating Random Numbers Boriss Mejias
• 2006/04/03 Re: Generating Random Numbers Maximilian Wilson
• 2006/04/03 Re: Generating Random Numbers Jorge . Pelizzoni
• 2006/04/03 Generating Random Numbers Alan Oswald
• 2006/04/03 Re: Generating Random Numbers Jorge . Pelizzoni
• 2006/04/03 RE: Generating Random Numbers Christian Schulte
• 2006/04/03 Re: Generating Random Numbers Boriss Mejias
• 2006/04/03 Generating Random Numbers Alan Oswald
• 2006/04/03 Re: Generating random numbers in Oz Jorge . Pelizzoni
• 2006/04/03 Generating random numbers in Oz Alan Oswald
• 2006/04/03 Constraints and Language Processing (CSLP-06) Denys Duchier
• 2006/04/01 CP 2006: Second Call for Papers Christian Schulte
• 2006/04/01 Deadlines are near: CFP - ICSM 2006 icsm-info
• 2006/04/01 2nd CFP: Multidisciplinary ECAI-06 WS on Preferences event
• 2006/04/01 CFP: Workshop on Verification and Debugging vandd2006
• 2006/04/01 CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event
• 2006/04/01 ICLP 2006 Doctoral Consortium -- Deadline in 2 days event
• 2006/04/01 ICFEM 2006: 2nd Call for Contributions Chris George
• 2006/04/01 IICAI-07 Conference announcement Dr. Bhanu Prasad
• 2006/04/01 CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006 event
• 2006/03/31 Re: Breadth-First Solve Maximilian Wilson
• 2006/03/31 Re: Breadth-First Solve Russ Abbott
• 2006/03/31 Re: Breadth-First Solve Russ Abbott
• 2006/03/31 RE: Breadth-First Solve Christian Schulte
• 2006/03/31 Breadth-First Solve Chris Rathman
• 2006/03/30 Re: Infinite Choices Chris Rathman
• 2006/03/27 Re: Question:Application exit without closing windows Lucia Cambise
• 2006/03/24 CFP - Search and Logic: ASP and SAT event
• 2006/03/24 Last CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006) event
• 2006/03/24 Classical Logic and Computation: second call for papers event
• 2006/03/24 CFP: MICAI-2006, Artificial Intelligence, Springer LNAI + IEEE CS event
• 2006/03/24 Re: Unstable client/server Raphael Collet
• 2006/03/24 Unstable client/server Jens Grabarske
• 2006/03/24 Re: Question:Application exit without closing windows Andreas Franke
• 2006/03/24 Question:Application exit without closing windows Lucia Cambise
• 2006/03/22 Formal Methods 2006: Call for Demos (Commercial and Research) and Posters Marsha Chechik
• 2006/03/22 Call for papers! PDPAR: Workshop on the pragmatics of decision procedures Byron Cook
• 2006/03/22 CFP2: Mathematically Structured Functional Programming Conor McBride
• 2006/03/20 CP 2006: Call for Workshop and Tutorial Proposals Christian Schulte
• 2006/03/19 Re: List Comprehensions? Torsten Anders
• 2006/03/19 Re: List Comprehensions? Luis Quesada
• 2006/03/19 Re: List Comprehensions? Torsten Anders
• 2006/03/18 Re: List Comprehensions? Luis Quesada
• 2006/03/18 Re: List Comprehensions? Grégoire Dooms
• 2006/03/18 Re: List Comprehensions? Mark Engelberg
• 2006/03/18 Re: List Comprehensions? Raphael Collet
• 2006/03/18 Re: List Comprehensions? Grégoire Dooms
• 2006/03/17 Re: List Comprehensions? Mark Engelberg
• 2006/03/17 Re: List Comprehensions? Luis Quesada
• 2006/03/17 Re: List Comprehensions? Maximilian Wilson
• 2006/03/17 List Comprehensions? Mark Engelberg
• 2006/03/17 Re: Use of variables in patterns David Hopwood
• 2006/03/16 CP 2006: Applications to Doctoral Programme Christian Schulte
• 2006/03/16 CFP: LCC'06 - Workshop on Logic and Computational Complexity event
• 2006/03/16 (CFP) Workshop on Logic-based Methods in Programming Environments Wim Vanhoof
• 2006/03/16 Re: Use of variables in patterns David Hopwood
• 2006/03/16 Outputting Lists with QTk Alan Oswald
• 2006/03/16 Re: Outputting Lists with QTk Maximilian Wilson
• 2006/03/16 Outputting Lists with QTk Alan Oswald
• 2006/03/16 Re: Use of variables in patterns Yves Jaradin
• 2006/03/16 Re: Use of variables in patterns Boriss Mejias
• 2006/03/16 Re: Use of variables in patterns Andreas Franke
• 2006/03/16 Re: Use of variables in patterns Raphael Collet
• 2006/03/15 Re: Use of variables in patterns Raphael Collet
• 2006/03/15 Re: Use of variables in patterns David Hopwood
• 2006/03/15 Re: Use of variables in patterns Torsten Anders
• 2006/03/15 Re: lazy tree creation Luis Quesada
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/15 Re: lazy tree creation Robert Van Dam
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Use of variables in patterns Boriss Mejias
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Re: Use of variables in patterns David Hopwood
• 2006/03/15 Re: Macros Torsten Anders
• 2006/03/15 Use of variables in patterns Kevin Glynn
• 2006/03/15 Re: Macros Raphael Collet
• 2006/03/14 Re: lazy tree creation Raphael Collet
• 2006/03/14 Macros (was: Use of variables in patterns) Torsten Anders
• 2006/03/14 FMCO 2006: call for tutorial papers M.M. Bonsangue
• 2006/03/14 EASSS 2006: Call For Participation event
• 2006/03/14 Re: lazy tree creation Luis Quesada
• 2006/03/14 Re: lazy tree creation Maximilian Wilson
• 2006/03/14 Re: Use of variables in patterns Boriss Mejias
• 2006/03/14 Re: lazy tree creation Luis Quesada
• 2006/03/14 Re: lazy tree creation Luis Quesada

• Earlier messages
• Later messages