2008 Archives by thread
Starting: Tue Jan 1 16:41:12 CEST 2008
Ending: Fri Oct 10 16:01:08 CEST 2008
Messages: 785
- Random element selection during FD distribution?
Daniel Burnett
- ICLP'08 CALL FOR PAPERS
ICLP 08
- Patch for Mozart on "Windows Vista"
Boriss Mejias
- CiE08 - Extended Deadline
Arnold Beckmann
- ECSI Workshop > TLM 2.0 New Standard Draft > January 29,
2008 - Paris, France
training at ecsi.org
- Call for Papers TASE2008
tase08
- DL2008 Second Call for Papers
Carsten Lutz
- WCB08 Call for papers
Agostino Dovier
- CP'08: Call for Papers
Sebastian BRAND
- Postdoc Opening, Nancy (France)
Claire Gardent
- Slight cleanup of documentation?
RGC
- MULTICONF-08 Final call for papers
John E. Edward
- Final Call for Papers TASE2008
tase08
- GLOBAN 2008 Summer School Announcement
GLOBAN 2008 Summer School
- QAPL 2008 Call for Presentations
QAPL 2008
- 3rd SIPTA School on Imprecise Probabilities: 1st announcement
Alessandro Antonucci
- AiML-2008: Second Call for Papers
Carlos Areces
- Binary for Solaris i386
Donald Halomoan
- ECSI Workshop > TLM 2.0 New Standard Draft > January 29,
2008 - Paris, France
training at ecsi.org
- Call for Papers: The 2008 International Conference on Data Mining
(DMIN'08), USA, July 2008
Data Mining
- DATE 2008 Workshop: The New Wave of the High-Level Synthesis (Call
for participation & submission)
training at ecsi.org
- ICALP 2008: Last Call for Papers
Icalp08
- WoLLIC 2008 - Call for Papers
ruy at cin.ufpe.br
- ISMM 2008: Call for papers deadline extended
R.E.Jones
- ISMM 2008: Call for papers deadline extended (CORRECTED)
R.E.Jones
- generating standalone applications
Oliver Mooney
- mozart-users Digest, Vol 15, Issue 19
Oliver Mooney
- mozart-users Digest, Vol 15, Issue 20
Oliver Mooney
- Researcher position at UCL in MANCOOSI project
Peter Van Roy
- mozart-users Digest, Vol 15, Issue 21
Oliver Mooney
- Problem with Browse on Linux (Redhat x86_64)
Gary T. Leavens
- MULTICONF-08 Final call for papers
John E. Edward
- CFP: DATICS 2008 - Design,
Analysis and Tools for Integrated Circuits and Systems
SS DATICS
- ICTAC call for papers
Jeremy Bryans
- Patch for Mozart on "Windows Vista"
Boriss Mejias
- mozart-gtk - Farewell?
Kevin Glynn
- Updated slides for French programming course using Mozart
Peter Van Roy
- Development environment for Oz
Pierre Radermecker
- Knights' Tours, Walks etc. in Oz-Mozart
Alex Gian
- AIPR-08 Final Call for papers
John E. Edward
- Mailing list search
Boriss Mejias
- [plt-scheme] POPL 2009 Call for Workshop and Co-located Event
Proposals
Yitzhak Mandelbaum
- PhD position available at the CLIP group, UPM, Spain
scube-phd-grants at clip.dia.fi.upm.es
- Parallel Distributed Constraint Programming with Oz
George Rudolph
- Problem compiling from checked-out svn sources
RGC
- International Conference on Data Mining (DMIN'08), Las Vegas
Sven F. Crone
- Problem compiling from checked-out svn sources
RGC
- CFP CRiSIS 2008
mohamed hadj kacem
- IJCAR, last Call for Papers
geoff at cs.miami.edu
- BPPC'08: Call for Papers
Mats Carlsson
- Call for papers ICTAC 2008
tase08
- ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany
training at ecsi.org
- Mozart on Vista
Boriss Mejias
- CP 2008 - Call for Workshops
Sebastian Brand
- CP 2008 - Call for Tutorials
Sebastian Brand
- Draft paper deadline extended: MULTICONF-08
John E. Edward
- CFP: 5th Workshop on Model Checking and AI
Doron Peled
- Updated Call for Papers: KR 2008
Tommie Meyer
- EURASIP Journal on Embedded Systems - Call for Papers
training at ecsi.org
- AITA08 CALL FOR PARTICIPATION
aita08 at krlab.cs.ttu.edu
- PPDP'08: Call for Papers
Elvira Albert
- DATE 2008 Friday Workshop on Impact of Process Variability on
Design and Test - Call for Submissions
training at ecsi.org
- [EUROSIS-AD] ISC'2008, June 9-11, 2008, Universite de Lyon, France,
SUBMISSION DEADLINE COMING UP
info at eurosis.org
- Collozeum project
Boriss Mejias
- Collozeum project
Pavel
- Call for Papers: Formal Aspects of Virtual Organisations
Jeremy Bryans
- Draft paper submission deadline is just few days from now:
MULTICONF-08
John E. Edward
- Call for Participation RELMICS10/AKA5
Bernhard Möller
- An Important Reminder - SEKE 2008 Int'l Conference Call For Paper
sekeconf at ksi.edu
- [DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - CALL
FOR PAPERS
Luca Fanucci
- IWACO 2008 Call for Papers
David.Clarke at cwi.nl
- Fwd: dynamic linkage with other environment ?
Jean Holleville
- CP 2008 - Call for Application Papers
Sebastian Brand
- ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany
training at ecsi.org
- WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th
ruy at cin.ufpe.br
- [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21,
2008: Call For Papers
ICSEng 2008
- official Mozart/Oz wiki?
Benjamin L. Russell
- CFP: DTVCS 2008 - Design,
Testing and Formal Verification Techniques for Integrated Circuits
and Systems
ss DTVCS
- PhD Studentships at Kent
A.M.King
- CFP: CIA 2008 Cooperative Information Agents
Matthias Klusch
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques
Security (SecReT 2008)
Santiago Escobar
- QAOOSE 2008 Call for Papers
Workshop on Generative Technologies
- NN5 Time Series Forecasting Competition
Forecasting Research Centre
- PAuL 2008 Call for Papers
PAuL 2008
- Second Call for Papers: PLAS 2008
PLAS2008
- Mozart 1.3.2 on FreeBSD 7.0RC2
Damien Saucez
- MOC-2008 - Call for Papers
Armin Wolf
- CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security)
ailab at leary.csoft.net
- Forecasting with Neural Networks
ISF08 Special Session
- Data Mining for Time Series Data
DMIN08 Special Session
- ECOOP 2008 Call for Student Volunteers
Tobias Wrigstad
- Chaotic Modeling and Simulation International Conference
(CHAOS2008) , Abstract submission
Christos H. Skiadas
- REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008
Potapov, Igor
- oz / emacs problems
mark richardson
- CfP: TTSS'08 - Harnessing Theories for Tool Support in Software
Volker Stolz
- Call for Papers: The 2008 IEEE International Conference on
Information Reuse and Integration
IEEE-IRI-Publicity
- [DSD08] Paper Submission Deadline Approaching, March 3rd, 2008
Luca Fanucci
- ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany
training at ecsi.org
- Forecasting with Neural Networks
Special Conference Session
- CHINA 2008 Workshop 2nd CfP
Jetty Kleijn
- Code navigation in Emacs
Wolfgang Meyer
- Using libffi to call out to C
Chris Double
- Preliminary CFP: 4th Int'l Workshop on Automated Specification and
Verification of Web Systems (WWV'08)
demis at dimi.uniud.it
- Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint)
Logic Programming (WFLP'08)
demis at dimi.uniud.it
- KR08 Doctoral Consortium Second Call for Application
Carsten Lutz
- International Conference on Data Mining (DMIN'08), Las Vegas
Deadline Extension
- CFP: 24th IEEE ICSM - International Conference on Software
Maintenance
icsm-info at FernUni-Hagen.de
- [DSD08] Paper Submission Deadline extended to March 17th, 2008
Luca Fanucci
- ECSI Workshop > System Debug - March 10, 2008 - Munich,
Germany - Registration deadline tomorrow
training at ecsi.org
- ICLP'08 CALL FOR PAPERS
ICLP 08
- [ICSEng'08] ICSEng 2008, Submission deadline extended to March 16,
2008
ICSEng 2008
- [EUROSIS-AD] MESM 2008, August 26-28, 2008, Philadelphia University,
Amman, Jordan 1st CFP
info at eurosis.org
- NN5 Forecasting Competition for Computational Intelligence
Deadline Extension
- DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008
training at ecsi.org
- Complete Oz BNF description?
George Rudolph
- 2nd CFP: DATICS 2008 - Design,
Analysis and Tools for Integrated Circuits and Systems
SS DATICS
- Summer School Announcement
Bertram Fronhöfer
- Updated Call for Papers: KR 2008
Tommie Meyer
- LaSh08 Call for Papers
Marc Denecker
- FDL 2008 > Call for Papers - Deadline March 31, 2008
training at ecsi.org
- [DSD08] DSD08 - Paper Submission Deadline extended to March 17th,
2008
Luca Fanucci
- PLID'08: 1st Call for Contributions
Samir Genaim
- ICNC'08-FSKD'08: Jinan, China; Papers due 25 March
Mei Guo
- CP 2008: Submission is open
Sebastian Brand
- PPDP 2008 - 2nd Call for Papers
Elvira Albert
- deadline extension for ESSLLI workshops to March 27
Hans van Ditmarsch
- 2nd CFP: DTVCS 2008 - Design,
Testing and Formal Verification Techniques for Integrated Circuits
and Systems
ss DTVCS
- CP 2008: 2nd Call for Tutorials
Sebastian Brand
- CP 2008: 2nd Call for Workshops
Sebastian Brand
- CP 2008: 2nd Call for Tutorials
Sebastian Brand
- CfP: 8th IEEE Intl. Working Conference on Source Code Analysis and
Manipulation
icsm-info at FernUni-Hagen.de
- How to measure memory consumption?
Torsten Anders
- KROW@KR2008: Call for Papers
Tommie Meyer
- [CFP] Advances in Modal Logic 2008
Carlos Areces
- Deadline Approaching: [CFP] IEEE IRI-2008
IEEE-IRI-Publicity
- Bug: Inspector cannot display determined FS variables
Torsten Anders
- BPPC'08: 2nd Call for Papers
Mats Carlsson
- Lambda the Ultimate discussions on CTM
Peter Van Roy
- hello world application
Graham Percival
- (no subject)
Torsten Anders
- Exceptions and Concurrency
Torsten Anders
- CSR 2008 in Moscow: Call for Participation
CSR-2008
- CHINA 2008 Workshop 3rd CfP
Jetty Kleijn
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques
(SecReT 2008)
Santiago Escobar
- Deadline Approaching - IEEE IRI-2008
Chengcui Zhang
- FCS-ARSPA-WITS'08: Second Call for Papers
ailab at leary.csoft.net
- ozfind: new version of "Code Navigation in Emacs"
Wolfgang Meyer
- CTM book covers (for fun)
Peter Van Roy
- WACC 2008 - Call for Papers and Participation
WACC 2008
- EASSS'08 - European Agent Systems Summer School - Registration
is Open
EASSS'08
- Behavior of Parallel Search Engine
George Rudolph
- FMCAD 2008 Call For Papers
Lee Pike
- E. W. Beth Dissertation Prize: 2008 call for submissions
Carlos Areces
- parsing of command line arguments
Oliver Mooney
- European Master in Computational Logic - scholarships for European
students
Enrico Franconi
- WLP 2008 - Call for Papers
Sibylle Schwarz
- CP 2008: Final Call for Papers
Sebastian Brand
- 1st CFP: 4th Int'l Workshop on Automated Specification and
Verification of Web Systems (WWV'08)
demis at dimi.uniud.it
- 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic
Programming (WFLP'08)
demis at dimi.uniud.it
- Extended Submission Deadline: CIA 2008 - Intelligent Information
Agents
Matthias Klusch
- ICTAC Second Call for Papers
Jeremy Bryans
- CFP: Special issue of Journal of Scheduling
Hana Rudova
- DMS 2008 Conference (Call For Paper)
dms at ksi.edu
- Last Call for Papers: Advances in Modal Logic
Carlos Areces
- NN5 Special Session at WCCI 2008
NN5 Forecasting Competition
- PhD Positions in the Embedded System Unit of Fondazione Bruno
Kessler
Marco Roveri
- Post-Doc Positions in the Embedded System Unit of Fondazione Bruno
Kessler
Marco Roveri
- GC Bug on weak dictionaries?
Christophe Taton
- Final Call For Papers: KR 2008
Tommie Meyer
- FDL08 > Call for Papers - Deadline Extension: April 7th, 2008
training at ecsi.org
- FCS-ARSPA-WITS'08: deadline extension
ailab at leary.csoft.net
- Extended Deadline 10 April; ICNC'08-FSKD'08: Jinan, China
lian ayu
- EASSS'08 - European Agent Systems Summer School - Early
Registration Deadline Approaching!
EASSS'08
- [CFP]Fourth International Workshop on Contexts and Ontologies
Guilin Qi
- PPDP'08: Last Call for Papers
Elvira Albert
- PAuL 2008 2nd Call for Papers
PAuL 2008
- Oz and preferences-based argumentation (logic)
Victor NOEL
- ICTAC 2nd CFP: Invited speakers confirmed
Jeremy Bryans
- MPOOL'08: Call for Papers
MPOOL'08
- Call for Presentations CHINA 2008
Jetty Kleijn
- ICLP'08 CALL FOR WORKSHOP PROPOSALS
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 08
- 3rd International Compulog/ALP Summer School on Logic Programming
and Computational Logic
announce at krlab.cs.ttu.edu
- CP 2008: Abstract deadline extension
Sebastian Brand
- (EC)^2: Final Call for Papers
EC2
- ICLP'08 CALL FOR PAPERS
ICLP 08
- FCS-ARSPA-WITS'08: deadline extension
ailab at leary.csoft.net
- RR 2008 - 2nd Int. Conf. on Web Reasoning and Rule Systems - Call
for Papers (revised)
Diego Calvanese
- LPAR 2008 (Qatar) CFP
Geoff Sutcliffe
- Elmoz: a source code annotating debugger
Wolfgang Meyer
- Distributed programming bug
Christophe Taton
- [EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre,
Le Havre, France, 1ST CFP
info at eurosis.org
- Extended deadline: DTVCS 2008 - Design,
Testing and Formal Verification Techniques for Integrated Circuits
and Systems
ss DTVCS
- Creating a binary Mozart RPM without contributions
Torsten Anders
- Extended deadline: DATICS 2008 - Design,
Analysis and Tools for Integrated Circuits and Systems
SS DATICS
- 2nd CFP: 4th Int'l Workshop on Automated Specification and
Verification of Web Systems (WWV'08)
demis at dimi.uniud.it
- [CFP] Deadline Extension: Fourth International Workshop on
Contexts and Ontologies
Guilin Qi
- QTk text box widget
mark richardson
- [MPC'08] First call for participation
MPC'08 Organizers
- 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic
Programming (WFLP'08)
demis at dimi.uniud.it
- DAC'08 Workshop > High-Level Synthesis: Back to the Future - June 8,
2008 - Call for Poster Submissions
training at ecsi.org
- Final CFP: CIA 2008 - Cooperative Information Agents
Matthias Klusch
- DAC'08 Workshop > System & SoC Debug - June 8,
2008 - Call for Participation
training at ecsi.org
- GLOBAN 2008 Summer School: Early Registration Open
GLOBAN 2008 Summer School
- QTk text box
mark richardson
- Fw: New to Mozart
Rouan van Dalen
- New mailing list
mark richardson
- PhD Studentship in Nancy (France)
Claire Gardent
- SCAM2008: Reminder of Abstract submission Deadline April 21
icsm-info at FernUni-Hagen.de
- CFP: IWACO 2008
David.Clarke at cwi.nl
- trunc or 1.3.2
Rouan van Dalen
- ISMM 2008 Call for participation
R.E.Jones
- Mozart server down?
Torsten Anders
- (no subject)
Samir Genaim
- PLID'08 - 2nd Call for Contributions
Samir Genaim
- HASE 2008 CALL FOR PAPERS
tase08
- CHAOS2008 International Conference Poster and Information
CHAOS2008 Conference
- Borris: SVN access for /branches/mozart-1-3-0-fixes reqrequires
authentication
Rouan van Dalen
- Compile time messages for branches/mozart-1-3-0-fixes
Rouan van Dalen
- DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated
Specification and Verification of Web Systems
demis at dimi.uniud.it
- PAuL 2008 CfP Deadline Extension
PAuL 2008
- DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and
(Constraint) Logic Programming
demis at dimi.uniud.it
- ESSLLI 2008
ESSLLI 2008
- installing on Mac OS X
David G Clark
- exception mechanism in Oz
Rouan van Dalen
- CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging
Applications of Formal Methods, Verification and Validation
Tiziana Margaria -
- WoLLIC 2008 - Call for Participation
ruy at cin.ufpe.br
- NordSec 2008 - First Call For Papers
Christian Probst
- DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008
training at ecsi.org
- BCI2008: Call for partecipation
BCI 2008
- FMCAD 2008: FINAL Call for Papers
Lee Pike
- Problem with FFI tutorial
Rouan van Dalen
- Problem with FFI tutorial
Rouan van Dalen
- QTk window event queue
Oleg Batrashev
- Bug: Object.is blocks on undetermined FS variables
Torsten Anders
- Interresting findings in Mozart-Oz
Rouan van Dalen
- IJCAR Calls and Awards
Geoff Sutcliffe
- Automated Reasoning in Mathematics
Geoff Sutcliffe
- CFP: Workshop on Quantification in Constraint Programming
Arnaud Lallouet
- Does Combinator.'or' miss then-statements?
Torsten Anders
- ICLP'08 CALL FOR PAPERS
ICLP 08
- CFP: Workshop CEDAR 2008
Miki Hermann
- IP-XACT User's Group > Meeting at DAC'08 - June 10, 2008
training at ecsi.org
- help with parallel search
George Rudolph
- CP 2008: Call for Doctoral Programme Applications
Sebastian Brand
- CP 2008: Call for Tutorials
Sebastian Brand
- Parallel search questions
Torsten Anders
- IEEE CSF 2008 call for participation
Andrei Sabelfeld
- DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008
training at ecsi.org
- ICLP'08 CALL FOR APPLICATION PAPERS
ICLP 08
- FMCAD 2008 CFP Deadline Extension! (May 19th)
Lee Pike
- CFP: Special issue of Journal of Scheduling
Hana Rudova
- ISMM 2008 Early registration closes 14 May
R.E.Jones
- static analysis?
Raoul Duke
- ACP Research Award
Sebastian Brand
- ACP Doctoral Research Award
Sebastian Brand
- Parallel search and PATH
Torsten Anders
- DASIP Conference 2008 > Call for Parpers - Deadline Extension - May
30, 2008
training at ecsi.org
- CFP SBMF 2008
Patricia Duarte de L Machado / Prof. DSC
- FD constraints
mark richardson
- parallel search error
Ryan Kelly
- DAC'08 Workshop > System & SoC Debug - June 8,
2008 - Call for Participation with updated agenda
training at ecsi.org
- Postdoc position in NL Generation, Nancy, France
Claire Gardent
- Workshop on Generic Programming: Call for Papers (co-located w/
ICFP08)
Ralf Hinze
- ECOOP 2008 Call for Participation
David.Clarke at cwi.nl
- KROW@KR2008: Final Call for Papers
Tommie Meyer
- LPAR Call for Papers
Geoff Sutcliffe
- CFP: ACM SAC 09 Software Verification and Testing
Tamara.Rezk at sophia.inria.fr
- FD constraint propagators
mark richardson
- FD constraint propagators
Filip Konvička
- EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC
Bertram Fronhöfer
- Call for participation in the 2008 ACP Summer School - Modelling
with Constraints: Theory and Practice
Karen Elizabeth Petrie
- ICLP'08 CALL FOR WORKSHOP PROPOSALS
ICLP 08
- PLID'08 - Last Call for Contributions
Samir Genaim
- IP-XACT User's Group > Meeting at DAC'08 - June 10, 2008
training at ecsi.org
- ECOOP 2008 Call for Posters/Demos
David.Clarke at cwi.nl
- ICLP'08 CALL FOR PAPERS
ICLP 08
- DASIP Conference 2008 > Call for Parpers - Deadline Extension - May
30, 2008
training at ecsi.org
- Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school
Martin Nordio
- LPAR submission deadline extended
Geoff Sutcliffe
- PPDP'08: Call for Participation
Elvira Albert
- CP 2008 - Doctoral Programme
Sebastian BRAND
- ICLP'08 CFP: EXTENDED DEADLINES!
ICLP 08
- MPC 2008: SECOND CALL FOR PARTICIPATION
Christine Paulin
- SOFSEM'09 Call for Papers
Frank Valencia
- Executing code from within Mozart
mark richardson
- Qtk canvas clearing
mark richardson
- LaSh08 Call for Papers
Marc Denecker
- CFP: Special issue of Journal of Scheduling
Hana Rudova
- PhD positions at KRDB Centre - Free Univ. of Bozen-Bolzano, Italy
Diego Calvanese
- WCAT @ ASE2008. Deadline extension. Coordination and
AdaptationTechniques
canal at lcc.uma.es
- HASE 2008 - Extended Deadline June 17
tase08
- BCI2008: Call for partecipation
BCI 2008
- 2008 ICLP Doctoral Consortium
ICLP 08
- VMCAI 2009: Call for Papers
Markus Mueller-Olm
- RR 2008 - Last CfP - 3 days left for abstract submission
Diego Calvanese
- AiML 2008: Registration now open
Carlos Areces
- CFP - PSC track at SAC 2009
Emiliano Tramontana
- QTk textbox colour
mark richardson
- [KM2009] Second Call for Workshop Proposals
Wache,Holger
- Revised CfP: TTSS'08 - Harnessing Theories for Tool Support in
Software, Istanbul/Turkey
Volker Stolz
- QiCP'08 Workshop on Quantification in Constraint Programming (2nd
cfp)
Arnaud Lallouet
- UTP08 call for work in progress papers
Andrew Butterfield
- BCI 2008 - early registration deadline extended
BCI 2008
- RR 2008 - extended deadlines
Diego Calvanese
- IJCAR 2008 in Australia
Geoff Sutcliffe
- Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school
Martin Nordio
- CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic
Programming (WFLP'08)
demis at dimi.uniud.it
- CfPart: 4th Int'l Workshop on Automated Specification and
Verification of Web Systems (WWV'08)
demis at dimi.uniud.it
- FDL08 > Advance Program & Registration
training at ecsi.org
- Call for Participation: IEEE IRI 2008
IEEE-IRI-Publicity
- ESSLLI 2009 Call for Proposals
Richard Moot
- HASE 2008 - Last CfP - 3 days left for paper submission
tase08
- CfPArt: ICTAC 2008
Jeremy Bryans
- Functions like IsAtom block on kinded variables -- why?
Torsten Anders
- QTk message box
mark richardson
- QTk message box
mark richardson
- Mozart 1.4.0 release
Raphael Collet
- Mozart 1.4.0 release
David Kågedal
- NordSec 2008 - Second Call For Papers
Christian Probst
- CFP: 2008 International Conference on Computational Intelligence
for Modelling, Control and Automation - CIMCA'08
Masoud.Mohammadian
- Mozart 1.4.0 release
David Kågedal
- WLP 2008 - Second Call for Papers
Sibylle Schwarz
- [DSD08] [DSD'08] CALL FOR PARTICIPATION
DSD'08 Program Chair
- European Master in Computational Logic - scholarships for European
students - last deadline
Enrico Franconi
- Extended Deadline - Foundations of Computer Science as Logic-Related
Jeremy Bryans
- CP 2008: Call for Participation
Sebastian Brand
- JOB OPPORTUNITY
Bertram Fronhöfer
- JELIA - registration opened
Bertram Fronhöfer
- QiCP'08 Wks on Quantification in Constraint Programming: extended
deadline
Arnaud Lallouet
- x-ozlib on Windows
Torsten Anders
- CFP: 1st International Workshop on Sensor Networks and Ambient
Intelligence
Boon-Chong Seet
- FIRST CALL FOR PARTICIPATION: KR 2008
Tommie Meyer
- Dynamic placement of widgets with QTk
mark richardson
- QTk load dialog
mark richardson
- IJCAR in Australia, 1 month to go
Geoff Sutcliffe
- LaSh08: Last Call for Papers
Joost Vennekens
- Mozart 'installation' query
Gustavo Gutierrez
- WLPE'08 -- Call for Papers
Puri Arenas
- WLPE'08 - First call for Papers
WLPE-08
- Last call for papers: ACM SAC 09 Software Verification and Testing
Tamara.Rezk at sophia.inria.fr
- ESSLLI 2009 - Second Call for Course and Workshop Proposals
Richard Moot
- Final CFP: Sensor Networks and Ambient Intelligence (July 21, 2008)
Boon-Chong Seet
- LPAR'08 workshops
Geoff Sutcliffe
- NordSec 2008 - Final Call for Papers
Christian Probst
- WLP 2008 - Submission deadline extended
Sibylle Schwarz
- Symposium on Practical Aspects of Declarative Languages (PADL'09)
Gopal Gupta
- KR2008: Early registration deadline approaching: July 31
Tommie Meyer
- CP 2008: 2nd Call for Participation
Sebastian Brand
- ICLP'08 CALL FOR POSTER SUBMISSIONS
ICLP 08
- PhD Positions in Secure Software and Languages
David.Clarke at cwi.nl
- Last CFP - PSC track at SAC 2009
Emiliano Tramontana
- GlobalComp 2008 -- Call for Papers
Gabriel Ciobanu
- Mozart Governance
Raphael Collet
- Problems running Mozart1.4.0
Victor Rivera
- CC 2009: abstracts due Oct 2
Oege.de.Moor at comlab.ox.ac.uk
- CFP: 4th Intl. WS on Program Comprehension through Dyn. Analysis
(PCODA 2008)
Andy Zaidman
- CFP: CICLOPS 2008
ciclops-org at clip.dia.fi.upm.es
- AiML08: Preliminary Program now Available
Carlos Areces
- Review of Symbolic Logic (RSL)
Patrick Blackburn
- Mozart Governance
Torsten Anders
- Third Call for Papers: The 4th CISSE International Conference
CISSE 07
- Numerical Computing with Mozart-Oz\Alice
Петров Александр
- SOFSEM 2009 - Call for Paper
SOFSEM09
- VMCAI 2009: Submission is open
Markus Mueller-Olm
- A little help, if possible.
Neil Munro
- WLPE'08 - Call for Papers
WLPE-08
- 2nd CfP - Special Issue on Forecasting with Computational
Intelligence
International Journal of Forecasting
- CFP: PAKDD 2009, Bangkok, Thailand, 27-30 April 2009,
(submission deadline: 09 September 2008)
kritsada sriphaew
- ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS
ICLP 08
- 2008 ICLP Doctoral Consortium
ICLP 08
- Help rewriting this as functor
George Rudolph
- Documentation not generated, can't easily revise current docs in
sgml
R. G. Cottrell
- FDL08 > Invitation to register!
training at ecsi.org
- LaSh08 DEADLINE EXTENSION
Marc Denecker
- Mozart 1.4.0: pickle compatibility
Torsten Anders
- N Queens problem.
Neil Munro
- Mozart 1.4.0 Tk interface
Torsten Anders
- Mozart 1.4.0 and parallel search
Torsten Anders
- N Queens problem.
Neil Munro
- LATA 2009: 2nd call for papers
carlos.martin at urv.cat
- Call for Participation: 24th IEEE International Conference
onSoftware Maintenance
icsm-info at FernUni-Hagen.de
- SCAM 2008 Call for Participation
icsm-info at FernUni-Hagen.de
- Mozart 1.4.0 and parallel search
Filip Konvička
- MD5 mismatch on 1.4.0 i386 RPMs
Rokop, Terence M
- More N queens
Neil Munro
- My problems with Mozart documentation
Emre Sevinc
- N Queens problem with code attached.
Neil Munro
- Queens problem
Neil Munro
- Scheduling with Constraint programming
mark richardson
- Applets on OSX
Justin Henzie
- N queens problem again.
Neil Munro
- N queens problem again.
Neil Munro
- Fwd: N queens problem again.
Neil Munro
- N queens problem again.
Neil Munro
- List processing
mark richardson
- Parameterized Functors
Chris Rathman
- ESSLLI 2009 Deadline Extension and Final Call for Course/Workshop
Proposals
Richard Moot
- Module linking
mark richardson
- WLPE'08 - Call for Papers
WLPE-08
- Mozart on Kubuntu 64 bit
mark richardson
- Tk extension widgets
mark
- FDL08 > Invitation to register!
training at ecsi.org
- Classes in functor definitions
mark
- PADL 09 Deadline Extension
Terrance Swift
- Module link bug ?
mark
- experimental extensions to Loop syntax
Oliver Mooney
- WLPE'08 - Call for Papers, deadline extended to Sep 21st
WLPE-08
- CC 2009: abstracts due Oct 2
Oege.de.Moor at comlab.ox.ac.uk
- CSR-2009: First Call for Papers
Edward A. Hirsch
- experimental extensions to Loop syntax
Oliver Mooney
- List of random numbers
mark
- [APIS2009] Call for Paper - The 8th Application and Principles of
Information Science
APIS Committee
- CFP MEMOCODE 2009
Roderick Bloem
- faculty position announcement (Orléans, FRANCE)
Denys Duchier
- FLAIRS 2009: AI Planning and Scheduling Special Track
Hana Rudova
- IICAI-09 Call for papers
Bhanu Prasad
- FMCAD'08: Call for Participation (Nov. 17-20, Portland, Oregon, USA)
Lee Pike
- how hard is dataflow w/ suspension?
Raoul Duke
- how hard is dataflow w/ suspension?
Filip Konvička
- [ESSLLI 2010] Call for Bids
Carlos Areces
- Newbie: Graphics
John Sampson
- CFP: PSI2009 Perspectives of System Informatics
Perspectives of System Informatics
- Newbie:Threads
jhvargas at utp.edu.co
- Purely Functional Data Structures
Chris Rathman
- Help with CTM -- WordFreq (Chapter 3)
Justin Henzie
- ICLP'08 CALL FOR PARTICIPATION
ICLP 08
- timing routines
mark
- LATA 2009: final call for papers
carlos.martin at urv.cat
- PEPM'09 -- Final Call for Papers
G. Puebla and G. Vidal
- DAMP 2009 CFP
Manuel Carro
- Paper Submission Deadline - ISQED09
Lech Jozwiak
- Mozart doesn't compile in a debian 32bits chroot (amd64 kernel)
Nicolas
- DATICS'09 - Call For Papers
SS DATICS
- Building on OS X LEOPARD
Justin Henzie
- psql
Justin Henzie
- 2nd Chaotic Modeling and Simulation International Conference
(CHAOS2009) , Abstract/Paper submission
Christos Skiadas
- QAPL 2009 Call for Papers
QAPL 2009
- ACSD 2009 First Call for Papers
Stephen A. Edwards
- A question on Records
Chris Rathman
- Character Constants?
Chris Rathman
- 3 PhD bursaries at KRDB Research Centre, Bolzano,
Italy - Final Call - Deadline Oct. 20, 2008
Diego Calvanese
- unicode.ozf
Filip Konvička
- 1st CFP - Workshop on Invariant Generation (WING 2009), York, UK,
22-23 March, 2009
Laura Kovacs
- dynamic qtk handles
MARK RICHARDSON
- CADE-22 first call for papers
Carsten Schürmann
- Functor signatures
Justin Henzie
- issue with distributed programming
Wacek Kusnierczyk
- Extended Deadline for Papers/Abstracts: October 21, CSIE 2009,
Los Angeles
Linda Jones
- CADE-22 call for workshop and tutorial proposals
Carsten Schuermann
Last message date:
Fri Oct 10 16:01:08 CEST 2008
Archived on: Sun Oct 12 23:43:42 CEST 2008
This archive was generated by
Pipermail 0.09 (Mailman edition).