mozart-users

Messages by Date

2008/03/31 Re: GC Bug on weak dictionaries? Raphael Collet
2008/03/31 PAuL 2008 2nd Call for Papers PAuL 2008
2008/03/31 Oz and preferences-based argumentation (logic) Victor NOEL
2008/03/31 PPDP'08: Last Call for Papers Elvira Albert
2008/03/30 [CFP]Fourth International Workshop on Contexts and Ontologies Guilin Qi
2008/03/30 Re: ozfind: new version of "Code Navigation in Emacs" Torsten Anders
2008/03/29 EASSS'08 - European Agent Systems Summer School - Early Registration Deadline Approaching! EASSS'08
2008/03/28 Extended Deadline 10 April; ICNC'08-FSKD'08: Jinan, China lian ayu
2008/03/28 FCS-ARSPA-WITS'08: deadline extension ailab
2008/03/28 Re: ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
2008/03/28 FDL08 > Call for Papers - Deadline Extension: April 7th, 2008 training
2008/03/28 PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler Marco Roveri
2008/03/28 Post-Doc Positions in the Embedded System Unit of Fondazione Bruno Kessler Marco Roveri
2008/03/28 Final Call For Papers: KR 2008 Tommie Meyer
2008/03/27 Re: ozfind: new version of "Code Navigation in Emacs" Torsten Anders
2008/03/27 Re: ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
2008/03/27 Re: ozfind: new version of "Code Navigation in Emacs" Torsten Anders
2008/03/27 GC Bug on weak dictionaries? Christophe Taton
2008/03/27 NN5 Special Session at WCCI 2008 NN5 Forecasting Competition
2008/03/27 Last Call for Papers: Advances in Modal Logic Carlos Areces
2008/03/27 Re: parsing of command line arguments Raphael Collet
2008/03/26 Re: parsing of command line arguments orbitz
2008/03/26 DMS 2008 Conference (Call For Paper) dms
2008/03/25 ICTAC Second Call for Papers Jeremy Bryans
2008/03/25 CFP: Special issue of Journal of Scheduling Hana Rudova
2008/03/25 Extended Submission Deadline: CIA 2008 - Intelligent Information Agents Matthias Klusch
2008/03/25 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis
2008/03/25 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis
2008/03/25 CP 2008: Final Call for Papers Sebastian Brand
2008/03/24 WLP 2008 - Call for Papers Sibylle Schwarz
2008/03/22 European Master in Computational Logic - scholarships for European students Enrico Franconi
2008/03/21 parsing of command line arguments Oliver Mooney
2008/03/21 E. W. Beth Dissertation Prize: 2008 call for submissions Carlos Areces
2008/03/21 FMCAD 2008 Call For Papers Lee Pike
2008/03/20 Re: CTM book covers (for fun) Benjamin L. Russell
2008/03/19 Re: CTM book covers (for fun) Yusei TAHARA
2008/03/18 Behavior of Parallel Search Engine George Rudolph
2008/03/18 EASSS'08 - European Agent Systems Summer School - Registration is Open EASSS'08
2008/03/18 WACC 2008 - Call for Papers and Participation WACC 2008
2008/03/18 Re: CTM book covers (for fun) Raphael Collet
2008/03/18 Re: CTM book covers (for fun) Raphael Collet
2008/03/18 CTM book covers (for fun) Peter Van Roy
2008/03/18 FCS-ARSPA-WITS'08: Second Call for Papers ailab
2008/03/17 ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
2008/03/17 Deadline Approaching - IEEE IRI-2008 Chengcui Zhang
2008/03/17 Re: hello world application Boriss Mejias
2008/03/17 Re: hello world application Graham Percival
2008/03/17 Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) Santiago Escobar
2008/03/14 Re: hello world application Robert Van Dam
2008/03/14 Re: Exceptions and Concurrency Torsten Anders
2008/03/14 Re: Exceptions and Concurrency Raphael Collet
2008/03/14 Re: Exceptions and Concurrency Jorge Marques Pelizzoni
2008/03/14 Re: Exceptions and Concurrency Torsten Anders
2008/03/14 CHINA 2008 Workshop 3rd CfP Jetty Kleijn
2008/03/14 CSR 2008 in Moscow: Call for Participation CSR-2008
2008/03/14 Re: Exceptions and Concurrency Raphael Collet
2008/03/14 Re: Exceptions and Concurrency Jorge Marques Pelizzoni
2008/03/14 Exceptions and Concurrency Torsten Anders
2008/03/14 (no subject) Torsten Anders
2008/03/13 hello world application Graham Percival
2008/03/13 Re: Code navigation in Emacs Torsten Anders
2008/03/13 Re: Code navigation in Emacs Wolfgang Meyer
2008/03/13 Re: Code navigation in Emacs Torsten Anders
2008/03/13 PLID'08: 1st Call for Contributions Samir Genaim
2008/03/12 BPPC'08: 2nd Call for Papers Mats Carlsson
2008/03/12 Re: Bug: Inspector cannot display determined FS variables Robert Van Dam
2008/03/12 Lambda the Ultimate discussions on CTM Peter Van Roy
2008/03/12 Re: Bug: Inspector cannot display determined FS variables Torsten Anders
2008/03/12 Re: Bug: Inspector cannot display determined FS variables Torsten Anders
2008/03/11 Re: Bug: Inspector cannot display determined FS variables Wolfgang Meyer
2008/03/11 Re: Bug: Inspector cannot display determined FS variables Robert Van Dam
2008/03/11 Re: How to measure memory consumption? Torsten Anders
2008/03/11 Bug: Inspector cannot display determined FS variables Torsten Anders
2008/03/11 Re: How to measure memory consumption? Wolfgang Meyer
2008/03/11 Deadline Approaching: [CFP] IEEE IRI-2008 IEEE-IRI-Publicity
2008/03/11 Re: How to measure memory consumption? Robert Van Dam
2008/03/11 [CFP] Advances in Modal Logic 2008 Carlos Areces
2008/03/11 KROW@KR2008: Call for Papers Tommie Meyer
2008/03/11 CfP: 8th IEEE Intl. Working Conference on Source Code Analysis and Manipulation icsm-info
2008/03/11 How to measure memory consumption? Torsten Anders
2008/03/11 CP 2008: 2nd Call for Workshops Sebastian Brand
2008/03/11 CP 2008: 2nd Call for Tutorials Sebastian Brand
2008/03/11 CP 2008: 2nd Call for Tutorials Sebastian Brand
2008/03/10 2nd CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems ss DTVCS
2008/03/10 deadline extension for ESSLLI workshops to March 27 Hans van Ditmarsch
2008/03/10 PPDP 2008 - 2nd Call for Papers Elvira Albert
2008/03/10 CP 2008: Submission is open Sebastian Brand
2008/03/09 ICNC'08-FSKD'08: Jinan, China; Papers due 25 March Mei Guo
2008/03/09 [DSD08] DSD08 - Paper Submission Deadline extended to March 17th, 2008 Luca Fanucci
2008/03/08 FDL 2008 > Call for Papers - Deadline March 31, 2008 training
2008/03/06 LaSh08 Call for Papers Marc Denecker
2008/03/06 Updated Call for Papers: KR 2008 Tommie Meyer
2008/03/06 Summer School Announcement Bertram FronhÃ¶fer
2008/03/06 2nd CFP: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems SS DATICS
2008/03/05 Re: Complete Oz BNF description? Peter Van Roy
2008/03/05 Complete Oz BNF description? George Rudolph
2008/03/05 DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008 training
2008/03/04 NN5 Forecasting Competition for Computational Intelligence Deadline Extension
2008/03/04 Re: Code navigation in Emacs Torsten Anders
2008/03/04 Re: Using libffi to call out to C Torsten Anders
2008/03/03 [ICSEng'08] ICSEng 2008, Submission deadline extended to March 16, 2008 ICSEng 2008
2008/03/03 [EUROSIS-AD] MESM 2008, August 26-28, 2008, Philadelphia University, Amman, Jordan 1st CFP info
2008/03/03 ICLP'08 CALL FOR PAPERS ICLP 08
2008/03/03 ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany - Registration deadline tomorrow training
2008/03/02 CFP: 24th IEEE ICSM - International Conference on Software Maintenance icsm-info
2008/03/02 [DSD08] Paper Submission Deadline extended to March 17th, 2008 Luca Fanucci
2008/03/01 Re: Code navigation in Emacs Wolfgang Meyer
2008/03/01 Re: Code navigation in Emacs Wolfgang Meyer
2008/02/29 Re: Using libffi to call out to C Chris Double
2008/02/29 Re: Code navigation in Emacs Torsten Anders
2008/02/29 Re: Using libffi to call out to C Torsten Anders
2008/02/29 Re: Using libffi to call out to C Chris Double
2008/02/29 Re: Using libffi to call out to C Yves Jaradin
2008/02/29 Re: Using libffi to call out to C Yves Jaradin
2008/02/29 International Conference on Data Mining (DMIN'08), Las Vegas Deadline Extension
2008/02/28 Re: Using libffi to call out to C Wolfgang Meyer
2008/02/27 KR08 Doctoral Consortium Second Call for Application Carsten Lutz
2008/02/27 Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis
2008/02/27 Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis
2008/02/27 Using libffi to call out to C Chris Double
2008/02/26 Code navigation in Emacs Wolfgang Meyer
2008/02/25 CHINA 2008 Workshop 2nd CfP Jetty Kleijn
2008/02/25 Forecasting with Neural Networks Special Conference Session
2008/02/25 ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany training
2008/02/25 [DSD08] Paper Submission Deadline Approaching, March 3rd, 2008 Luca Fanucci
2008/02/25 Call for Papers: The 2008 IEEE International Conference on Information Reuse and Integration IEEE-IRI-Publicity
2008/02/24 CfP: TTSS'08 - Harnessing Theories for Tool Support in Software Volker Stolz
2008/02/24 Re: oz / emacs problems mark richardson
2008/02/24 Re: oz / emacs problems mark richardson
2008/02/24 Re: oz / emacs problems Chris Double
2008/02/24 oz / emacs problems mark richardson
2008/02/24 REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008 Potapov, Igor
2008/02/24 ECOOP 2008 Call for Student Volunteers Tobias Wrigstad
2008/02/24 Chaotic Modeling and Simulation International Conference (CHAOS2008) , Abstract submission Christos H. Skiadas
2008/02/22 Data Mining for Time Series Data DMIN08 Special Session
2008/02/22 Forecasting with Neural Networks ISF08 Special Session
2008/02/22 Re: Mozart 1.3.2 on FreeBSD 7.0RC2 Boriss Mejias
2008/02/22 MOC-2008 - Call for Papers Armin Wolf
2008/02/22 CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security) ailab
2008/02/22 Mozart 1.3.2 on FreeBSD 7.0RC2 Damien Saucez
2008/02/21 Second Call for Papers: PLAS 2008 PLAS2008
2008/02/21 PAuL 2008 Call for Papers PAuL 2008
2008/02/20 NN5 Time Series Forecasting Competition Forecasting Research Centre
2008/02/20 QAOOSE 2008 Call for Papers Workshop on Generative Technologies
2008/02/18 CFP: CIA 2008 Cooperative Information Agents Matthias Klusch
2008/02/18 Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) Santiago Escobar
2008/02/18 Re: official Mozart/Oz wiki? Boriss Mejias
2008/02/18 Re: official Mozart/Oz wiki? Torsten Anders
2008/02/18 Re: Collozeum project Torsten Anders
2008/02/18 Re: official Mozart/Oz wiki? Torsten Anders
2008/02/18 Re: Collozeum project Boriss Mejias
2008/02/18 Re: Collozeum project Boriss Mejias
2008/02/18 Re: official Mozart/Oz wiki? Boriss Mejias
2008/02/18 PhD Studentships at Kent A.M.King
2008/02/17 RE: generating standalone applications George Rudolph
2008/02/16 CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems ss DTVCS
2008/02/16 Re: generating standalone applications Ed Keith
2008/02/15 Re: generating standalone applications Gustavo Gutierrez
2008/02/15 Re: generating standalone applications Pavel
2008/02/15 Re: generating standalone applications Gustavo Gutierrez
2008/02/15 Re: official Mozart/Oz wiki? Torsten Anders
2008/02/15 Re: official Mozart/Oz wiki? Benjamin L. Russell
2008/02/15 Re: official Mozart/Oz wiki? Torsten Anders
2008/02/15 Re: generating standalone applications Benjamin L. Russell
2008/02/15 official Mozart/Oz wiki? Benjamin L. Russell
2008/02/15 WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th ruy
2008/02/15 [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21, 2008: Call For Papers ICSEng 2008
2008/02/14 {Spam?} ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany training
2008/02/13 CP 2008 - Call for Application Papers Sebastian Brand
2008/02/13 Re: Collozeum project Torsten Anders
2008/02/13 Re: Collozeum project Torsten Anders
2008/02/13 Re: dynamic linkage with other environment ? Torsten Anders
2008/02/13 Fwd: dynamic linkage with other environment ? Jean Holleville
2008/02/13 IWACO 2008 Call for Papers David . Clarke
2008/02/12 [DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - CALL FOR PAPERS Luca Fanucci
2008/02/12 An Important Reminder - SEKE 2008 Int'l Conference Call For Paper sekeconf
2008/02/12 Call for Participation RELMICS10/AKA5 Bernhard Möller
2008/02/12 Draft paper submission deadline is just few days from now: MULTICONF-08 John E. Edward
2008/02/11 Re: Collozeum project Boriss Mejias
2008/02/11 RE: Collozeum project Torsten Anders
2008/02/11 Re: Collozeum project Yves Jaradin
2008/02/11 Re: Collozeum project Pavel
2008/02/11 Re: Collozeum project Raphael Collet
2008/02/11 Re: Collozeum project Torsten Anders
2008/02/10 [EUROSIS-AD] ISC'2008, June 9-11, 2008, Universite de Lyon, France, SUBMISSION DEADLINE COMING UP info
2008/02/10 Re: Collozeum project Pavel
2008/02/10 Collozeum project Boriss Mejias
2008/02/10 Re: Problem compiling from checked-out svn sources Boriss Mejias
2008/02/10 Re: Mozart on Vista Boriss Mejias
2008/02/09 PPDP'08: Call for Papers Elvira Albert
2008/02/08 DATE 2008 Friday Workshop on Impact of Process Variability on Design and Test - Call for Submissions training
2008/02/07 AITA08 CALL FOR PARTICIPATION aita08
2008/02/07 EURASIP Journal on Embedded Systems - Call for Papers training
2008/02/06 Updated Call for Papers: KR 2008 Tommie Meyer
2008/02/06 Re: Mozart on Vista Alex Gian
2008/02/06 Re: Mozart on Vista Wolfgang Meyer
2008/02/05 CFP: 5th Workshop on Model Checking and AI Doron Peled
2008/02/05 Draft paper deadline extended: MULTICONF-08 John E. Edward
2008/02/04 CP 2008 - Call for Workshops Sebastian Brand
2008/02/04 CP 2008 - Call for Tutorials Sebastian Brand