2006 Archives by date

Messages sorted by: [ thread ] [ subject ] [ author ]
More info on this list...

Starting: Mon Jan 2 10:12:44 CEST 2006
Ending: Tue Nov 21 19:17:52 CEST 2006
Messages: 1271

CTM and Monads Peter Van Roy
Learning Constraint Programming Alex Peake
Learning Constraint Programming Alex Peake
Learning Constraint Programming Raphael Collet
LOFT06: CFP Wiebe van der Hoek
PSI 2006: Final CFP PSI06 Conference
Unification, comparison Filip Konvička
Unification, comparison Raphael Collet
Unification, comparison David Hopwood
CFP: SELMAS 2006 - 5th Workshop on Software Engineering for Large-Scale Multi-Agent Systems event at in.tu-clausthal.de
Unification, comparison Raphael Collet
Mozart back in Debian testing Kevin Glynn
Unification, comparison Filip Konvička
CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
Unification, comparison Raphael Collet
Unification, comparison David Hopwood
Unification, comparison [correction] David Hopwood
Unification, comparison [correction] David Hopwood
Unification, comparison Raphael Collet
Unification, comparison Kevin Glynn
Call for Participation: 2nd International Summer School of the Association for Constraint Programming ian miguel
MPC 2006 2nd Call for Papers Tarmo Uustalu
Erlang and Mozart-Oz Alex Peake
emerge mozart fails on virtual/glibc Andrew Wilcox
patch for mozart ebuild on Gentoo Andrew Wilcox
emerge mozart fails on virtual/glibc Kevin Glynn
Call for Papers: Workshop on "Dependability and Security in e-Government (DeSeGov 2006) - Submission deadline 20th January 2006 Nguyen Manh Tho
CFP: CLIMA Contest event at in.tu-clausthal.de
FW: 2006 IEEE SOLI Conference Shanghai China -- Call For Papers (Due Feb. 1) Qiu, Robin
Erlang and Mozart-Oz Peter Van Roy
CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06) Giancarlo Fortino
AMAST 2006 2nd Call for Papers Varmo Vene
CfP - 2006 International Conference on Data Mining - DMIN'06 Crone, Sven
IntraWebs 2006 - Submission deadline : February 10th event at in.tu-clausthal.de
CFP: Workshop Dependability and Security in e-Government(DeSeGov 2006) - Submission Deadline 20-01-2006 Nguyen Manh Tho
CFP: Workshop "Dependability Aspects in DWH and MiningApplications" (DAWAM), Submission Deadline: 15-01-2006 Nguyen Manh Tho
ASP-06 at NMR-06 (2nd CFP) event at in.tu-clausthal.de
Propagation via Guassian elimination? mozart at randomhacks.net
Propagation via Guassian elimination? Torsten Anders
CLIMA-VII Second Call for Papers event at in.tu-clausthal.de
CLIMA-VII Second Call for Papers CLIMA-VII
SoSyM: Journal on Modelling of Software event at in.tu-clausthal.de
2nd CFP Workshop on logics for resource-bounded agents event at in.tu-clausthal.de
CFP: Workshop on Logics for Resource Bounded Agents Carlos Areces
CFP: Resource-Scarce Language Engineering Carlos Areces
RAC at NMR'06 event at in.tu-clausthal.de
CfP: FACS'06 - Formal Aspects of Component Software Vladimir Mencl
CfP - ISF 2006 - Forecasting with Neural Networks www.neural-forecasting.com
Mochart IV CFP event at in.tu-clausthal.de
PATAT 2006: Last Call for Demonstrations PATAT 2006
PATAT 2006: Last Call for Papers PATAT 2006
Trace execution/debug the emulator.exe or run without emacs Emilio Duarte Garcia
Trace execution/debug the emulator.exe or run without emacs Andres Becerra Sandoval
Trace execution/debug the emulator.exe or run without emacs Jorge.Pelizzoni at loria.fr
Trace execution/debug the emulator.exe or run without emacs Jorge.Pelizzoni at loria.fr
Announcement: Gecode 1.0.0 released Christian Schulte
Call for Participation: 20th Workshop on Logic Programming - WLP 2006 wlp06 at kr.tuwien.ac.at
Coordination 2006: Last call for papers Jean-Marie JACQUET
Announcement: Gecode 1.0.0 released Russ Abbott
FOIKS: Call for Participation event at in.tu-clausthal.de
Announcement: Gecode 1.0.0 released Filip Konvička
Announcement: Gecode 1.0.0 released Christian Schulte
Announcement: Gecode 1.0.0 released Christian Schulte
CP 2006: Call for papers Christian Schulte
CfP: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web event at in.tu-clausthal.de
PDPAR'06: 1st Call for Papers Roberto Sebastiani
CFP: ICSM 2006 icsm-info at FernUni-Hagen.de
Announcement: Gecode 1.0.0 released Twan van der Schoot
Trace execution/debug the emulator.exe or run without emacs Maximilian Wilson
CfP UPGRADE-CDN'06 Giancarlo Fortino
PSI 2006: Deadline Extension PSI06 Conference
European Master's Program in Computational Logic Int. Center for Computational Logic
Using Reified Constraints Ryan Kaulakis
Using Reified Constraints Luis Quesada
Using Reified Constraints rmk216
Using Reified Constraints Luis Quesada
ICALP 2006 -- Call For Papers ICALP 2006
Using Reified Constraints Harmon Nine
Using Reified Constraints Raphael Collet
Using Reified Constraints Luis Quesada
2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
Using Reified Constraints rmk216
Using Reified Constraints Luis Quesada
cond and stability Jorge.Pelizzoni at loria.fr
FLoC'06 - Call for Papers Kreutzer + Schweikardt
cond and stability Luis Quesada
CfP: Workshop PPSWR @ ESWC 06 event at in.tu-clausthal.de
CFP: ATOP Workshop @ AAMAS 2006 event at in.tu-clausthal.de
CFP: ProMAS@ AAMAS 2006 -- Deadline 1st of February !!! event at in.tu-clausthal.de
LAST CALL FOR PAPERS: ESOA'06 Workshop at AAMAS 2006 event at in.tu-clausthal.de
[Fwd: Re: cond and stability] Raphael Collet
Why "unit"? Harmon Nine
Why "unit"? Raphael Collet
CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event at in.tu-clausthal.de
[CFP] SemWiki2006: From Wiki To Semantics (Workshop@ESWC) event at in.tu-clausthal.de
Why "unit"? Andreas Rossberg
Call for Papers: Constraint Handling Rules 2006 event at in.tu-clausthal.de
Help with input/output Alan Oswald
Help with input/output Peter Van Roy
Help with Input/Output Alan Oswald
CFP event at in.tu-clausthal.de
Help with Input/Output Raphael Collet
Happy Birthday Kevin Glynn
Help with Input/Output Alan Oswald
Help with Input/Output Andrés Becerra Sandoval
Help with Input/Output Raphael Collet
Help with Input/Output Peter Van Roy
CFP: Workshop on Modelling & Solving Problems with Constraints ian miguel
Google effect? Lyle Kopnicky
tell is private error Jonathan Kelly
CFP: Multidisciplinary ECAI06 WS on Preferences event at in.tu-clausthal.de
tell is private error Jonathan Kelly
PATAT 2006: Deadline Extension PATAT 2006
DALT 2006 deadline approaching event at in.tu-clausthal.de
FM'06: 2nd CFP event at in.tu-clausthal.de
2nd CFP: Formal Ontologies for Communicating Agents, ESSLLI 2006 FOCA at ESSLLI
TFP2006: Third Call for Papers Henrik Nilsson
Oz tutorial/training at ICLP 2006? tony.bigbee at att.net
CFP: Formal and Computational Cryptography (FCC 2006) event at in.tu-clausthal.de
Oz tutorial/training at ICLP 2006? Seif Haridi
LPAR 2006 call for papers Miki Hermann
WRS06 1st call for paper wrs06 at redstar.cs.pdx.edu
WRS06 1st call for paper wrs06 at redstar.cs.pdx.edu
WRS06 1st call for paper wrs06 at redstar.cs.pdx.edu
Research position in constraints and CHR event at in.tu-clausthal.de
UITP'06: First call for papers event at in.tu-clausthal.de
2nd CFP: CLIMA Contest event at in.tu-clausthal.de
Extended deadline: ESSLLI Student Session 2006 Sophia Katrenko
More Input/output Alan Oswald
SIP Multimedia Internet Application In Mozart Herman Belvedere
tell is private error Kevin Glynn
tell is private error Jonathan Kelly
tell is private error Kevin Glynn
NMR Workshop: Deadline Extension to February 17th event at in.tu-clausthal.de
Help with Input/Output David Hopwood
Race condition in Search.ozf David Hopwood
More Input/output Raphael Collet
PSI 2006:EXTENDED Deadline: February 12, 2006 PSI06 Conference
CFP: 3rd International Verification Workshop, VERIFY'06 event at in.tu-clausthal.de
Deadline Extension: 17th February event at in.tu-clausthal.de
Help with Input/Output Peter Van Roy
ECAI-06 deadline approaching event at in.tu-clausthal.de
CP 2006: Call for Workshop and Tutorial Proposals Christian Schulte
[ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14 A Serebrenik
CFP: ASE 2006 Yoshinao Isobe
CFP: Rationality and Knowledge Workshop event at in.tu-clausthal.de
CFP: Rationality and Knowledge Workshop Carlos Areces
FMCAD 2006 Call for Papers -- http://fmcad.org/2006 Panagiotis Manolios
IntraWebs 2006 - Last Call event at in.tu-clausthal.de
ECAI-06 deadline extended !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! event at in.tu-clausthal.de
streams & multiple readers Aurélien Campéas
Announcement: Summer School "Reasoning Web 2006" event at in.tu-clausthal.de
streams & multiple readers Aurélien Campéas
streams & multiple readers Andrés Becerra Sandoval
streams & multiple readers Harmon Nine
streams & multiple readers Kevin Glynn
streams & multiple readers Aurélien Campéas
streams & multiple readers Aurélien Campéas
streams & multiple readers Aurélien Campéas
streams & multiple readers Kevin Glynn
TFP2006: Last CFP Henrik Nilsson
[ICLP'06] Reminder: Deadline for Abstracts - February 14 A Serebrenik
3rd CFP Workshop on logics for resorce-bounded agents event at in.tu-clausthal.de
CFP: Semantic Web Personalization Workshop @ ESWC 2006 event at in.tu-clausthal.de
ICFP 2006 --- Call for Papers John Reppy
CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS event at in.tu-clausthal.de
Oz on Rails ? jige at altern.org
Oz on Rails ? Boriss Mejias
ozh Torsten Anders
SAS'06 2nd Call For Papers Kwangkeun Yi
some information on parallel search Lucia Cambise
some information on parallel search Lucia Cambise
some information on parallel search Lucia Cambise
CFP: FOCA - Formal Ontologies for Communicating Agents event at in.tu-clausthal.de
FMICS'06 Call for Papers Martin Leucker
[ICLP'06] Deadlines EXTENDED A Serebrenik
ACL2 2006 Call for Papers Panagiotis Manolios
LOPSTR'06 in Venice, Italy -- Call for Papers LOPSTR 2006
PPDP'06 -- Call for Papers Michael Maher
Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
Data structures in stdlib [Was: MEP for release 1.3.2] Raphael Collet
Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
Data structures in stdlib [Was: MEP for release 1.3.2] Torsten Anders
CFP: Workshop on Generic Programming 2006 Ralf Hinze
Data structures in stdlib [Was: MEP for release 1.3.2] Raphael Collet
If Mozart is free, then let's put it into the free sw list of UNESCO Peter Tury
Data structures in stdlib [Was: MEP for release 1.3.2] Kevin Glynn
Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
Data structures in stdlib [Was: MEP for release 1.3.2] Filip Konvička
CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano at inf.ethz.ch
SAT 2006 Final Call for Papers Armin Biere
2nd CFP - Doctoral Consortium INCOM06 event at in.tu-clausthal.de
DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006) event at in.tu-clausthal.de
CFP: Resource-Scarce Language Engineering Carlos Areces
CFP: First International Workshop on Agent Technology and Autonomic Computing (ATAC'2006) event at in.tu-clausthal.de
If Mozart is free, then let's put it into the free sw list of UNESCO Kevin Glynn
CFP: Workshop Concord Phenomena and the Syntax Semantics Interface Carlos Areces
CfP - 2006 International Conference on Data Mining - DMIN'06 - deadline extended! Sven F. Crone
CSR-2006: Call for Participation Edward A. Hirsch
12th International Conference AIMSA 2006 - AI, people and the web - event at in.tu-clausthal.de
CFP: CIA 2006 - 10th Intl Wshp on Cooperative Information Agents event at in.tu-clausthal.de
copy the program Nick Kostirya
copy the program Yves Jaradin
copy the program Kevin Glynn
question: execution parallel code on cmd line Lucia Cambise
Final CFP: Programming Languages and Analysis for Security (PLAS) 2006 Steve Zdancewic
question: execution parallel code on cmd line Christian Schulte
copy the program Nick Kostirya
question: execution parallel code on cmd line Lucia Cambise
question: execution parallel code on cmd line Christian Schulte
Logic and Reasoning Workshop CFP geoff at cs.miami.edu
CFP: Mathematically Structured Functional Programming Conor McBride
question: execution parallel code on cmd line Lucia Cambise
question: execution parallel code on cmd line Christian Schulte
question: execution parallel code on cmd line Yves Jaradin
question: execution parallel code on cmd line Lucia Cambise
Calling ozc.exe Chris Rathman
Calling ozc.exe Jorge.Pelizzoni at loria.fr
Calling ozc.exe Chris Rathman
Calling ozc.exe Kevin Glynn
pancake sorting Me
Fwd: pancake sorting Me
CTM question - active objects vs. locks Mark Engelberg
Space.merge and stability: a bug? Jorge.Pelizzoni at loria.fr
CTM question - active objects vs. locks Maximilian Wilson
CTM question - active objects vs. locks Maximilian Wilson
WRS06 2nd call for paper wrs06 at redstar.cs.pdx.edu
DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
Call for papers for B 2007 conference Jacques Julliand
The Reasoned Oz Chris Rathman
The Reasoned Oz Jorge.Pelizzoni at loria.fr
The Reasoned Oz Chris Rathman
The Reasoned Oz Chris Rathman
The Reasoned Oz Chris Rathman
The Reasoned Oz Maximilian Wilson
The Reasoned Oz Chris Rathman
The Reasoned Oz Raphael Collet
The Reasoned Oz Raphael Collet
The Reasoned Oz Raphael Collet
LPAR 2006, 2nd Call For Papers Miki Hermann
Call for Papers: LOPSTR06, Venice, Italy LOPSTR 2006
CFP AIMSA 2006: AI, people and the web event at in.tu-clausthal.de
The Reasoned Oz Maximilian Wilson
Choice and Power Sets Chris Rathman
BNAIC'06 : BeNeLux conference on Artificial Intelligence event at in.tu-clausthal.de
Choice and Power Sets Mark Engelberg
Choice and Power Sets Peter Van Roy
Choice and Power Sets Mark Engelberg
What is actually copied when a space is cloned? Torsten Anders
If Mozart is free, then let's put it into the free sw list of UNESCO Kevin Glynn
CFP: LFMTP 2006 event at in.tu-clausthal.de
Fwd: pancake sorting Grégoire Dooms
Choice and Power Sets Harmon Nine
Choice and Power Sets Maximilian Wilson
Choice and Power Sets Mark Engelberg
Choice and Power Sets Raphael Collet
What is actually copied when a space is cloned? Raphael Collet
What is actually copied when a space is cloned? Torsten Anders
Call for Posters - ICLP 2006 - Deadline: March, 14 A Serebrenik
What is actually copied when a space is cloned? Stefano Gualandi
What is actually copied when a space is cloned? Torsten Anders
International Conference on Logic Programming: DOCTORAL CONSORTIUM event at in.tu-clausthal.de
Use of variables in patterns Anthony Borla
Use of variables in patterns Filip Konvička
Use of variables in patterns Anthony Borla
2nd CfP: Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006) event at in.tu-clausthal.de
Infinite Choices Chris Rathman
Use of variables in patterns Anthony Borla
Infinite Choices Chris Rathman
Infinite Choices Raphael Collet
Infinite Choices Filip Konvička
Call for papers: SCAM 2006 icsm-info at FernUni-Hagen.de
CALL FOR PAPERS: CICLOPS 2006 event at in.tu-clausthal.de
Call for Papers: Preferences and their Applications in Logic Programming Systems event at in.tu-clausthal.de
Infinite Choices Chris Rathman
CFP: ProMAS at AAMAS 06 event at in.tu-clausthal.de
Infinite Choices Filip Konvicka
Infinite Choices Luis Quesada
TFP2006: Call for Participation Henrik Nilsson
Second CFP: Semantic Web Personalization Workshop @ ESWC 2006 event at in.tu-clausthal.de
Use of variables in patterns Kevin Glynn
Use of variables in patterns Filip Konvička
FM'06 Doctoral Symposium Augusto Sampaio
Infinite Choices Chris Rathman
Infinite Choices Luis Quesada
Infinite Choices Filip Konvicka
Infinite Choices Luis Quesada
Infinite Choices Filip Konvicka
Use of variables in patterns Kevin Glynn
Use of variables in patterns Raphael Collet
DSD 2006 - FINAL Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN DSD 2006
2nd CfP: Workshop PPSWR 2006 @ ESWC event at in.tu-clausthal.de
Use of variables in patterns Filip Konvička
3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW Miki Hermann
Use of variables in patterns Yves Jaradin
Use of variables in patterns Raphael Collet
Use of variables in patterns Filip Konvička
Use of variables in patterns Torsten Anders
Use of variables in patterns Maximilian Wilson
EASSS 2006: Call For Participation event at in.tu-clausthal.de
Use of variables in patterns David Hopwood
Infinite Choices Chris Rathman
ACM PPDP'06 Deadline extension Michael Maher
Use of variables in patterns Kevin Glynn
Infinite Choices Raphael Collet
FMCO 2006: call for tutorial papers M.M. Bonsangue
Use of variables in patterns Andreas Franke
CP 2006: Applications to Doctoral Programme Christian Schulte
Use of variables in patterns Torsten Anders
Use of variables in patterns Andreas Franke
Use of variables in patterns Kevin Glynn
Use of variables in patterns David Hopwood
Use of variables in patterns Raphael Collet
Use of variables in patterns David Hopwood
lazy tree creation Robert Van Dam
lazy tree creation Luis Quesada
lazy tree creation Maximilian Wilson
Use of variables in patterns Boriss Mejias
lazy tree creation Luis Quesada
lazy tree creation Luis Quesada
lazy tree creation Luis Quesada
lazy tree creation Raphael Collet
Macros (was: Use of variables in patterns) Torsten Anders
Macros Raphael Collet
Use of variables in patterns Kevin Glynn
(CFP) Workshop on Logic-based Methods in Programming Environments Wim Vanhoof
Macros Torsten Anders
Macros Torsten Anders
Macros Raphael Collet
Use of variables in patterns Boriss Mejias
Macros Torsten Anders
Macros Torsten Anders
Macros Torsten Anders
Macros Raphael Collet
Macros Raphael Collet
Macros Raphael Collet
Macros Torsten Anders
Macros Torsten Anders
Macros Torsten Anders
lazy tree creation Robert Van Dam
Macros Raphael Collet
lazy tree creation Luis Quesada
Use of variables in patterns Torsten Anders
CFP: LCC'06 - Workshop on Logic and Computational Complexity event at in.tu-clausthal.de
Use of variables in patterns David Hopwood
Use of variables in patterns David Hopwood
Classical Logic and Computation: second call for papers event at in.tu-clausthal.de
Use of variables in patterns Raphael Collet
Use of variables in patterns Raphael Collet
Use of variables in patterns Andreas Franke
Last CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006) event at in.tu-clausthal.de
Use of variables in patterns Boriss Mejias
Use of variables in patterns Yves Jaradin
CFP - Search and Logic: ASP and SAT event at in.tu-clausthal.de
Outputting Lists with QTk Alan Oswald
Outputting Lists with QTk Maximilian Wilson
Outputting Lists with QTk Alan Oswald
Use of variables in patterns David Hopwood
List Comprehensions? Mark Engelberg
List Comprehensions? Maximilian Wilson
List Comprehensions? Mark Engelberg
List Comprehensions? Luis Quesada
List Comprehensions? Mark Engelberg
List Comprehensions? Grégoire Dooms
List Comprehensions? Raphael Collet
List Comprehensions? Grégoire Dooms
List Comprehensions? Luis Quesada
List Comprehensions? Torsten Anders
List Comprehensions? Luis Quesada
List Comprehensions? Torsten Anders
CP 2006: Call for Workshop and Tutorial Proposals Christian Schulte
CFP: MICAI-2006, Artificial Intelligence, Springer LNAI + IEEE CS event at in.tu-clausthal.de
Formal Methods 2006: Call for Demos (Commercial and Research) and Posters Marsha Chechik
CFP2: Mathematically Structured Functional Programming Conor McBride
ACL2 2006 Second Call for Papers Panagiotis Manolios
Call for papers! PDPAR: Workshop on the pragmatics of decision procedures Byron Cook
Question:Application exit without closing windows Lucia Cambise
Question:Application exit without closing windows Andreas Franke
Unstable client/server Jens Grabarske
Unstable client/server Raphael Collet
Question:Application exit without closing windows Lucia Cambise
CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006 event at in.tu-clausthal.de
ICFEM 2006: 2nd Call for Contributions Chris George
Deadlines are near: CFP - ICSM 2006 icsm-info at FernUni-Hagen.de
2nd CFP: Multidisciplinary ECAI-06 WS on Preferences event at in.tu-clausthal.de
IICAI-07 Conference announcement Dr. Bhanu Prasad
CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event at in.tu-clausthal.de
CFP: Workshop on Verification and Debugging vandd2006
Infinite Choices Chris Rathman
CP 2006: Second Call for Papers Christian Schulte
Breadth-First Solve Chris Rathman
ICLP 2006 Doctoral Consortium -- Deadline in 2 days event at in.tu-clausthal.de
Breadth-First Solve Christian Schulte
Breadth-First Solve Russ Abbott
Breadth-First Solve Maximilian Wilson
Breadth-First Solve Russ Abbott
2nd CFP: FOIS-2006 - International Conference on Formal Ontology in Information Systems event at in.tu-clausthal.de
Constraints and Language Processing (CSLP-06) Denys Duchier
Call For Participation: CPAIOR 2006 ian miguel
Deadline Extension CL&C'06 event at in.tu-clausthal.de
CFP: Agent Technology and Autonomic Computing (ATAC'2006) event at in.tu-clausthal.de
Generating random numbers in Oz Alan Oswald
Generating random numbers in Oz Jorge.Pelizzoni at loria.fr
Generating Random Numbers Alan Oswald
Generating Random Numbers Maximilian Wilson
Generating Random Numbers Boriss Mejias
Generating Random Numbers Jorge.Pelizzoni at loria.fr
Generating Random Numbers Christian Schulte
Generating Random Numbers Maximilian Wilson
Generating Random Numbers Alan Oswald
Generating Random Numbers Maximilian Wilson
Generating Random Numbers Jorge.Pelizzoni at loria.fr
Generating Random Numbers Boriss Mejias
problems with very large pickles Robert Van Dam
Generating Random Numbers Christian Schulte
ASE2006 Workshop: Supporting Knowledge Collaboration in Software Development Yunwen Ye
Generating random numbers in Oz Raphael Collet
question:data structure Lucia Cambise
CIA 2006: Extended Submission Deadline ! event at in.tu-clausthal.de
question:data structure Torsten Anders
FMCAD 2006 Second Call for Papers event at in.tu-clausthal.de
FMCAD 2006 Second Call for Papers Panagiotis Manolios
TWO LECTURESHIPS IN COMPUTER SCIENCE Susan Bates
CFpart: Deontic Logic in Computer Science (DEON2006) event at in.tu-clausthal.de
CFP: AAAI-06 workshop on Learning for Search ian miguel
problems with a lot of data Robert Van Dam
ECAI 06 Workshop on Distributed Constraint Satisfaction Problems - CfP event at in.tu-clausthal.de
CP-TOOLS-06: First International Day on Constraint Programming Tools Christian Schulte
Announcement: Summer School "Reasoning Web 2006" event at in.tu-clausthal.de
CFP: IWKDDS event at in.tu-clausthal.de
SPIRE 2006 --- available support for students event at in.tu-clausthal.de
CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications Ajay Mallya
2nd Call for Papers: CHR 2006 event at in.tu-clausthal.de
1st DASMOD Summer School: Computer Science, Modeling, and Applied Mathematics event at in.tu-clausthal.de
LOPSTR'06, Venice -- Final Call For Papers LOPSTR 2006
AOSD 2007 event at in.tu-clausthal.de
problems with a lot of data Peter Van Roy
Deadline extended - ECAI WS on Distributed CSP event at in.tu-clausthal.de
CP 2006: Applications to Doctoral Program Christian Schulte
EASSS 2006 Call for Participation event at in.tu-clausthal.de
[Fwd: CFP: C&CA-2006] event at in.tu-clausthal.de
vacancies for 2 PhD-students event at in.tu-clausthal.de
2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano at inf.ethz.ch
Deadline Extension: Mathematically Structured Functional Programming Conor McBride
WRS06 last call for paper wrs06 at redstar.cs.pdx.edu
question:data structure Raphael Collet
DEADLINE EXTENSION -- LOPSTR'06 LOPSTR 2006
*ACL2 2006 Deadline Extended* event at in.tu-clausthal.de
*ACL2 2006 Deadline Extended* Panagiotis Manolios
MPC/AMAST 2006 Call for Participation Tarmo Uustalu
CFP: 2nd International Congress on Tools for Teaching Logic Carlos Areces
Waiting Alan Oswald
Waiting Torbjörn Lager
Generating Random Numbers Alan Oswald
Waiting Raphael Collet
Waiting Alan Oswald
Waiting Alan Oswald
CFP: International Workshop on Hybrid Logic 2006 event at in.tu-clausthal.de
CLP question Fred Spiessens
CLP question - correction Fred Spiessens
CLP question Jorge.Pelizzoni at loria.fr
CLP question - correction Raphael Collet
CLP question - correction Jorge.Pelizzoni at loria.fr
CLP question Jorge.Pelizzoni at loria.fr
CLP question - correction Torsten Anders
CFP: ProMAS special Issue event at in.tu-clausthal.de
A dissertation on the rationale, philosophy, and goals of E and related systems Mark S. Miller
ODBC Filip Konvicka
AIMSA 2006 Second Call for Papers and Participation event at in.tu-clausthal.de
CP 2006: Deadline extension Christian Schulte
FM'06 - Doctoral Symposium - Call for Submissions Augusto Sampaio
European MSc in Computational Logic - more grants available event at in.tu-clausthal.de
EXTENDED DEADLINE : CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006 Luis Gomes
CWI and Utrecht University offer two PhD positions Frank de Boer
Call for papers event at in.tu-clausthal.de
C# Erhan ERİŞKEN
.NET Tunga Torgal
CIA 2006: Deadline Approaching! event at in.tu-clausthal.de
*FMCAD 2006 Deadline Extended* event at in.tu-clausthal.de
CTM Palindrome Example Chris Rathman
CTM Palindrome Example Chris Rathman
.NET Filip Konvička
CTM Palindrome Example Raphael Collet
From OPI to Executables Alan Oswald
From OPI to Executables Raphael Collet
CTM Palindrome Example Chris Rathman
CTM Palindrome Example Chris Rathman
CTM Palindrome Example Jorge.Pelizzoni at loria.fr
CTM Palindrome Example Chris Rathman
CTM Palindrome Example Torsten Anders
LPAR 2006 (Phnom Penh, Cambodia), Last CFP event at in.tu-clausthal.de
Subject: LPAR 2006 (Phnom Penh, Cambodia), Last CFP Miki Hermann
Postdoctoral Research Positions in Flanders event at in.tu-clausthal.de
Postdoctoral Research Positions in Flanders Tom Schrijvers
FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers event at in.tu-clausthal.de
Reminder: Summer School "Reasoning Web 2006", final week for applications event at in.tu-clausthal.de
[Shuly Wintner] [MoL] Workshop on Large-scale Grammar Development and Grammar Engineering Denys Duchier
[Esslli2006.dist] FW: ESSLLI 2006: Call for participation event at in.tu-clausthal.de
2nd CFP: 3rd International Verification Workshop, VERIFY'06 event at in.tu-clausthal.de
Final Call For Participation: CPAIOR 2006 ** STUDENT SUPPORT ** ian miguel
FLORIDA - FLAIRS 2006 - Natural Language and Knowledge Representation event at in.tu-clausthal.de
2nd CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006 event at in.tu-clausthal.de
ICTAC 2006: Final call for papers Chris George
Logic programming 1 Alan Oswald
Logic programming 1 Raphael Collet
Logic Programming 1 Alan Oswald
Logic Programming 1 Chris Rathman
Logic Programming 1 Alan Oswald
Logic Programming 1 Chris Rathman
Logic Programming 1 Raphael Collet
Logic Programming 1 Alan Oswald
Logic Programming 1 Chris Rathman
ICALP 2006 - call for participation ICALP 2006
(2nd CFP) Workshop on Logic-based Methods in Programming Environments Wim Vanhoof
ESSLLI 2007 - Call for Course and Workshop Proposals Tomaz Erjavec
[ESSLLI 2007] Calll for Course and Workshop Proposals Carlos Areces
Logic Programming 1 Peter Van Roy
Logic Programming 1 Peter Van Roy
FMICS'06: Call for Papers Martin Leucker
Functional Reactive Programming in Oz Peter Van Roy
Vim coloration and indentation when editing oz files FSA
Vim coloration and indentation when editing oz files Filip Konvicka
Quick Regex Query Anthony Borla
Path Torsten Anders
'gc.free' Robert Van Dam
The code block Sukit Tretriluxana
The code block Jorge.Pelizzoni at loria.fr
The code block Sukit Tretriluxana
The code block Christian Schulte
Resignation from Mozart board Christian Schulte
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
Resignation from Mozart board Mark Engelberg
The code block Jorge.Pelizzoni at loria.fr
The code block Christian Schulte
Resignation from Mozart board Christian Schulte
The code block Sukit Tretriluxana
Resignation from Mozart board Sukit Tretriluxana
Resignation from Mozart board Peter Van Roy
The code block Raphael Collet
Path Boriss Mejias
Announcing: Post-doc Position at Durham University, UK event at in.tu-clausthal.de
LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION Miki Hermann
Soft real time (was Functional Reactive Programming in Oz) Torsten Anders
Vacancy: logic for knowledge representation / multi-agent systems event at in.tu-clausthal.de
Resignation from Mozart board Sukit Tretriluxana
UITP'06: Final Call for Papers event at in.tu-clausthal.de
ICFEM 2006: final call for contributions and extended deadline Chris George
Final CFP: Qualitative Constraint Calculi [Deadline extended] event at in.tu-clausthal.de
memoization + search script Kilian Sprotte
memoization + search script Raphael Collet
memoization + search script Torsten Anders
memoization + search script Kilian Sprotte
DISPROVING '06 2nd Call f. Papers Wolfgang Ahrendt
PDPAR'06 Call for Papers event at in.tu-clausthal.de
Final CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano at inf.ethz.ch
Accessing Classes in Functors. Alan Oswald
Accessing Classes in Functors. Peter Van Roy
Accessing Classes in Functors. Alan Oswald
Accessing Classes in Functors. Raphael Collet
Quick Regex Query Kevin Glynn
CFP - LaSh06 - Search and Logic: Answer Set Programming and SAT event at in.tu-clausthal.de
Distribution Strategies Mary Aranda Cabezas
Distribution Strategies Luis Quesada
Distribution Strategies Kilian Sprotte
Distribution Strategies Jorge.Pelizzoni at loria.fr
build issue on Mac OS X Paul R Brown
Mac OS X build issue resolved Paul R Brown
Quick AtBang Query Anthony Borla
Quick Regex Query Anthony Borla
Quick Bit Manipilation Query Anthony Borla
Quick Loop Feature Query Anthony Borla
CERTSOFT'06: CFP Jeffery Zucker
Quick AtBang Query Yves Jaradin
Quick Loop Feature Query Yves Jaradin
[Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14 event at in.tu-clausthal.de
Quick AtBang Query Anthony Borla
Quick Loop Feature Query Anthony Borla
*ALPSWS2006 Deadline Extended* event at in.tu-clausthal.de
Mac OS X build issue resolved Kevin Glynn
PPDP 2006 - call for participation event at in.tu-clausthal.de
CISSE 2006 -- The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006)
Quick AtBang Query Sukit Tretriluxana
FCS-ARSPA'06: deadline extension vigano at inf.ethz.ch
Interface! Mary Aranda Cabezas
Interface! Raphael Collet
2nd CFP: Workshop on Generic Programming 2006 Ralf Hinze
CFP: Workshop on Constraint Based Methods for Bioinformatics Gestione_Workshop_WCB06
CP 2006: Call for Tutorial Proposals Christian Schulte
Call for Participation: PLAS 2006 Steve Zdancewic
Final Call for Participation: 2nd International Summer School of the Association for Constraint Programming: GLOBAL CONSTRAINTS ian miguel
CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event at in.tu-clausthal.de
UNIF'06 second call for papers event at in.tu-clausthal.de
UNIF'06 second call for papers Jordi Levy
FINAL CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event at in.tu-clausthal.de
CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006 Luis Gomes
Extended Deadline: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web event at in.tu-clausthal.de
CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming ian miguel
FORMAL METHODS 2006: Call for Participation Jeffery Zucker
Oz Explorer and variables Mary Aranda Cabezas
Oz Explorer and variables Torsten Anders
deadline extension VERIFY'06 event at in.tu-clausthal.de
DCC06 Conference - Registration Now Open event at in.tu-clausthal.de
Record.adjoin documentation wrong? Paul Dufresne
Record.adjoin documentation wrong? Raphael Collet
Workshop on (logic-based) programming environments - DEADLINE EXTENSION Wim Vanhoof
*ATAC'2006: Extended deadline (May 28)* event at in.tu-clausthal.de
Prefs 2006 -- CALL FOR PAPERS event at in.tu-clausthal.de
OnToContent 2006, Ontology Content and Evaluation in Enterprise Workshop, (Submission, June 30), call1 event at in.tu-clausthal.de
Record.adjoin documentation wrong? Kevin Glynn
DISPROVING '06 2nd Call f. Papers event at in.tu-clausthal.de
CALL FOR PAPERS: CICLOPS 2006 event at in.tu-clausthal.de
Record.adjoin documentation wrong? Mark Engelberg
CFP: ESAW 2006 event at in.tu-clausthal.de
Oz Explorer and variables Mary Aranda Cabezas
Oz Explorer and variables Gustavo Gutierrez
Oz Explorer and variables Raphael Collet
FM06 - Doctoral Symposium - FINAL CALL Augusto Sampaio
PATAT 2006: Call for Participation PATAT 2006
BCI2006: Call for partecipation BCI2006
FS.distinct Kilian Sprotte
Bit operations on integer Sukit Tretriluxana
1 PhD and 1 Post-doc position at CWI, Amsterdam Frank de Boer
FS.distinct bug? Kilian Sprotte
Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
Oz Explorer and variables Mary Aranda Cabezas
FS.distinct bug? Kilian Sprotte
Bit operations on integer Anthony Borla
Help with ozh Marko Zerdin
Bit operations on integer Sukit Tretriluxana
FS.distinct bug? Raphael Collet
Help with ozh Torsten Anders
Bit operations on integer Fred Spiessens
Help with ozh Filip Konvicka
Bit operations on integer Anthony Borla
Help with ozh Marko Zerdin
Help with ozh Marko Zerdin
Help with ozh Filip Konvicka
Bit operations on integer Sukit Tretriluxana
Help with ozh Marko Zerdin
VMCAI'07: Call for papers Byron Cook
VMCAI'07: Call for papers Byron Cook
Oz Explorer and variables Raphael Collet
Help with ozh Filip Konvička
Closing the Event@CIG list event at in.tu-clausthal.de
Help with ozh Marko Zerdin
Help with ozh Marko Zerdin
Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
Help with ozh Filip Konvicka
Help with ozh Filip Konvicka
Help with ozh Torsten Anders
Help with ozh Filip Konvička
Thesis proofreading? Torsten Anders
Help with ozh Torsten Anders
Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007 Carlos Areces
Help with ozh Keith Massey
AIPR-07 Call for papers Chase Williams
FLoC'06 -- Call for Participation Kreutzer + Schweikardt
Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
Deadline extension RuleML2006 "Michael Kifer, Thomas Eiter, Enrico Franconi, Susie Stephens, Ralph Hodgson" at kr.tuwien.ac.at
Overriding 'Dictionary' to avoid non-determinism Torsten Anders
ozmake --config Fredrik Kronlid
Help with ozh Filip Konvička
Help with ozh Filip Konvička
Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
Overriding 'Dictionary' to avoid non-determinism Konstantin Popov
release dates? Robert Ritchey
Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
Position Announcement: Please distribute Paolo Mancarella
Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
Mozart package for MacIntel Fred Spiessens
Overriding 'Dictionary' to avoid non-determinism Torsten Anders
Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
Mozart package for MacIntel Kevin Glynn
Oz Explorer and variables Mary Aranda Cabezas
ICTAC 2006: Final call for tutorials Chris George
Call for Participation --- ICLP'06 A Serebrenik
Overriding 'Dictionary' to avoid non-determinism Torsten Anders
1st Asian Working Conference on Verified Software Chris George
Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
ozmake --config Kevin Glynn
ozmake --config Filip Konvička
call for paper: workshop on constraints and security Stefano Bistarelli
CERTSOFT'06: Revised CFP Jeffery Zucker
ICFP Programming Contest, 2006 Paul Dufresne
cfp CPSec 2006 Fred Spiessens
CFV'06: Call for Papers Miroslav Velev
Time.system question Chris Rathman
ICFP Programming Contest, 2006 Andreas Rossberg
Time.system question Raphael Collet
CFP: 5th International Workshop on Constraint Modelling and Reformulation ian miguel
Time.system question Chris Rathman
Time.system question Boriss Mejias
Time.system question Kevin Glynn
ps.uni-sb.de is back online Guido Tack
Time.system question Raphael Collet
Time.system question Chris Rathman
New macro pre-processor for Oz tooli
HyLo 2006: Extended Deadline Carlos Areces
New macro pre-processor for Oz David Hopwood
FMICS, FINAL CFP, DL: 06/05/06 Martin Leucker
Time.system question Kevin Glynn
Functional Reactive Programming in Oz (revisited) Peter Van Roy
Functional Reactive Programming in Oz (revisited) Peter Van Roy
The Future is dataflow Bob Calco
TPLP special issue second call for papers Maria Garcia de la Banda
ESSLLI 2007 - Second Call for Course and Workshop Proposals Carlos Areces
Distribution Strategy Mary Aranda Cabezas
Help defining parameters for constraint programming George Rudolph
ICALP / PPDP / LOPSTR 2006 - 2nd call for participation ICALP 2006
Use of variables in patterns Kevin Glynn
POPL 2007 Call for Papers Sorin Lerner
Use of variables in patterns Filip Konvička
Distribution Strategy Raphael Collet
Distribution Strategy Raphael Collet
LOPSTR'06 - CALL FOR PARTICIPATION Convegno LOPSTR'06
Infrastructure for Mozart development Torsten Anders
Use of variables in patterns Torsten Anders
Use of variables in patterns Filip Konvička
Use of variables in patterns Boriss Mejias
Intefacing Java and OZ Craig Ugoretz
My previous post Craig Ugoretz
Code freeze for Mozart 1.3.2 Boriss Mejias
Intefacing Java and OZ Torsten Anders
Help defining parameters for constraint programming Torsten Anders
Oz module for SHA algorithm Sukit Tretriluxana
Help defining parameters for constraint programming Raphael Collet
Global Cardinality Constraint Brandon Eames
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
Multi-Valued Logic Programming and App: Extended Deadline Gopal Gupta
Call for Organizing ICLP 2007 Gopal Gupta
Code freeze for Mozart 1.3.2 Boriss Mejias
Fwd: Oz Torsten Anders
Fwd: Oz Raphael Collet
Strasheela 0.8 released Torsten Anders
EISWT-07 Call for papers Chase Williams
SETP-07 Call for papers Chase Williams
HPCNCS-07 Call for papers Chase Williams
AIPR-07 call for papers Chase Williams
CFP: AOAisa 2006 Yoshinao Isobe
Help with scheduling of tasks problem Tim Heath
Help with scheduling of tasks problem Filip Konvička
CFP: KCSD 2006 Yoshinao Isobe
Help with scheduling of tasks problem&In-Reply-To=mailman.69.1149662727.939.mozart-users@ps.uni-sb.de Tim Heath
exe file Mary Aranda Cabezas
New macro pre-processor for Oz Torsten Anders
Help with scheduling of tasks problem&In-Reply-To=mailman.69.1149662727.939.mozart-users@ps.uni-sb.de Filip Konvička
exe file Torsten Anders
New macro pre-processor for Oz Olivier Tonglet
New macro pre-processor for Oz Torsten Anders
Call for papers for B 2007 conference Jacques Julliand
Help with the \=: constraint operator in csp Tim Heath
Help with the \=: constraint operator in csp Jorge.Pelizzoni at loria.fr
A kind of status bar to see where the Search is in csp Tim Heath
A kind of status bar to see where the Search is in csp Torsten Anders
A kind of status bar to see where the Search is in csp Luis Quesada
A kind of status bar to see where the Search is in csp Himanshu Neema
How to schedule if a task can be done by multiple resources Tim Heath
A kind of status bar to see where the Search is in csp Torsten Anders
How to schedule if a task can be done by multiple resources Filip Konvička
A kind of status bar to see where the Search is in csp Luis Quesada
A kind of status bar to see where the Search is in csp Robert Van Dam
A kind of status bar to see where the Search is in csp Tim Heath
A kind of status bar to see where the Search is in csp Robert Van Dam
A kind of status bar to see where the Search is in csp Jorge.Pelizzoni at loria.fr
Function composition Chris Rathman
Function composition Kevin Glynn
A kind of status bar to see where the Search is in csp Luis Quesada
Function composition Chris Rathman
Inline Functors Chris Rathman
Inline Functors Andreas Franke
OZNLP book -- modules question Stijn De Saeger
OZNLP book -- modules question Jorge.Pelizzoni at loria.fr
OZNLP book -- modules question Stijn De Saeger
A kind of status bar to see where the Search is in csp Torsten Anders
SOS on my scheduler, please help me to finish it Tim Heath
LPAR 2006 - CALL FOR WORKSHOP PROPOSALS cscharff at pace.edu
SOS on my scheduler, please help me to finish it Himanshu Neema
BCI 2006 -- registration is open BCI2006
Call for participation: Symposium on SAT-solvers and Program Verification, at FLOC in Seattle Byron Cook
Symposium on SAT-solvers and Program Verification, at FLOC in Seattle Byron Cook
SOS on my scheduler, please help me to finish it Tim Heath
SOS on my scheduler, please help me to finish it Filip Konvička
CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation Mohammadian, Masoud
SOS on my scheduler, please help me to finish it Filip Konvic(ka
CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation Mohammadian, Masoud
Call For Papers: TACAS 2007 Grumberg + Huth
Release of Mozart 1.3.2 Boriss Mejias
CP-TOOLS-06: First International Day on Constraint Programming Tools Christian Schulte
Release of Mozart 1.3.2 Torsten Anders
Release of Mozart 1.3.2 Boriss Mejias
Release of Mozart 1.3.2 Raphael Collet
Release of Mozart 1.3.2 Boriss Mejias
Release of Mozart 1.3.2 Torsten Anders
Release of Mozart 1.3.2 Torsten Anders
Release of Mozart 1.3.2 Kevin Glynn
Release of Mozart 1.3.2 Torsten Anders
Release of Mozart 1.3.2 Torsten Anders
PATAT 2006: Early Registration Ends June 27 PATAT 2006
Release of Mozart 1.3.2 Boriss Mejias
question regarding learning constraint-handling in OZ, Unification in OZ George Rudolph
question regarding learning constraint-handling in OZ, Unification in OZ Raphael Collet
CPSec workshop extended deadline! Stefano Bistarelli
Instructions for downloading Debian Kevin Glynn
Fwd: aosd 2007 Raphael Collet
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
PADL'07: CALL FOR PAPERS Gopal Gupta
OZRC on windows Torsten Anders
OZRC on windows Yves Jaradin
OZRC on windows Torsten Anders
***deadline extended*** 2nd Asian Workshop on AOSD Yoshinao Isobe
CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming ian miguel
un Ali Ghodsi
Instructions for downloading Debian Chris Campbell
Instructions for downloading Debian Kevin Glynn
How to handle shifts on the resources when a task should be broken up Tim Heath
How to handle shifts on the resources when a task should be broken up Chris vanBuskirk
How to handle shifts on the resources when a task should be broken up Tim Heath
How to handle shifts on the resources when a task should be broken up Filip Konvicka
CISSE 2006 -- The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering CISSE
Call for Participation: SAS 2006 Kwangkeun Yi
How to handle shifts on the resources when a task should be broken up Grégoire Dooms
Compiler error help Tim Heath
print all values inside of start Tim Heath
print all values inside of start Kari Pahula
Compiler error help Filip Konvicka
print all values inside of start Raphael Collet
BCI 2006 -- registration is open BCI2006
Assigning a label to a variable Tim Heath
Assigning a label to a variable Filip Konvicka
Assigning a label to a variable Chris vanBuskirk
The AVISPA Tool - v1.1 Laurent.Vigneron at loria.fr
Assigning a label to a variable Filip Konvicka
FORMAL METHODS 2006: Early Reg. Deadline Jeffery Zucker
Extended deadline for B 2007 conference Jacques Julliand
CFP: 5th International Workshop on Constraint Modelling and Reformulation ian miguel
FLoC 06 -- Call For Participation Kreutzer + Schweikardt
E. W. Beth Dissertation Prize: call for submissions Carlos Areces
oddities... Jens Grabarske
CFP - ACM CLAT07 - Call For Papers Tope Omitola
Interested in hiring a tutor for mozart oz constraint programming Tim Heath
Call for Participation: ASE 2006 Yoshinao Isobe
Call For Participation: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) Luca Vigano
10th JELIA: Call for Participation Wiebe van der Hoek
Wisdomics and Mozart/OZ Craig Ugoretz
Wisdomics and Mozart/OZ Torsten Anders
CPSec 2006 extended deadline Stefano Bistarelli
ACL2 2006 Call For Participation Panagiotis Manolios
Wisdomics and Mozart/OZ Craig Ugoretz
Wisdomics and Mozart/OZ Craig Ugoretz
Wisdomics and Mozart/OZ Brent Fulgham
CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation Mohammadian, Masoud
Wisdomics and Mozart/OZ Torsten Anders
Call for paper: ACM SAC track on Software Verification Lunjin Lu
Osmoz : an IDE for Mozart/Oz Ludwig Jossieaux
Osmoz : an IDE for Mozart/Oz Filip Konvička
Osmoz : an IDE for Mozart/Oz Peter Van Roy
Wisdomics and Mozart/OZ Peter Van Roy
Programming book in C# is Published Nortown Press
new RPMs available. Boriss Mejias
Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
CP 2006: Call for Participation Christian Schulte
CP 2006: Call for Demos Christian Schulte
CP-TOOLS-06: First International Day on Constraint Programming Tools Christian Schulte
An apology and clarification (about wisdomics) Craig Ugoretz
FMCO 2006: second call for tutorial papers M.M. Bonsangue
Question on Tutorial 12 Logic Programming Alex Peake
Question on Tutorial 12 Logic Programming Filip Konvicka
ICFP Contest to begin next friday (july 21) Paul Dufresne
Question on Tutorial 12 Logic Programming Peter Van Roy
Osmoz : an IDE for Mozart/Oz Ludwig Jossieaux
Osmoz : an IDE for Mozart/Oz Ludwig Jossieaux
Question on Tutorial 12 Logic Programming Paul Dufresne
Osmoz : an IDE for Mozart/Oz Paul Dufresne
Osmoz : an IDE for Mozart/Oz Filip Konvicka
Osmoz : an IDE for Mozart/Oz Ludwig Jossieaux
Osmoz : an IDE for Mozart/Oz Paul Dufresne
FMICS06 - Call for Participation Martin Leucker
Mozart compilation error Tomasz Primke
Mozart compilation error Raphael Collet
PSC Track @ SAC cfp Emiliano Tramontana
Computer Language Shootout Isaac Gouy
SAS 2006 Call for Participation Kwangkeun Yi
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Filip Konvička
CALL FOR BOOK CHAPTER CONTRIBUTIONS Bhanu Prasad
CALL FOR BOOK CHAPTER CONTRIBUTIONS Bhanu Prasad
CALL FOR BOOK CHAPTER CONTRIBUTIONS Bhanu Prasad
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Filip Konvička
Beginner Question about Emacs and Xemacs Boriss Mejias
Computer Language Shootout Boriss Mejias
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Pavel Rozenblioum
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Filip Konvička
Beginner Question about Emacs and Xemacs Torsten Anders
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Filip Konvička
Beginner Question about Emacs and Xemacs Chris Share
Beginner Question about Emacs and Xemacs Yves Jaradin
Beginner Question about Emacs and Xemacs Filip Konvička
Functor and output files Mary Aranda Cabezas
Functor and output files Mary Aranda Cabezas
Functor and output files Robert Van Dam
Call for Participation --- ICLP'06 A Serebrenik
Functor and output files Andreas Franke
CFP: JSAT S.I. on Satisfiability Modulo Theories Roberto Sebastiani
Event@CIG list re-opening with a new policy event at in.tu-clausthal.de
Operator Functions Chris Rathman
Operator Functions Kevin Glynn
Operator Functions Filip Konvicka
ICSM 2006 Call for Participation icsm-info at FernUni-Hagen.de
ISQED'07 Call For Papers Lech Jozwiak
Call For Extended Abstracts : International Symmetry Conference Chris Jefferson
Functor and time Mary Aranda Cabezas
ICFEM 2006 CALL FOR PARTICIPATION Chris George
Mozart Secure / Hurd on L4 Torsten Anders
Tcl/Tk error handling Filip Konvička
Figure implementation begins Michael FIG
Just some thoughts on Oz Tomasz Primke
Figure implementation begins Michael FIG
CFP for Practical Aspects of Declarative Languages: 9th Symposium Gopal Gupta
Just some thoughts on Oz Brent Fulgham
Question!! Mary Aranda Cabezas
Question!! Torsten Anders
CP 2006: Call for Participation Christian Schulte
--- ECSI Workshop on Sept 18, 2006 > High Level Synthesis --- office at ecsi.org
Call For Papers - Submission Deadline Oct 13th - CISSE 2006 Online International E-Conference CISSE 2006 Online E-Conference
Just some thoughts on Oz Raphael Collet
Just some thoughts on Oz David Hopwood
1.3.2 on winXP - ozmake hangs when detecting gnu Jorge.Pelizzoni at loria.fr
Just some thoughts on Oz Boriss Mejias
Just some thoughts on Oz Torsten Anders
Just some thoughts on Oz Luis Quesada
Just some thoughts on Oz Boriss Mejias
PATAT 2006 Call for Participation PATAT 2006
Just some thoughts on Oz Filip Konvička
Just some thoughts on Oz Mitchell N Charity
ASE 2006: Early registration deadline - August 18 Yoshinao Isobe
Just some thoughts on Oz Torsten Anders
Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning' Luca Vigano
FDL'06 - Advance Registration by August 26, 2006 training at ecsi.org
aosd 2007 Oege.de.Moor at comlab.ox.ac.uk
[Fwd: oz version 1.3.1] Raphael Collet
[Fwd: Call for participation: Workshop on Generic Programming 2006] Raphael Collet
crazy...please help!! Kilian Sprotte
crazy...please help!! Torsten Anders
[Fwd: oz version 1.3.1] Raphael Collet
crazy...please help!! Torsten Anders
crazy...please help!! Kilian Sprotte
crazy...please help!! Raphael Collet
[constraints] recomputation with 'random distribution' Kilian Sprotte
Figure implementation begins Peter Van Roy
Functor and time David López
timetabling David López
Functor and time Raphael Collet
timetabling Raphael Collet
Functor and time Boriss Mejias
Mozart/Oz and Ubuntu Mary Aranda Cabezas
Mozart/Oz and Ubuntu Kevin Glynn
Mozart/Oz and Ubuntu Boriss Mejias
Mozart/Oz and Ubuntu Chris Campbell
Help on cardinality constraints for problem from Combinatorial Design Theory George Rudolph
Call For Papers - Submission Deadline Oct 13th - CISSE 2006 Online International E-Conference CISSE 2006 Online E-Conference
Call for SHORT PAPERS, LPAR 2006 (Phnom Penh, Cambodia) Miki Hermann
Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL) Gopal Gupta
Help on cardinality constraints for problem from Combinatorial Design Theory Torsten Anders
Help on cardinality constraints for problem from Design Theory George Rudolph
FMCO 2006: last call for tutorial papers M.M. Bonsangue
Help on cardinality constraints for problem from Design Theory Jorge Marques Pelizzoni
Simple IP problem Tomasz Primke
A problem with standalone apps Tomasz Primke
Simple IP problem Raphael Collet
A problem with standalone apps Raphael Collet
ICTAC 2006: Registration, Scholarships and School Karim Djouani
A problem with standalone apps Boriss Mejias
Running Mozart on OS X Intel Bill Atkins
Running Mozart on OS X Intel Gustavo Gutierrez
Running Mozart on OS X Intel Bill Atkins
Running Mozart on OS X Intel Gustavo Gutierrez
Running Mozart on OS X Intel Gustavo Gutierrez
Running Mozart on OS X Intel Bill Atkins
Running Mozart on OS X Intel Gustavo Gutierrez
Running Mozart on OS X Intel Gustavo Gutierrez
file.so and windows Mary Aranda Cabezas
file.so and windows Gustavo Gutierrez
Running Mozart on OS X Intel Bill Atkins
Running Mozart on OS X Intel Gustavo Gutierrez
Running Mozart on OS X Intel Boriss Mejias
Running Mozart on OS X Intel Boriss Mejias
--- ECSI Workshop on Sept 18, 2006 > High Level Synthesis --- training at ecsi.org
Running Mozart on OS X Intel Raphael Collet
Running Mozart on OS X Intel Boriss Mejias
2nd CALL FOR PAPERS: CLAT 2007 Tope Omitola
CTM: blocking & pattern matching Moe Aboulkheir
2nd CALL FOR PAPERS: CLAT 2007 bryan rasmussen
2nd CALL FOR PAPERS: CLAT 2007 bryan rasmussen
CP 2006: Call for Participation Christian Schulte
CP-Tools-06: Call for Participation Christian Schulte
file.so and windows Mary Aranda Cabezas
Strategies Mary Aranda Cabezas
file.so and windows Gustavo Gutierrez
Strategies Raphael Collet
Call for book chapters on neural networks Bhanu Prasad
strategies Mary Aranda Cabezas
Final CFP: VMCAI submission deadline is 23 days away. Byron Cook
Final CFP: VMCAI submission deadline is 23 days away. Byron Cook
Selection constraints on Windows: installation problems Torsten Anders
reinstall Module Kilian Sprotte
Suspended Spaces in Alice Chris vanBuskirk
FDL'06 - September 19-22, 2006 - Darmstadt, Germany - Invitation to Participate training at ecsi.org
Suspended Spaces in Alice Torsten Anders
reinstall Module Torsten Anders
Unable to compile a code anil nelakanti
Unable to compile a code Andreas Franke
Unable to compile a code Pavel Rozenblioum
Selection constraints on Windows: installation problems Torsten Anders
Suspended Spaces in Alice Raphael Collet
AOSD 2007: final call Oege.de.Moor at comlab.ox.ac.uk
strategies Raphael Collet
strategies Mary Aranda Cabezas
mozart-users Digest, Vol 33, Issue 10 Mary Aranda Cabezas
--- ECSI Workshop on Sept 18, 2006 > High Level Synthesis --- training at ecsi.org
mozart-users Digest, Vol 33, Issue 10 Luis Quesada
oz and emacs problems Orm Finnendahl
oz and emacs problems Boriss Mejias
oz and emacs problems Orm Finnendahl
oz and emacs problems Raphael Collet
oz and emacs problems Orm Finnendahl
oz and emacs problems Yves Jaradin
oz and emacs problems Boriss Mejias
oz and emacs problems Orm Finnendahl
Clarification on problem from Combinatorial Design Theory George Rudolph
CTM: blocking & pattern matching Robert Van Dam
CAV 2007: Call for Workshop Proposals CAV 2007
<N: VoidRegister> Filip Konvička
<N: VoidRegister> Andreas Franke
<N: VoidRegister> Filip Konvička
Clarification on problem from Combinatorial Design Theory Raphael Collet
Call for papers: TACAS'07, submission deadlines Oct.6/Oct.13 Byron Cook
Call for papers: TACAS'07, submission deadlines Oct.6/Oct.13 Byron Cook
build problem on OS X 10.3.9 Graham Percival
LPAR 2006 (Phnom Penh, Cambodia), Call for Participation Miki Hermann
build problem on OS X 10.3.9 Boriss Mejias
Fixed: Tk main window stealing focus from console at startup Filip Konvička
build problem on OS X 10.3.9 Marc-Antoine Parent
How to show/print without showing quotation marks? Gary T. Leavens
build problem on OS X 10.3.9 Graham Percival
How to show/print without showing quotation marks? Andreas Franke
How to show/print without showing quotation marks? Gary T. Leavens
CTM: blocking & pattern matching Peter Van Roy
Suspended Spaces in Alice Guido Tack
Possible system problem with Mozart 1.3.2 Francesco Safai Tehrani
Possible system problem with Mozart 1.3.2 Kevin Glynn
Possible system problem with Mozart 1.3.2 Boriss Mejias
Possible system problem with Mozart 1.3.2 Fred Spiessens
NewBie: Conversion of Int to float sujeet kumar
Possible system problem with Mozart 1.3.2 Yves Jaradin
NewBie: Conversion of Int to float Raphael Collet
Parallel/ distributed solution to CSP Pieter Thysebaert
4th International Conference on Game Design and Technology and Workshop 2006 - Call for Papers El Rhalibi, Abdennour
WoLLIC'2007 - Call for Papers Ruy de Queiroz
3rd Workshop on the Rewriting Calculus Luigi Liquori
Problem with functor statements Gary T. Leavens
Problem with functor statements Torsten Anders
Problem with functor statements Raphael Collet
The Reasoned Oz Daniel Friedman
The Reasoned Oz Daniel Friedman
problem compiling on x86_64 (linux) Ramon Diaz-Uriarte
problem compiling on x86_64 (linux) Raphael Collet
The Reasoned Oz Chris Rathman
problem compiling on x86_64 (linux) Ramon Diaz-Uriarte
The Reasoned Oz Torsten Anders
installing mozart on mac intel Sciss
installing mozart on mac intel Boriss Mejias
problem compiling on x86_64 (linux) Kevin Glynn
X11 (not Aqua) OzWish? John T Hale
Call For Papers - Submission Deadline in Three Weeks - CISSE 2006 Online International E-Conference. The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering.
X11 (not Aqua) OzWish? Benjamin L. Russell
problem with David López
installing mozart on mac intel Sciss
problem with Boriss Mejias
X11 (not Aqua) OzWish? Boriss Mejias
installing mozart on mac intel Boriss Mejias
timetabling problem, sum tuplas David López
X11 (not Aqua) OzWish? John T Hale
Assert procedure in Oz? Gary T. Leavens
Assert procedure in Oz? Gary T.