2006 Archives by thread
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
- 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
Raphael Collet
- 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
- 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
- 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
- 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
- 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
- FOIKS: Call for Participation
event at in.tu-clausthal.de
- Announcement: Gecode 1.0.0 released
Filip Konvička
- 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
- 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
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
Raphael Collet
- 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
- 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
- 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
- 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
- NMR Workshop: Deadline Extension to February 17th
event at in.tu-clausthal.de
- 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
- 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
- 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
Harmon Nine
- 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
- 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
- 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
- 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]
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
- 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
- CFP: CIA 2006 - 10th Intl Wshp on Cooperative Information Agents
event at in.tu-clausthal.de
- copy the program
Nick Kostirya
- question: execution parallel code on cmd line
Lucia Cambise
- Final CFP: Programming Languages and Analysis for Security (PLAS)
2006
Steve Zdancewic
- Logic and Reasoning Workshop CFP
geoff at cs.miami.edu
- CFP: Mathematically Structured Functional Programming
Conor McBride
- question: execution parallel code on cmd line
Christian Schulte
- Calling ozc.exe
Chris Rathman
- 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
- 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
Chris Rathman
- 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
- Choice and Power Sets
Chris Rathman
- BNAIC'06 : BeNeLux conference on Artificial Intelligence
event at in.tu-clausthal.de
- What is actually copied when a space is cloned?
Torsten Anders
- CFP: LFMTP 2006
event at in.tu-clausthal.de
- Choice and Power Sets
Harmon Nine
- Choice and Power Sets
Raphael Collet
- What is actually copied when a space is cloned?
Raphael Collet
- Call for Posters - ICLP 2006 - Deadline: March, 14
A Serebrenik
- What is actually copied when a space is cloned?
Stefano Gualandi
- 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
- 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
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
- 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
- Use of variables in patterns
Filip Konvička
- FM'06 Doctoral Symposium
Augusto Sampaio
- Infinite Choices
Luis Quesada
- Infinite Choices
Filip Konvicka
- Infinite Choices
Luis Quesada
- Infinite Choices
Filip Konvicka
- 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
Raphael Collet
- Use of variables in patterns
Filip Konvička
- EASSS 2006: Call For Participation
event at in.tu-clausthal.de
- ACM PPDP'06 Deadline extension
Michael Maher
- Infinite Choices
Raphael Collet
- FMCO 2006: call for tutorial papers
M.M. Bonsangue
- CP 2006: Applications to Doctoral Programme
Christian Schulte
- Use of variables in patterns
Raphael Collet
- lazy tree creation
Robert Van Dam
- lazy tree creation
Luis Quesada
- lazy tree creation
Luis Quesada
- lazy tree creation
Luis Quesada
- lazy tree creation
Luis Quesada
- lazy tree creation
Raphael Collet
- Macros
Raphael Collet
- (CFP) Workshop on Logic-based Methods in Programming Environments
Wim Vanhoof
- Macros
Raphael Collet
- Macros
Torsten Anders
- Macros
Raphael Collet
- Macros
Raphael Collet
- Macros
Raphael Collet
- Macros
Raphael Collet
- lazy tree creation
Luis Quesada
- CFP: LCC'06 - Workshop on Logic and Computational Complexity
event at in.tu-clausthal.de
- 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
- Last CFP: 2nd International Workshop on Coordination and
Organisation (CoOrg 2006)
event at in.tu-clausthal.de
- CFP - Search and Logic: ASP and SAT
event at in.tu-clausthal.de
- Outputting Lists with QTk
Alan Oswald
- Outputting Lists with QTk
Alan Oswald
- List Comprehensions?
Mark Engelberg
- List Comprehensions?
Luis Quesada
- List Comprehensions?
Raphael Collet
- List Comprehensions?
Luis Quesada
- List Comprehensions?
Luis Quesada
- 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
- Unstable client/server
Jens Grabarske
- Unstable client/server
Raphael Collet
- 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
- 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
- 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
Alan Oswald
- Generating Random Numbers
Alan Oswald
- problems with very large pickles
Robert Van Dam
- 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
- 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
- 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
- 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
Raphael Collet
- 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
- .NET
Filip Konvička
- CTM Palindrome Example
Raphael Collet
- From OPI to Executables
Alan Oswald
- From OPI to Executables
Raphael Collet
- 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
Alan Oswald
- Logic Programming 1
Raphael Collet
- Logic Programming 1
Alan Oswald
- 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
- 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
- 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
Christian Schulte
- The code block
Raphael Collet
- Announcing: Post-doc Position at Durham University, UK
event at in.tu-clausthal.de
- LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION
Miki Hermann
- Vacancy: logic for knowledge representation / multi-agent systems
event at in.tu-clausthal.de
- 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
- 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.
Alan Oswald
- Accessing Classes in Functors.
Raphael Collet
- 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
- build issue on Mac OS X
Paul R Brown
- Mac OS X build issue resolved
Paul R Brown
- Quick Bit Manipilation Query
Anthony Borla
- Quick Loop Feature Query
Anthony Borla
- CERTSOFT'06: CFP
Jeffery Zucker
- [Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14
event at in.tu-clausthal.de
- *ALPSWS2006 Deadline Extended*
event at in.tu-clausthal.de
- 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)
- 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
- 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
- DISPROVING '06 2nd Call f. Papers
event at in.tu-clausthal.de
- CALL FOR PAPERS: CICLOPS 2006
event at in.tu-clausthal.de
- CFP: ESAW 2006
event at in.tu-clausthal.de
- Oz Explorer and variables
Mary Aranda Cabezas
- 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
- Overriding 'Dictionary' to avoid non-determinism
Himanshu Neema
- Oz Explorer and variables
Mary Aranda Cabezas
- Bit operations on integer
Anthony Borla
- Help with ozh
Marko Zerdin
- FS.distinct bug?
Raphael Collet
- Help with ozh
Filip Konvicka
- Bit operations on integer
Anthony Borla
- Help with ozh
Filip Konvicka
- 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
Filip Konvicka
- Help with ozh
Filip Konvicka
- Help with ozh
Filip Konvička
- Thesis proofreading?
Torsten Anders
- Conference on Logic, Computability and Randomness, Buenos Aires,
January 10-13, 2007
Carlos Areces
- 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
- ozmake --config
Fredrik Kronlid
- Help with ozh
Filip Konvička
- Help with ozh
Filip Konvička
- 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
- Oz Explorer and variables
Mary Aranda Cabezas
- ICTAC 2006: Final call for tutorials
Chris George
- Call for Participation --- ICLP'06
A Serebrenik
- 1st Asian Working Conference on Verified Software
Chris George
- 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
- ps.uni-sb.de is back online
Guido Tack
- Time.system question
Raphael Collet
- New macro pre-processor for Oz
tooli
- HyLo 2006: Extended Deadline
Carlos Areces
- FMICS, FINAL CFP, DL: 06/05/06
Martin Leucker
- 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
- 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
Filip Konvička
- Intefacing Java and OZ
Craig Ugoretz
- My previous post
Craig Ugoretz
- Code freeze for Mozart 1.3.2
Boriss Mejias
- 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
- 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
- Help with scheduling of tasks
problem&In-Reply-To=mailman.69.1149662727.939.mozart-users@ps.uni-sb.de
Filip Konvička
- 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
- 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
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
- 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
- Function composition
Chris Rathman
- A kind of status bar to see where the Search is in csp
Luis Quesada
- Inline Functors
Chris Rathman
- OZNLP book -- modules question
Stijn De Saeger
- 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
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
Raphael Collet
- PATAT 2006: Early Registration Ends June 27
PATAT 2006
- 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
- ***deadline extended*** 2nd Asian Workshop on AOSD
Yoshinao Isobe
- CFP: Constraints Journal Special Issue on Symmetry in Constraint
Programming
ian miguel
- un
Ali Ghodsi
- 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
- 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
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
- 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
- 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
- Call for paper: ACM SAC track on Software Verification
Lunjin Lu
- Osmoz : an IDE for Mozart/Oz
Ludwig Jossieaux