mozart-users  

Messages by Date

• 2009/04/22 Re: Next Mozart Release? Benjamin L. Russell
• 2009/04/22 Re: Mozart Gump problems? Nanitous
• 2009/04/22 Re: Next Mozart Release? Raoul Duke
• 2009/04/22 Re: Next Mozart Release? Wolfgang Meyer
• 2009/04/22 Re: Next Mozart Release? Torsten Anders
• 2009/04/22 Re: Next Mozart Release? David Bremner
• 2009/04/22 Re: Next Mozart Release? Benjamin L. Russell
• 2009/04/21 critical startup bug: "Process Oz Emulator exited abnormally with code 5" Benjamin L. Russell
• 2009/04/18 Re: how to get a string of any size by socket? Torsten Anders
• 2009/04/18 how to get a string of any size by socket? Jose Enrique Benitez Jimenez
• 2009/04/18 Extended draft paper submission: MULTICONF-09 call for papers dawnwatson13
• 2009/04/18 5th Reasoning Web Summer School 2009 - call for participation Enrico Franconi
• 2009/04/18 PPDP'09 - 2nd CfP António Porto
• 2009/04/18 PPDP'09 - 2nd CfP António Porto
• 2009/04/18 {Spam?} [FMICS 2009] Deadline Extension to 20 April fmics2009
• 2009/04/17 Re: footprint? Raoul Duke
• 2009/04/17 Re: footprint? Wolfgang Meyer
• 2009/04/15 footprint? Raoul Duke
• 2009/04/14 Re: simple function failure (newby) Roger Mason
• 2009/04/14 RE: simple function failure (newby) Maity, Ashis K
• 2009/04/14 Re: simple function failure (newby) Torsten Anders
• 2009/04/14 Re: simple function failure (newby) Justin Henzie
• 2009/04/14 simple function failure (newby) Roger Mason
• 2009/04/14 Mozart on FreeBSD installation Andrei Crivoi
• 2009/04/14 Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009) Fernando Silva
• 2009/04/14 Re: Rolling dice Torsten Anders
• 2009/04/14 Re: Rolling dice Raphael Collet
• 2009/04/13 Rolling dice Chris Rathman
• 2009/04/12 Re: help with Ozserver Torsten Anders
• 2009/04/12 help with Ozserver Jose Enrique Benitez Jimenez
• 2009/04/11 WSE 2009 Call for Paper icsm-info
• 2009/04/11 LOPSTR2009 Call for papers International Symposium on Logic-based Program Synthesis and Transformation
• 2009/04/11 ACM-SIGPLAN PPDP 2009 - 1st CFP Ana Paula Tomas
• 2009/04/09 IWACO 2009 Deadline extended Matthew Parkinson
• 2009/04/09 Final CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning avantssar
• 2009/04/09 CP'09 new CFP (deadline: 30 April, noon BST) CP'2009
• 2009/04/09 ICFEM 2009: First Call for Papers Ana . Cavalcanti
• 2009/04/07 Re: Is there a professional pdf version of the CTMC on sale? Peter Van Roy
• 2009/04/07 2nd Call for Papers - LAM'09 LAM'09
• 2009/04/07 IICAI-09 Final Call for papers James Eugene
• 2009/04/07 Final CfP: ICTAC'09 - Last Chance Martin Leucker
• 2009/04/07 CISP'09-BMEI'09: Submission Deadline 20 April CISP'09-BMEI'09
• 2009/04/06 Mozart/Oz 1.4.0 now available in Debian unstable Kevin Glynn
• 2009/04/05 ICITST-2009: Call for Papers and Workshop Proposals. g . akmayeva
• 2009/04/05 ICITST-2009: Call for Papers and Workshop Proposals. info
• 2009/04/05 ICITST-2009: Call for Papers and Workshop Proposals. info
• 2009/04/04 ICITST-2009: SECOND CALL FOR PAPERS AND WORKSHOP PROPOSALS. info
• 2009/04/04 Re: Mozart comparisons Wolfgang Meyer
• 2009/04/04 Is there a professional pdf version of the CTMC on sale? Trond Olsen
• 2009/04/03 IWACO 2009 Final call for papers Matthew Parkinson
• 2009/04/03 Mozart comparisons Anastasia Domanou
• 2009/04/03 Second CFP: QA 2009 (pre-CAV workshop) Sumit Gulwani
• 2009/04/03 ICLP'09 Doctoral Consortium iclp09 . dc
• 2009/04/03 [FMICS 2009] Deadline Extension to 10 April FMICS 2009 workshop chair
• 2009/04/03 CFP (extended deadline): 25th IEEE International Conference on Software Maintenance icsm-info
• 2009/04/03 TIME'09 - Final call for papers Jean-Francois Raskin
• 2009/04/03 Re: Next Mozart Release? Peter Van Roy
• 2009/04/02 Re: web service in Mozart Justin Henzie
• 2009/04/02 web service in Mozart Jose Enrique Benitez Jimenez
• 2009/04/02 Next Mozart Release? markus . boehm
• 2009/04/01 Re: Convoluting lists (CTM exercise 3.16) Peter Van Roy
• 2009/03/31 Selection constraints on Windows Torsten Anders
• 2009/03/31 DASIP2009 > Extended submission deadline April 14, 2009 info
• 2009/03/31 (EC)^2: Submission Deadline Extended to April 6 Stephen Siegel
• 2009/03/31 Re: Convoluting lists (CTM exercise 3.16) Oliver Mooney
• 2009/03/31 ESSLLI 2009 - Second Call for Participation Richard Moot
• 2009/03/31 FDL2009 > Submission deadline extension - April 7, 2009 training
• 2009/03/31 FroCoS'09 Call for Papers Roberto Sebastiani
• 2009/03/31 [FMICS 2009] Fourth Call for Papers FMICS 2009 workshop chair
• 2009/03/31 ECOOP 2009 Call for Participation Dave Clarke
• 2009/03/30 RE: Global variable (Dictionary) Maity, Ashis K
• 2009/03/27 Re: Objects and parallel search Torsten Anders
• 2009/03/27 SPIN 2009: Last Call For Papers Corina Pasareanu
• 2009/03/27 CFP: LJ of the IGPL Special Issue on Hybrid Logics Carlos Areces
• 2009/03/27 [Deadline approaching] IEEE IRI 2009 IEEE-IRI-Publicity
• 2009/03/27 5th Reasoning Web Summer School 2009 - call for participation Enrico Franconi
• 2009/03/27 Test IV Armin Biere
• 2009/03/27 PPDP'09 - 1st CfP António Porto
• 2009/03/27 DMIN09 Last Deadline extension Data Mining CfP
• 2009/03/27 CfP: TTSS'09 - Harnessing Theories for Tool Support in Software Volker Stolz
• 2009/03/27 FCS'09: call for papers avantssar
• 2009/03/27 Tests and Proofs 2009 - Final CfP reminder Tests and Proofs 2009
• 2009/03/27 SADFE CFP - Submission Deadline Approaching Rob Erbacher
• 2009/03/27 CFP COLA'09: Computational Logic with Applications Fernando Silva
• 2009/03/27 WLPE'09: 19th Workshop on Logic-based methods in Programming Environments WLPE 2009 WLPE 2009
• 2009/03/27 RR 2009 Call for Papers Terrance Swift
• 2009/03/26 Re: Objects and parallel search Raphael Collet
• 2009/03/26 Re: Objects and parallel search Torsten Anders
• 2009/03/26 Re: Objects and parallel search Raphael Collet
• 2009/03/25 Re: Convoluting lists (CTM exercise 3.16) Peter Van Roy
• 2009/03/25 Re: Convoluting lists (CTM exercise 3.16) Oliver Mooney
• 2009/03/25 Re: Objects and parallel search Torsten Anders
• 2009/03/25 Re: Objects and parallel search Torsten Anders
• 2009/03/25 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/25 Re: Objects and parallel search Raphael Collet
• 2009/03/25 Re: Objects and parallel search Torsten Anders
• 2009/03/25 Re: Global variable (Dictionary) Raphael Collet
• 2009/03/25 Re: Global variable (Dictionary) Wacek Kusnierczyk
• 2009/03/25 Re: Global variable (Dictionary) Wacek Kusnierczyk
• 2009/03/24 Re: Global variable (Dictionary) Wolfgang Meyer
• 2009/03/24 Re: Global variable (Dictionary) Boriss Mejias
• 2009/03/24 Re: Global variable (Dictionary) Boriss Mejias
• 2009/03/24 Re: Global variable (Dictionary) Raphael Collet
• 2009/03/24 Re: Global variable (Dictionary) Wolfgang Meyer
• 2009/03/24 Re: Global variable (Dictionary) Peter Van Roy
• 2009/03/24 Re: Convoluting lists (CTM exercise 3.16) Peter Van Roy
• 2009/03/24 Re: Convoluting lists (CTM exercise 3.16) Oliver Mooney
• 2009/03/24 Re: Convoluting lists (CTM exercise 3.16) Peter Van Roy
• 2009/03/23 Re: Global variable (Dictionary) Boriss Mejias
• 2009/03/23 Re: Mozart 1.4.0: pickle compatibility Boriss Mejias
• 2009/03/23 Convoluting lists (CTM exercise 3.16) Oliver Mooney
• 2009/03/23 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/23 Re: Objects and parallel search Raphael Collet
• 2009/03/23 Re: Objects and parallel search Torsten Anders
• 2009/03/23 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/20 Re: Mozart Gump problems? Nanitous
• 2009/03/17 LOPSTR2009 first Call for Papers International Symposium on Logic-based Program Synthesis and Transformation
• 2009/03/17 ECOOP 2009 Call for Student Volunteers Dave Clarke
• 2009/03/17 DASIP2009 > 2nd Call for Contributions - Submission deadline March 31, 2009 info
• 2009/03/17 {Spam?} FDL2009 > Call for Contributions - Submission deadline March 31, 2009 training
• 2009/03/17 PPDP'09 - 1st CfP António Porto
• 2009/03/17 Call for Papers: LPNMR'09 LPNMR09 Account
• 2009/03/14 Second Call for Papers and Workshop Proposals: ICITST. The 4th International Conference for Internet Technology and Secured Transactions, Technical Co-Sponsored by IEEE UK/RI Section info
• 2009/03/14 APNOC 2009: deadline extension Serebrenik, A.
• 2009/03/13 Re: Mozart Gump problems? Torsten Anders
• 2009/03/13 LASER Summer School on Software Engineering Martin Nordio
• 2009/03/13 CFP: QA 2009 (pre-CAV workshop) Sumit Gulwani
• 2009/03/13 SPIN 2009: Extended Deadline March 24, 2009 Corina Pasareanu
• 2009/03/13 IEEE IRI 2009: Deadline Extended to March 29 IEEE-IRI-Publicity
• 2009/03/13 DMIN'09 - Deadline Extension Data Mining CfP
• 2009/03/13 [PNSE'09] Call for Papers: Petri Nets and Software Engineering PNSE09
• 2009/03/13 [FMICS 2009] Third Call for Papers FMICS 2009 workshop chair
• 2009/03/13 Extension of Deadline: 3rd CfP LSIR-2, "Logic and the Simulation of Interaction and Reasoning" LSIR-2 at IJCAI 2009
• 2009/03/12 Re: Global variable (Dictionary) Raphael Collet
• 2009/03/12 RE: Global variable (Dictionary) Maity, Ashis K
• 2009/03/12 Re: Objects and parallel search Raphael Collet
• 2009/03/12 Re: Objects and parallel search Torsten Anders
• 2009/03/12 Re: Objects and parallel search Raphael Collet
• 2009/03/11 Objects and parallel search Torsten Anders
• 2009/03/11 Re: Global variable (Dictionary) Torsten Anders
• 2009/03/11 RE: Global variable (Dictionary) Maity, Ashis K
• 2009/03/11 Re: Global variable (Dictionary) Filip Konvička
• 2009/03/11 RE: Global variable (Dictionary) Maity, Ashis K
• 2009/03/09 Mozart Gump problems? Nanitous
• 2009/03/09 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/08 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/07 21st ESSLLI Bordeaux July 20-31 retore
• 2009/03/07 Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning avantssar
• 2009/03/07 Draft paper submission is extended (will not be extended further): MULTICONF-09 Edward Mellon
• 2009/03/07 [Coq-Club] Tests and Proofs 2009 - Call for Papers - submission deadline march 20th 2009 Catherine Dubois
• 2009/03/06 DASIP2009 > Call for Contributions - Submission deadline March 31, 2009 training
• 2009/03/06 ASP-competition Call for Participation Stephen Bond
• 2009/03/05 Re: 1.4.0 distribution bug? Torsten Anders
• 2009/03/05 1.4.0 distribution bug? mark richardson
• 2009/03/05 1.4.0 distribution bug? mark richardson
• 2009/03/05 1.4.0 distribution bug? mark richardson
• 2009/03/03 ICLP'09 Doctoral Consortium iclp09 . dc
• 2009/03/03 [Sumission due on Mar. 1] CFP: IEEE International Conference on Information Reuse and Integration (IEEE IRI-2009) Chengcui Zhang
• 2009/03/03 [dsd2009-l] 3rd and last Call for papers Digital System Design 2009 antonio . nunez
• 2009/03/03 HyLo09: Deadline Extended till 15th March, 2009 Carlos Areces
• 2009/03/03 STOP 2009 Call for Papers Tobias Wrigstad
• 2009/03/03 FDL2009 > Call for Contributions - Submission deadline March 31, 2009 training
• 2009/03/03 SADFE 2009 CFP: Extended Deadline Rob Erbacher
• 2009/03/03 Postdoc position on Description Logics and Rules in Bozen-Bolzano (Italy) Enrico Franconi
• 2009/03/03 2nd CfP: ICTAC'09 Martin Leucker
• 2009/03/03 Last Call for Papers HyLo09 Carlos Areces
• 2009/03/03 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/03 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/03 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/03 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/03 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/02 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/03/02 Distributed search mark richardson
• 2009/03/02 Knights tour as a functor mark richardson
• 2009/03/02 Re: Mozart 1.4.0: pickle compatibility Raphael Collet
• 2009/03/02 Re: Mozart 1.4.0: pickle compatibility Yves Jaradin
• 2009/03/01 Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• 2009/02/27 RE: Global variable (Dictionary) Maity, Ashis K
• 2009/02/27 Re: Difference lists (Raphael Collet) Oliver Mooney
• 2009/02/27 Re: Global variable (Dictionary) Torsten Anders
• 2009/02/27 Re: Global variable (Dictionary) Raphael Collet
• 2009/02/27 Global variable (Dictionary) Maity, Ashis K
• 2009/02/27 Re: Difference lists Raphael Collet
• 2009/02/27 Re: Difference lists Boriss Mejias
• 2009/02/27 Re: Difference lists Raphael Collet
• 2009/02/27 Re: Difference lists Oliver Mooney
• 2009/02/27 Difference lists Oliver Mooney
• 2009/02/25 Re: FD description proof read mark richardson
• 2009/02/25 Re: FD description proof read Torsten Anders
• 2009/02/25 FD description proof read mark richardson
• 2009/02/24 RE: Failed Space Maity, Ashis K
• 2009/02/24 Re: Browser problem/Failed Space Wolfgang Meyer
• 2009/02/23 Re: Browser problem/Failed Space Boriss Mejias
• 2009/02/23 RE: Browser problem/Failed Space Maity, Ashis K
• 2009/02/23 RE: Browser problem Maity, Ashis K
• 2009/02/23 Re: Browser problem Wolfgang Meyer
• 2009/02/23 RE: Browser problem Maity, Ashis K
• 2009/02/23 RE: Browser problem Maity, Ashis K
• 2009/02/23 IWACO 2009 Call for papers Matthew Parkinson
• 2009/02/23 Re: Browser problem Boriss Mejias

• Earlier messages
• Later messages