mozart-users  

Messages by Date

• 2006/03/14 Re: lazy tree creation Luis Quesada
• 2006/03/14 lazy tree creation Robert Van Dam
• 2006/03/14 Re: Use of variables in patterns David Hopwood
• 2006/03/14 Re: Use of variables in patterns Kevin Glynn
• 2006/03/14 Re: Use of variables in patterns Raphael Collet
• 2006/03/14 Re: Use of variables in patterns Andreas Franke
• 2006/03/14 Re: Use of variables in patterns Torsten Anders
• 2006/03/14 Re: Use of variables in patterns Andreas Franke
• 2006/03/14 ACM PPDP'06 Deadline extension Michael Maher
• 2006/03/14 3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW Miki Hermann
• 2006/03/14 2nd CfP: Workshop PPSWR 2006 @ ESWC event
• 2006/03/14 DSD 2006 - FINAL Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
• 2006/03/14 Re: Infinite Choices Raphael Collet
• 2006/03/13 Re: Use of variables in patterns Kevin Glynn
• 2006/03/13 Re: Infinite Choices Chris Rathman
• 2006/03/13 Re: Use of variables in patterns David Hopwood
• 2006/03/13 Re: Use of variables in patterns Torsten Anders
• 2006/03/13 Re: Use of variables in patterns Maximilian Wilson
• 2006/03/13 Re: Use of variables in patterns Filip Konvička
• 2006/03/13 Re: Use of variables in patterns Raphael Collet
• 2006/03/13 Re: Use of variables in patterns Yves Jaradin
• 2006/03/13 Re: Use of variables in patterns Filip Konvička
• 2006/03/13 FM'06 Doctoral Symposium Augusto Sampaio
• 2006/03/13 Second CFP: Semantic Web Personalization Workshop @ ESWC 2006 event
• 2006/03/12 Re: Use of variables in patterns Raphael Collet
• 2006/03/12 Re: Use of variables in patterns Kevin Glynn
• 2006/03/11 Re: Infinite Choices Filip Konvicka
• 2006/03/11 Re: Infinite Choices Luis Quesada
• 2006/03/11 Re: Infinite Choices Filip Konvicka
• 2006/03/11 Re: Infinite Choices Luis Quesada
• 2006/03/10 Re: Infinite Choices Chris Rathman
• 2006/03/10 Re: Use of variables in patterns Filip Konvička
• 2006/03/10 Re: Use of variables in patterns Kevin Glynn
• 2006/03/10 CALL FOR PAPERS: CICLOPS 2006 event
• 2006/03/10 International Conference on Logic Programming: DOCTORAL CONSORTIUM event
• 2006/03/10 2nd CfP: Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006) event
• 2006/03/10 Call for Papers: Preferences and their Applications in Logic Programming Systems event
• 2006/03/10 CFP: ProMAS at AAMAS 06 event
• 2006/03/10 TFP2006: Call for Participation Henrik Nilsson
• 2006/03/10 Call for papers: SCAM 2006 icsm-info
• 2006/03/09 Re: Infinite Choices Luis Quesada
• 2006/03/09 Re: Infinite Choices Filip Konvicka
• 2006/03/09 Re: Infinite Choices Chris Rathman
• 2006/03/09 Re: Use of variables in patterns Anthony Borla
• 2006/03/09 Re: Use of variables in patterns Anthony Borla
• 2006/03/09 Re: Infinite Choices Raphael Collet
• 2006/03/09 Re: Infinite Choices Filip Konvička
• 2006/03/09 Re: Infinite Choices Chris Rathman
• 2006/03/09 Infinite Choices Chris Rathman
• 2006/03/09 Re: Use of variables in patterns Filip Konvička
• 2006/03/09 Use of variables in patterns Anthony Borla
• 2006/03/07 Re: What is actually copied when a space is cloned? Torsten Anders
• 2006/03/07 Call for Posters - ICLP 2006 - Deadline: March, 14 A Serebrenik
• 2006/03/07 Re: What is actually copied when a space is cloned? Stefano Gualandi
• 2006/03/07 Re: What is actually copied when a space is cloned? Torsten Anders
• 2006/03/07 Re: What is actually copied when a space is cloned? Raphael Collet
• 2006/03/07 Re: Choice and Power Sets Raphael Collet
• 2006/03/06 Re: Choice and Power Sets Maximilian Wilson
• 2006/03/06 Re: Choice and Power Sets Mark Engelberg
• 2006/03/06 RE: Choice and Power Sets Harmon Nine
• 2006/03/06 CFP: LFMTP 2006 event
• 2006/03/06 Re: Fwd: pancake sorting Grégoire Dooms
• 2006/03/06 If Mozart is free, then let's put it into the free sw list of UNESCO Kevin Glynn
• 2006/03/05 What is actually copied when a space is cloned? Torsten Anders
• 2006/03/05 Re: Choice and Power Sets Mark Engelberg
• 2006/03/05 LPAR 2006, 2nd Call For Papers Miki Hermann
• 2006/03/05 Call for Papers: LOPSTR06, Venice, Italy LOPSTR 2006
• 2006/03/05 DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
• 2006/03/05 CFP AIMSA 2006: AI, people and the web event
• 2006/03/05 BNAIC'06 : BeNeLux conference on Artificial Intelligence event
• 2006/03/05 Re: The Reasoned Oz Maximilian Wilson
• 2006/03/05 Re: Choice and Power Sets Peter Van Roy
• 2006/03/05 Re: Choice and Power Sets Mark Engelberg
• 2006/03/05 Choice and Power Sets Chris Rathman
• 2006/03/05 Re: The Reasoned Oz Maximilian Wilson
• 2006/03/05 Re: The Reasoned Oz Raphael Collet
• 2006/03/05 Re: The Reasoned Oz Raphael Collet
• 2006/03/05 Re: The Reasoned Oz Raphael Collet
• 2006/03/04 Re: The Reasoned Oz Chris Rathman
• 2006/03/04 Re: The Reasoned Oz Chris Rathman
• 2006/03/04 Re: The Reasoned Oz Chris Rathman
• 2006/03/04 Re: The Reasoned Oz Chris Rathman
• 2006/03/04 Re: The Reasoned Oz Jorge . Pelizzoni
• 2006/03/04 The Reasoned Oz Chris Rathman
• 2006/03/01 WRS06 2nd call for paper wrs06
• 2006/03/01 Re: CTM question - active objects vs. locks Maximilian Wilson
• 2006/03/01 Re: CTM question - active objects vs. locks Maximilian Wilson
• 2006/02/26 Space.merge and stability: a bug? Jorge . Pelizzoni
• 2006/02/26 CTM question - active objects vs. locks Mark Engelberg
• 2006/02/26 Fwd: pancake sorting Me
• 2006/02/26 pancake sorting Me
• 2006/02/25 Re: Calling ozc.exe Kevin Glynn
• 2006/02/25 Re: Calling ozc.exe Chris Rathman
• 2006/02/25 Re: Calling ozc.exe Jorge . Pelizzoni
• 2006/02/25 Calling ozc.exe Chris Rathman
• 2006/02/24 Re: question: execution parallel code on cmd line Lucia Cambise
• 2006/02/24 Re: question: execution parallel code on cmd line Yves Jaradin
• 2006/02/24 Re: question: execution parallel code on cmd line Lucia Cambise
• 2006/02/24 RE: question: execution parallel code on cmd line Christian Schulte
• 2006/02/23 CFP: Mathematically Structured Functional Programming Conor McBride
• 2006/02/23 Logic and Reasoning Workshop CFP geoff
• 2006/02/23 RE: question: execution parallel code on cmd line Christian Schulte
• 2006/02/23 Re: question: execution parallel code on cmd line Lucia Cambise
• 2006/02/23 Re: copy the program Nick Kostirya
• 2006/02/22 RE: question: execution parallel code on cmd line Christian Schulte
• 2006/02/22 question: execution parallel code on cmd line Lucia Cambise
• 2006/02/22 12th International Conference AIMSA 2006 - AI, people and the web - event
• 2006/02/22 Final CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
• 2006/02/22 CFP: CIA 2006 - 10th Intl Wshp on Cooperative Information Agents event
• 2006/02/21 CSR-2006: Call for Participation Edward A. Hirsch
• 2006/02/21 CfP - 2006 International Conference on Data Mining - DMIN'06 - deadline extended! Sven F. Crone
• 2006/02/21 Re: copy the program Yves Jaradin
• 2006/02/21 copy the program Kevin Glynn
• 2006/02/21 copy the program Nick Kostirya
• 2006/02/20 CFP: Resource-Scarce Language Engineering Carlos Areces
• 2006/02/20 CFP: First International Workshop on Agent Technology and Autonomic Computing (ATAC'2006) event
• 2006/02/20 CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006) event
• 2006/02/20 CFP: Workshop Concord Phenomena and the Syntax Semantics Interface Carlos Areces
• 2006/02/20 If Mozart is free, then let's put it into the free sw list of UNESCO Kevin Glynn
• 2006/02/20 Announcement: Summer School "Reasoning Web 2006" event
• 2006/02/20 3rd CFP Workshop on logics for resorce-bounded agents event
• 2006/02/20 DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
• 2006/02/20 2nd CFP - Doctoral Consortium INCOM06 event
• 2006/02/20 CFP: Semantic Web Personalization Workshop @ ESWC 2006 event
• 2006/02/20 ECAI-06 deadline extended !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! event
• 2006/02/17 SAT 2006 Final Call for Papers Armin Biere
• 2006/02/17 CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano
• 2006/02/17 CFP: Workshop on Generic Programming 2006 Ralf Hinze
• 2006/02/17 PPDP'06 -- Call for Papers Michael Maher
• 2006/02/16 If Mozart is free, then let's put it into the free sw list of UNESCO Peter Tury
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Kevin Glynn
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Raphael Collet
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Torsten Anders
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
• 2006/02/16 Re: Data structures in stdlib [Was: MEP for release 1.3.2] Raphael Collet
• 2006/02/15 Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
• 2006/02/14 ACL2 2006 Call for Papers Panagiotis Manolios
• 2006/02/14 LOPSTR'06 in Venice, Italy -- Call for Papers LOPSTR 2006
• 2006/02/14 [ICLP'06] Deadlines EXTENDED A Serebrenik
• 2006/02/14 FMICS'06 Call for Papers Martin Leucker
• 2006/02/14 CFP: FOCA - Formal Ontologies for Communicating Agents Carlos Areces
• 2006/02/13 some information on parallel search Lucia Cambise
• 2006/02/13 some information on parallel search Lucia Cambise
• 2006/02/13 some information on parallel search Lucia Cambise
• 2006/02/12 SAS'06 2nd Call For Papers Kwangkeun Yi
• 2006/02/11 ozh Torsten Anders
• 2006/02/11 Re: Oz on Rails ? Boriss Mejias
• 2006/02/10 CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS Carlos Areces
• 2006/02/10 ICFP 2006 --- Call for Papers John Reppy
• 2006/02/10 Oz on Rails ? jige
• 2006/02/09 [ICLP'06] Reminder: Deadline for Abstracts - February 14 A Serebrenik
• 2006/02/09 TFP2006: Last CFP Henrik Nilsson
• 2006/02/09 Re: streams & multiple readers Kevin Glynn
• 2006/02/09 CFP: Rationality and Knowledge Workshop event
• 2006/02/09 FMCAD 2006 Call for Papers -- http://fmcad.org/2006 Panagiotis Manolios
• 2006/02/09 ECAI-06 deadline approaching event
• 2006/02/09 IntraWebs 2006 - Last Call event
• 2006/02/09 streams & multiple readers Kevin Glynn
• 2006/02/09 Re: streams & multiple readers Aurélien Campéas
• 2006/02/09 RE: streams & multiple readers Aurélien Campéas
• 2006/02/09 Re: streams & multiple readers Aurélien Campéas
• 2006/02/09 RE: streams & multiple readers Harmon Nine
• 2006/02/09 Re: streams & multiple readers Andrés Becerra Sandoval
• 2006/02/09 streams & multiple readers Aurélien Campéas
• 2006/02/09 streams & multiple readers Aurélien Campéas
• 2006/02/08 CFP: Rationality and Knowledge Workshop Carlos Areces
• 2006/02/08 CFP: ASE 2006 Yoshinao Isobe
• 2006/02/08 [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14 A Serebrenik
• 2006/02/07 CP 2006: Call for Workshop and Tutorial Proposals Christian Schulte
• 2006/02/06 Deadline Extension: 17th February event
• 2006/02/06 Re: Help with Input/Output Peter Van Roy
• 2006/02/06 CFP: 3rd International Verification Workshop, VERIFY'06 event
• 2006/02/06 PSI 2006:EXTENDED Deadline: February 12, 2006 PSI06 Conference
• 2006/02/06 NMR Workshop: Deadline Extension to February 17th event
• 2006/02/06 Re: More Input/output Raphael Collet
• 2006/02/05 Re: Race condition in Search.ozf David Hopwood
• 2006/02/05 Extended deadline: ESSLLI Student Session 2006 Sophia Katrenko
• 2006/02/05 SIP Multimedia Internet Application In Mozart Herman Belvedere
• 2006/02/05 Re: Help with Input/Output David Hopwood
• 2006/02/04 Re: tell is private error Jonathan Kelly
• 2006/02/04 2nd CFP: CLIMA Contest event
• 2006/02/04 Re: tell is private error Kevin Glynn
• 2006/02/04 Re: tell is private error Jonathan Kelly
• 2006/02/03 tell is private error Kevin Glynn
• 2006/02/03 tell is private error Jonathan Kelly
• 2006/02/03 More Input/output Alan Oswald
• 2006/02/02 Research position in constraints and CHR event
• 2006/02/02 UITP'06: First call for papers event
• 2006/02/01 WRS06 1st call for paper wrs06
• 2006/02/01 WRS06 1st call for paper wrs06
• 2006/02/01 WRS06 1st call for paper wrs06
• 2006/02/01 LPAR 2006 call for papers Miki Hermann
• 2006/01/31 CFP: Formal and Computational Cryptography (FCC 2006) event
• 2006/01/31 Re: Oz tutorial/training at ICLP 2006? Seif Haridi
• 2006/01/31 2nd CFP: Formal Ontologies for Communicating Agents, ESSLLI 2006 FOCA at ESSLLI
• 2006/01/30 Oz tutorial/training at ICLP 2006? tony . bigbee
• 2006/01/30 TFP2006: Third Call for Papers Henrik Nilsson
• 2006/01/29 CFP: Multidisciplinary ECAI06 WS on Preferences event

• Earlier messages
• Later messages