2004 Archives by thread
Starting: Tue Jan 6 15:12:39 CEST 2004
Ending: Thu Dec 30 16:02:42 CEST 2004
Messages: 1179
- Please help a mozart newbie :)
Tommy Str°mhaug
- newbie
Tommy Strømhaug
- newbie
JHawkinsMusic at aol.com
- Search Tree
Tilo Behrmann
- Object reflection
Simon Beaumont
- Question on arrays and text processing
Svetoslav.Marinov at isp.his.se
- array question revisited
Svetoslav.Marinov at isp.his.se
- Question on arrays and text processing
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- FWD: [m-dev.] Rotor RFP
Kevin Glynn
- gump tokenizer problem
Renaud De Landtsheer
- Please help me to understand this error
Arbi Amel
- NetBSD lossage
Zork
- Ask for information about space.inject
Arbi Amel
- Can an ActiveX DLL be called from Oz
Thompson, Kelly
- theorem prover in Oz
Juergen Stuber
- XML Parser (mogul:/duchier/xml/parser)
Kevin Glynn
- Constant data members of an Oz Class
Harmon S. Nine
- info on emacs
Jorge M. Pelizzoni
- FS.reified.bounds(N) undocumented
Jorge M. Pelizzoni
- Float precision in case of irrational numbers (Sqrt)
Túry Péter
- Gump and OS X (10.3)
Simon Beaumont
- Mozart 7 Music Programming
JHawkinsMusic at aol.com
- [ANN] mozart lists migrated to mailman
Denys Duchier
- Function
Herbey Zepeda
- Strange effect of Browse
Ole Edsberg
- CfP Workshop of guarded logics ESSLLI'04
Natasha Alechina
- CP 2004 Call for Applications to Doctoral Programme
Gilles Pesant
- CP 2004 Call for Workshop and Tutorial Proposals
Gilles Pesant
- ESSLLI 2004: Preliminary Announcement
Methods for Modalities
- LCMAS@ESSLLI Final CFP
Alessio Lomuscio
- newbie question: locks
albertod at puj.edu.co
- newbie question: locks
albertod at puj.edu.co
- CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
lvigano at inf.ethz.ch
- Execute bytecode on LVM
Per Kristian Lehre
- newbie question: locks
user at domain.invalid
- newbie question: locks
Denys Duchier
- CHR in Oz
Andres Becerra Sandoval
- Programming textbook available in March
Peter Van Roy
- Mozart.NET ?
Mike
- newbie
Mike
- The Inspector: New widget
Torbjörn Lager
- Thank you so very much.
Robin Lee Powell
- The Inspector: New widget
Thorsten Brunklaus
- ICTAC 2004 (China), call for contributions
Bernhard K. Aichernig
- CP+CV'04: Program and Call for Participation
Giorgio Delzanno
- Interfacing to c++ using msvc
Gabriel Skantze
- [ANN] mailman moderation delay fixed
duchier at ps.uni-sb.de
- CHR in Oz
Juergen Stuber
- native ?
Tommy Strømhaug
- LAST CFP: ICLP'04 (International Conference on Logic Programming)
Arnaud Gotlieb
- ESSLLI 2004: Registration Open
Carlos Areces
- Subspace stabilization problem
David Hanak
- native ?
Peter Van Roy
- Execute bytecode on LVM
Leif Kornstaedt [MSFT]
- Preliminary CFP: Second Int'l Mozart/Oz Conference (MOZ 2004)
Peter Van Roy
- Deadline extension : ESSLLI'04 Student Session
Paul Egré
- Mozart 1.2.5 in SuSE 9.0 using gcc-3.3.2 succeed
Carlos A. Martinez
- source code for tutorials
paul sorenson
- Local Search
adfm at scs-net.org
- implementation strategy
sosman
- mozart fatal error!!!! please help
Jason Phillips
- flattening record?
paul sorenson
- flattening record?
sosman
- flattening record?
Kevin Glynn
- Impossible to installMozart on Windows XP
Yves.Pocchiola at space.alcatel.fr
- flattening record?
Igor R. Sucupira
- flattening record?
sosman
- 29 Feb "AUTONOMOUS COMPUTING and AGENTS for BUSINESS AUTOMATION"
ABA
- Impossible to installMozart on Windows XP
Thorsten Brunklaus
- mozart fatal error!!!! please help
Raphael Collet
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
Igor R. Sucupira
- Extended deadline for ICLP'04
Arnaud Gotlieb
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
sosman
- Call for Papers: LOPSTR04, PEPM04, PPDP04, SAS04 and affiliated
workshops
Fausto Spoto
- installation on RHL WS
Deepak Ramachandran
- blocking syscall
Nick Kostirya
- installation on RHL WS
Kevin Glynn
- CPAIOR'04 : Call for Participation
Christian Schulte
- prototyping Oz code
paul sorenson
- prototyping Oz code
Denys Duchier
- Please volunteer: Mozart to disappear from Debian
Marco Kuhlmann
- Crashing ozengine & couldn't build system from scratch
David Hanak
- Java Oz integration
Ong Kar Loon
- installation on RHL WS
Deepak Ramachandran
- installation on RHL WS
Kevin Glynn
- mozart-users Digest, Vol 2, Issue 24
Jason Phillips
- Researcher Position in Formal Methods available at ITC-irst
NuSMV Recruit
- installation on RHL WS
Deepak Ramachandran
- Postdoc in program development, analysis and transformation
Wim Vanhoof
- Oz interface to Sqlite
Sameh El-Ansary
- 20 MARCH : Extended Deadline for ABA
ABA
- a notation question about "_"
Jeff Nye
- a notation question about "_"
sosman
- help with ideas on extending scheduler
sosman
- Deadline extension: Workshop on Guarded Logics ESSLLI04
Natasha Alechina
- logarithm to the base 2
Torsten Anders
- WLPE 2004 Call for Papers
Jose Manuel Gomez Perez
- Parsing Expression Grammars
Robin Lee Powell
- CFP: DALT 2004 - Second International Workshop on Declarative Agent
Languages and Technologies
João Leite (DALT'04)
- Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- CFP: CICLOPS 2004
Manuel Carro
- Survey: securing the Mozart object system part 1: delegation
duchier at ps.uni-sb.de
- A question to Mac OS X Mozart Users: Do you still use Jaguar?
Marc-Antoine Parent
- Survey: securing the Mozart object system part 1: delegation
duchier at ps.uni-sb.de
- Survey: securing the Mozart object system part 1: delegation
Denys Duchier
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Renaud De Landtsheer
- ICFP Deadline 4/1; Submission site now open
Kathleen Fisher
- Survey: securing the Mozart object system part 1: delegation
Renaud De Landtsheer
- Fwd: Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- CFP. MultiCPL'04: Multiparadigm Constraint Programming Languages
Petra Hofstedt
- help with ideas on extending scheduler
Igor R. Sucupira
- help with ideas on extending scheduler
sosman
- help with ideas on extending scheduler
Igor R. Sucupira
- help with ideas on extending scheduler
sosman
- help with ideas on extending scheduler
Igor R. Sucupira
- constructing a label
sosman
- constructing a label
paul sorenson
- ICFP Poster Session
Amr A Sabry
- constructing a label
Renaud De Landtsheer
- Mozart build for W32 failed
David Hanak
- pickle and free variables
Renaud De Landtsheer
- pickle and free variables
Denys Duchier
- CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
lvigano at inf.ethz.ch
- CfP: Workshop on Constraint Handling Rules
Thom Fruehwirth
- Call for Papers: LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04
Fausto Spoto
- A small semigroup generator
Kari Pahula
- help
jeff ballon
- 6th European Agent Systems Summer School: CFP
Wiebe van der Hoek
- CFP: Loft
Wiebe van der Hoek
- "Blocked Thread" when running a constraint program using FD
Yonet Eracar
- FW: "Blocked Thread" when running a constraint program using FD
Yonet Eracar
- "Blocked Thread" when running a constraint program using FD
Raphael Collet
- "Blocked Thread" when running a constraint program using FD
duchier at ps.uni-sb.de
- help on using fuzzy logic in image compression
gandhimathi avudaiappan
- Newbie question--numeric types
David Sletten
- "Blocked Thread" when running a constraint program using FD
Yonet
- "Blocked Thread" when running a constraint program using FD
Igor R. Sucupira
- "Blocked Thread" when running a constraint program using FD
Raphael Collet
- Crashing ozengine on W32
David Hanak
- problems in running mozart sample programs..
~= Lawrence =~
- problems in running mozart sample programs..
Kevin Glynn
- CFP: SONDA 2004
SONDA 2004
- Oz source code in Latex documents
Andres Becerra
- CP 2004 Final Call for Workshop Proposals
Gilles Pesant
- Documentation question
David Sletten
- Mogul dependencies
Boris Mejias
- Final CFP: DALT'04 - Second International Workshop on Declarative
Agent Languages and Technologies
DALT'04
- ESSLLI 2004
Carlos Areces
- Mogul dependencies
duchier at ps.uni-sb.de
- PPDP'04 + SAS'04: last call for papers
Fausto Spoto
- ozmake for Mozart-1.3.0
Joachim Niehren
- Poster deadline for ICLP'04
Arnaud Gotlieb
- Documentation printing hint
Rick Hanson
- debugging
Jorge M. Pelizzoni
- possible gump bug
Jorge M. Pelizzoni
- OZ & emacs newbie on OS X Qs
ccos
- CP Newsletter Vol 0, Number 1
Ian Miguel
- DALT'04 : Deadline Extension
DALT'04
- April Fool's Day
David Sletten
- recipe to crash ozengine on WinXP
Jorge M. Pelizzoni
- OZ & emacs newbie on OS X Qs
ccos
- SAS 2004: extended deadline: April 13
Fausto Spoto
- Installation question
Carl Husa
- recipe to crash ozengine on WinXP
Jorge M. Pelizzoni
- Generic distribution
Javier Mena
- CP 2004 Final Call for Papers
Gilles Pesant
- Foclasa: Last Call for Papers
Jean-Marie JACQUET
- Style question
David Sletten
- CFP: ECAI 04 Workshop on Modelling and Solving Problems with
Constraints
Ian Miguel
- Style question
Igor R. Sucupira
- Style question
Raphael Collet
- MySQL connection lost during query error in C/Oz Glue code...
Paul A Huff
- MySQL connection lost during query error in C/Oz Glue code...
Raphael Collet
- CICLOPS 2004: Second CFP
Manuel Carro
- MySQL connection lost during query error in C/Oz Glue code...
Paul Huff
- Bloquing Sockets
Jaime Gutierrez
- FD.disjoint and Schedule.serializedDisj
sosman
- CFP. MultiCPL'04: Multiparadigm Constraint Programming Languages
Petra Hofstedt
- WLPE 2004: Second CFP
Jose Manuel Gomez Perez
- CP 2004 Final Call for Applications to Doctoral Programme
Gilles Pesant
- WLPE 2004: Second CFP
Jose Manuel Gomez Perez
- mozart unicode support
Vladimir Zykov
- MySQL connection lost during query error in C/Oz Glue code...
Raphael Collet
- FD.disjoint and Schedule.serializedDisj
sosman
- what can make a thread distributable?
jorgemp at icmc.usp.br
- what can make a thread distributable?
Raphael Collet
- mozart-gtk
Gustavo Gutierrez Sabogal
- Search best solution
Javier Mena
- Mozart 1.3.0 is released
Konstantin Popov
- mozart-gtk
ggutierrez at escher.puj.edu.co
- FD.disjoint and Schedule.serializedDisj
sosman
- Search best solution
ggutierrez at escher.puj.edu.co
- Mogul dependencies
Joachim Niehren
- mozart-gtk
Thorsten Brunklaus
- [Fwd: Re: Mozart 1.3.0 is released]
Thomas Sjöland IMIT
- Last Calls for Papers: LOPSTR'04, PEPM'04
Fausto Spoto
- Mozart 1.3.0 is released]
Thorsten Brunklaus
- decompiler ou unremove ;o)
jorgemp at icmc.usp.br
- ***DEADLINE EXTENSION*** CP 2004 Call for Papers
Gilles Pesant
- mozart-gtk
Gustavo Gutierrez Sabogal
- Querying Search.object for search statistics
Yonet Eracar
- ESSLLI 2004 - Deadline for Early Registration 1st of May
Carlos Areces
- ESSLLI 2004 - Deadline for Early Registration 1st of May
Carlos Areces
- FD.distinctD/FS.int.match slowdown
jorgemp at icmc.usp.br
- dis and space already contains distributable threads
jorgemp at icmc.usp.br
- Mozart for gentoo !!
Vincent Delporte
- CFP: JELIA'04 - 9th European Conference on Logics in Artificial
Intelligence
JELIA'04
- Querying Search.object for search statistics
Yonet
- FD.disjoint and Schedule.serializedDisj
sosman
- FD.disjoint and Schedule.serializedDisj
sosman
- PDMC'04: Call for Papers
Martin Leucker
- FD.disjoint and Schedule.serializedDisj
Igor R. Sucupira
- thread waiting on closed socket
Jaime Gutierrez
- FD.disjoint and Schedule.serializedDisj
sosman
- Interesting discussion on "corporate" Oz
Peter Van Roy
- [ANN] Mozart 1.3.0 Gentoo ebuilds
duchier at ps.uni-sb.de
- installing select package
Jorge M. Pelizzoni
- lib directories missing in windows installation
Jorge M. Pelizzoni
- P2PS + Sockets - Strange behaviour
Jaime Gutierrez
- Search and Explore for foreign constraints systems
Gustavo Gutierrez Sabogal
- Newbie help with binding analysis errors
Joe
- WLPE 2004: Third CFP
Jose Manuel Gomez Perez
- CICLOPS 2004: Extended deadline [May 7th]
Manuel Carro
- Sixth Int'l Conf. on Practical Aspects of Declarative Languages: CFP
Logic Programming Rsrch Association
- Oz and Mac OS 10.2.8
Dr. Johannes Brauer
- FD.disjoint and Schedule.serializedDisj
Igor R. Sucupira
- Debian packages?
Zork
- Oz and Fine-Grained Capabilities
Paul Snively
- Where is Space.oz file?
Yonet
- CFP. MultiCPL'04: Multiparadigm Constraint Programming Languages
Petra Hofstedt
- WLPE04: Extended deadline [May 7th]
Jose Manuel Gomez Perez
- 1.3 native functors on WinXP
Jorge M. Pelizzoni
- 1.3 native functors on WinXP
Thorsten Brunklaus
- LOPSTR'04 call for papers (extended deadlines!)
Sandro Etalle
- FWD: [Haskell] 2004 ICFP Programming Contest Announcement
Kevin Glynn
- Compiling mozart-gtk fails on ozdoc
Gerard Milmeister
- ESSLLI 05, Edinburgh, Call for Proposals
Paul Dekker
- CoLoPS04: Call for Papers
Frank D. Valencia
- unicode support (again)
Vladimir Zykov
- CFP: ECAI-04 Workshop on Modelling and Solving Problems with
Constraints
Ian Miguel
- riddle or bug?
jorgemp at icmc.usp.br
- System.show value from Port.
Nick Kostirya
- i cannot compile....
Vincent Delporte
- Mozart 1.3.0 Debian Packages
Kevin Glynn
- Combinators
Gustavo Gutierrez Sabogal
- SAT 2005
Enrico Giunchiglia
- ESSLLI 2004 - Deadline Extension
Carlos Areces
- Building Constraints systems (class OZ_Ct and undeclared virtual
funtions)
Carlos Andres Martinez
- Variable's name in C++
Carlos Andres Martinez
- Deadlines of the 6 satellite workshops of ICLP'04 (held in
Saint-Malo, France)
Arnaud Gotlieb
- riddle or bug?
duchier at ps.uni-sb.de
- i cannot compile....
duchier at ps.uni-sb.de
- Combinators
duchier at ps.uni-sb.de
- Variable's name in C++
duchier at ps.uni-sb.de
- SAT 2005 special issue CFP
Ian Miguel
- JELIA'04 - Deadline Reminder
JELIA'04
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
duchier at ps.uni-sb.de
- [David Sletten] Re: Variable's name in C++
duchier at ps.uni-sb.de
- Variable's name in C++
David Sletten
- i cannot compile....
Vincent Delporte
- i cannot compile....
Denys Duchier
- Variable's name in C++
Denys Duchier
- ICCL Summer School 2004 - Final Call
Int. Center for Computational Logic
- LOPSTR'04 call for papers (extended deadlines!)
Sandro Etalle
- i cannot compile....
Vincent Delporte
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
jorgemp at icmc.usp.br
- What are OZ_in and getParameters?
Javier Mena
- riddle or bug?
duchier at ps.uni-sb.de
- What are OZ_in and getParameters?
duchier at ps.uni-sb.de
- 4 LECTURERS IN COMPUTER SCIENCE
Susan Bates
- cfp: soft constraint workshop @ cp2004
Stefano Bistarelli
- CFP: Symmetry and Constraints Workshop at CP 2004
Zeynep Kiziltan
- 6th European Agent Systems Summer School: CFP
Wiebe van der Hoek
- thread-safe replies from superordinated space
Jorge Marques Pelizzoni
- thread-safe reply from superordinate space
Jorge Marques Pelizzoni
- thread-safe replies from superordinated space
Denys Duchier
- thread-safe replies from superordinated space
Denys Duchier
- Installing oz in Mac OSX
Phillip McKerrow
- CFP: 3rd International Workshop on Modelling and Reformulating
Constraint Satisfaction Problems
Ian Miguel
- Installing oz in Mac OSX
Marc-Antoine Parent
- CP 2004 Final Call for Tutorial Proposal
Gilles Pesant
- Final CFP: Workshop on Software Analysis and Development for
Pervasive Systems (SONDA 2004)
SONDA 2004
- FD and GC clash
David Hanak
- LOPSTR'04 final call for extended abstracts
Sandro Etalle
- FD and GC clash
Denys Duchier
- FD and GC clash
David Hanak
- FD and GC clash
Denys Duchier
- Call for Participation: LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04
Fausto Spoto
- distribution center
Jorge Marques Pelizzoni
- distribution center
Denys Duchier
- space-wide exception handlers?
Jorge Marques Pelizzoni
- space-wide exception handlers?
Denys Duchier
- tail recursion optimization in methods
Jorge Marques Pelizzoni
- unused argument warning welcome
Jorge Marques Pelizzoni
- tail recursion optimization in methods
Denys Duchier
- unused argument warning welcome
Denys Duchier
- CFP: ASIAN'04 - Higher-level Decision-making
ASIAN 04
- new ozmake
Denys Duchier
- new ozmake
Joachim Niehren
- NNTP client
Kari Pahula
- CFP: CLIMA V - 5th International Workshop on Computational Logic in
Multi-Agent Systems
João Leite
- NNTP client
duchier at ps.uni-sb.de
- help compiling needed
Jorge Marques Pelizzoni
- new ozmake once more
Joachim Niehren
- string-to-mozartcode
Irene Langkilde Geary
- Installing mozart-oz under Mac OSX
Phillip McKerrow
- string-to-mozartcode
Denys Duchier
- stuck succeeded guards and cond
Jorge Marques Pelizzoni
- stuck succeeded guards and cond
Jorge Marques Pelizzoni
- Property module
Gustavo Gutierrez Sabogal
- ozmake --noautodepend
Joachim Niehren
- Property module
Denys Duchier
- 6th European Agent Systems Summer School: EARLY BIRD REGISTRATION
DEADLINE APPROACHING
Valentina Tamma
- ozmake --noautodepend
Denys Duchier
- Introductory course for Mozart
Somaya Ahmed
- help compiling needed II
Jorge Marques Pelizzoni
- International Masters Program in COMPUTATIONAL LOGIC
Int. Center for Computational Logic
- PDMC 2004 - Final CfP
Martin Leucker
- stuck when back to 1.2.5
Jorge Marques Pelizzoni
- stuck when back to 1.2.5
Jorge Marques Pelizzoni
- ESSLLI 2004
Carlos Areces
- ESSLLI 2004
Carlos Areces
- Select package on win32
Jorge Marques Pelizzoni
- First CFP: WS on Constraint Solving and Language Processing
Henning Christiansen
- ESSLLI 05, Edinburgh, 2-nd Call for Proposals
Paul Dekker
- Call for Candidates: Constraint Programming Organizing Committee
elections
Ian Miguel
- Select package on win32
duchier at ps.uni-sb.de
- POPL 05 Call for Papers
David Walker
- Call for Participation. 2 weeks left!: LOPSTR'04 + PEPM'04 +
PPDP'04 + SAS'04
Fausto Spoto
- buffer flushing
john
- buffer flushing
duchier at ps.uni-sb.de
- Fwd: Re: buffer flushing -- problems again
john
- An experimental Mozart/Oz community wiki
Mitchell N Charity
- Select package on win32
Jan van der Vorst
- Select package on win32
Jan van der Vorst
- Select package on win32
Denys Duchier
- Soft2004 workshop CFP
Stefano Bistarelli
- Compile problem?
ymozart at club-internet.fr
- Compile problem?
duchier at ps.uni-sb.de
- JELIA'04 - Last Call for System Descriptions - 9th European
Conference on Logics in Artificial Intelligence
JELIA'04
- CFP: 4th International Workshop on Symmetry and Constraint
Satisfaction Problems
Ian Miguel
- Alternative download sites?? (Was: Re: Mozart 1.3.0 isreleased)
elmolewis69
- Alternative download sites?? (Was: Re: Mozart 1.3.0 isreleased)
Denys Duchier
- CFP: 4th Open Workshop MUSICNETWORK, Barcelona, September 2004
MUSICNETWORK
- (no subject)
ad aladdin
- Foclasa: Call for Papers
Jean-Marie JACQUET
- Please circulate
Luís Moniz Pereira
- FW: Please circulate
Christian Schulte
- The Birth of the Oz-E Project
Mark S. Miller
- Getting variables out of spaces
Jack Kester
- Call for Papers - IFSA2005
IFSA2005 Secretariat
- Getting variables out of spaces
Raphael Collet
- [ANN] the Mozart devs need you (call for volunteers)
duchier at ps.uni-sb.de
- [Fwd: Re: [ANN] the Mozart devs need you (call for volunteers)]
Bob Calco
- [Fwd: Re: [ANN] the Mozart devs need you (call for volunteers)]
Denys Duchier
- The Birth of the Oz-E Project - Announcement
fsp at info.ucl.ac.be
- CFP: 3rd International Workshop on Modelling and Reformulating
Constraint Satisfaction Problems
Ian Miguel
- Final CFP: Second International Mozart/Oz Conference (MOZ 2004)
Peter Van Roy
- Soft2004 workshop CFP
Stefano Bistarelli
- How to perform 'Exchange' on an 'attr'
Fredrick Paul Eisele
- variant of fail-first
Irene Langkilde Geary
- variant of fail-first
Denys Duchier
- Information
Francisco Florez
- EASSS Agents School: final cfp
Wiebe van der Hoek
- EASSS Agents School: final cfp
Wiebe van der Hoek
- Example "SplitDistributor" Error
North, Michael
- Example Distributor Errors
North, Michael
- Example Distributor Errors
Stefano Gualandi
- Example Distributor Errors
Igor R. Sucupira
- how to you control where a window will open with QTk
john
- x-ozlib://duchier/ap/Config.ozf for mozart 1.3.0 is missing some
functions
john
- Last CFP: CLIMA V - 5th International Workshop on Computational
Logic in Multi-Agent Systems
João Leite
- ICFP: Accepted papers
Kathleen Fisher
- x-ozlib://duchier/ap/Config.ozf for mozart 1.3.0 is missing
some functions
duchier at ps.uni-sb.de
- ICLP04: Call for participation -- early registration
Arnaud Gotlieb
- Final CFP: 4th International Workshop on Symmetry and Constraint
Satisfaction Problems
Ian Miguel
- final cfp: soft2004
Stefano Bistarelli
- GC threshold settings
David Hanak
- Want some books titles
ad aladdin
- UTF-* routines - 1 attachment
David Hopwood
- No samples in profiler?
Einar Karttunen
- Finite Domain Constraints
Prayank Swaroop
- Finite Domain Constructs (newbie)
Prayank Swaroop
- Finite Domain Constructs (newbie)
Raphael Collet
- ESSLLI05 - Registration Closing
Carlos Areces
- CP 2004 Call for Demos
Gilles Pesant
- Invitation to ICSM 2004, the 20th International Conference on
Software Maintenance
Software Maintenance
- Constraint Handling Rules Web Pages and Workshop
Thom Fruehwirth
- Printing floats
Gustavo Gutierrez Sabogal
- Last Call for Proposals, ESSLLI 2005, Edinburgh
Paul Dekker
- LOPSTR + PEPM + PPDP + SAS'04: Call for Participation
Fausto Spoto
- System.showInfo decimal places
Isaac Gouy
- ByNeed open records?
Kari Pahula
- Final CFP: 3rd International Workshop on Modelling and Reformulating
Constraint Satisfaction Problems
Ian Miguel
- Open module - 1 attachment
Vladimir Zykov
- Search.base.best using linear equations - newbie
Prayank Swaroop
- Avoiding Redundant Copying
Gustavo Gutierrez Sabogal
- Search.base.best using linear equations - newbie
Raphael Collet
- CP 2004 Call for Participation
Gilles Pesant
- CFP: SAC track on Constraints
Carlos Alberto Olarte V.
- ICLP04 : Detailed program / Extended early registration deadline
Arnaud Gotlieb
- CP Newsletter 0(2).
Ian Miguel
- DemoUrls Functor
Dimitrios Georgoulas
- Functors and names
Torsten Anders
- internet applications
john
- interface and tools for mozart/oz
|cik^wan| .........
- How can I get the stdout and stderr outputs of an external program
on different channels?
Yu Di
- CfP: EUMAS 2004 (2nd European Workshop on Multi-Agent Systems)
Wiebe van der Hoek
- Module LP on Windows?
North, Michael
- 1.3.1
Konstantin Popov
- Search.base.best using linear equations - newbie
Igor R. Sucupira
- infinite subspace generation
Irene Langkilde Geary
- Mozart 1.3.1 released!
Konstantin Popov
- Constructive Disjunction support
Sathi
- Module LP on Windows?
Stefano Gualandi
- Windows Infos
Andrea Bioli
- Errors during compiling Mozart 1.3.1 with --enable-opt=debug under
Cygwin/WXP
David Hanak
- CFP - Practical Aspects of Declarative Languages 2005
Manuel Hermenegildo
- ICLP04 : Call for participation
Arnaud Gotlieb
- Problems with 'x-oz://system/os/Path.ozf'
Tan Woon Kiong
- [ANN] updated Gentoo ebuilds for release 1.3.1
Denys Duchier
- ICFP'04 Call for Participation
Amr A Sabry
- ozc and windows
Gustavo Gutierrez Sabogal
- ozc and windows
Konstantin Popov
- ozc and windows
duchier at ps.uni-sb.de
- mozart and libtool
Gustavo Gutierrez Sabogal
- CP 2004 Second Call for Participation
Gilles Pesant
- E.W. Beth Dissertation Prize Winner
Raffaella Bernardi
- Debian Packages for Mozart 1.3.1 available in unstable/sid
Kevin Glynn
- Glade + Mozart
Javier Mena
- constraint track @ SAC2005 CFP
stefano Bistarelli
- Constraint track @ SAC2005 CFP
stefano Bistarelli
- Security using Mozart
Somaya Ahmed
- CP 2004 -- Hotel Cutoff Date in one Week!
Gilles Pesant
- [cap-talk] automatic policy embodiment and enforcement
Fred Spiessens
- Mozart and Java
Somaya Ahmed
- dataflow variables and case statement
Christian Hofer
- dataflow variables and case statement
Gustavo Pabon
- List of accepted papers for MOZ 2004
Peter Van Roy
- new to programming
Laurent Lutgen
- Building 1.3.1 on Mac OS X 10.2.8
John Johnson
- Building 1.3.1 on Mac OS X 10.2.8
John Johnson
- CFP: Constraint Solving & Programming at 20th Annual ACM Symposium
on Applied Computing
Ian Miguel
- Q:CTMCP error? Page 25, Ex. 9a
John Johnson
- Q:CTMCP error? Page 25, Ex. 9a
John Johnson
- How to best debug?
Robin Lee Powell
- CFP: JAR special issue on Automated Reasoning for Security Protocol
Analysis
lvigano at inf.ethz.ch
- CP04 - Hotel Cutoff Date Today
Gilles Pesant
- How to best debug?
David Hanak
- How to best debug?
Robin Lee Powell
- About documentation
John Johnson
- call for papers
Natasha Alechina
- Full Professor (C4) for Intelligent Systems
Int. Center for Computational Logic
- Problem over CSP
anil kumar lenka
- functional abstraction
hello hello
- where is the site
Jorge Marques Pelizzoni
- JELIA'04 Call For Participation
Joao Leite
- macosx versions
Robert Andersson
- Fedora Core 2 x86_64 build
Adam Todorski
- CLIMA V - Call for Participation
Joao Leite
- CFP - PADL'2005 - Deadline Sept. 10
Manuel Hermenegildo
- CFP - PADL'2005 - Deadline Sept. 10
Manuel Hermenegildo
- Error while reporting error....
Nils Franzen
- Error while reporting error....
duchier at ps.uni-sb.de
- JELIA'04 + CLIMA V - Early Registration ends September 7th
Joao Leite
- Call for Papers: Special Issue M4M
Carlos Areces
- CFP: SAT 2005
Ian Miguel
- About documentation
Thomas Packer
- UNILOG'05
COSTA LEITE Alexandre
- CFP - PADL'2005 - Submission deadline *extended*, Sept. 17
Manuel Hermenegildo
- trouble building mozart-gtk-1.1
Steve Elkins
- ICFEM 2004 -- Call for Participation, Seattle, USA, Nov 8-12, 2004
ICFEM 2004 CALL FOR PARTICIPATION
Hongjun Zheng
- ozh on Mozart 1.3.1
Torsten Anders
- I guess we're not in Kansas anymore...
Jens Grabarske
- I guess we're not in Kansas anymore...
Yves Jaradin
- Submission EUMAS open
Wiebe van der Hoek
- I guess we're not in Kansas anymore...
Juergen Stuber
- I guess we're not in Kansas anymore...
Jens Grabarske
- I guess we're not in Kansas anymore...
Jens Grabarske
- Call for participation: LSCS'04
Magnus Ågren
- call for papers
L A C L 2 0 0 5
- Unit testing in Mozart/Oz?
Juergen Stuber
- Mozart Package
Tarek Sboui
- threads, I assume
Thomas Packer
- continuations
Mark van der Kraan
- threads, I assume
David Hanak
- Program for MOZ 2004
Peter Van Roy
- FMCAD Call for Participation
Alan Hu
- Unit testing in Mozart/Oz?
Juergen Stuber
- Trouble starting Oz on Windows
Olivier Lefevre
- Trouble starting Oz on Windows
David Hanak
- MOZ 2004: reduction in registration fees
Peter Van Roy
- Need a personal teacher of Mozart OZ in Bogota Colombia
Javier Duran
- Antw: Re: Trouble starting Oz on Windows
Olivier Lefevre
- Antw: Re: Trouble starting Oz on Windows
David Hanak
- Antw: Re: Trouble starting Oz on Windows
Olivier Lefevre
- Unable to start Mozart/Oz on Debian stable version 1.3.1
Henry Lenzi
- Problems starting Mozart on Debian stable
Henry Lenzi
- Profesor de Mozart
jhvargas at utp.edu.co
- CFP: FLAIRS-05 Special Track on Constraint Solving and Programming
Ian Miguel
- Need a personal teacher of Mozart OZ in Bogota Colombia
North, Michael
- Time.repeat
Jens Grabarske
- LP & RI for Windows
George Pierce
- Coordination 2005: First call for papers
Jean-Marie JACQUET
- LP & RI for Windows
North, Michael
- Call for Papers: Special Issue M4M
Carlos Areces
- LP & RI for Windows
Stefano Gualandi
- executable application
Gustavo Gutierrez Sabogal
- Offered Streams
Jens Grabarske
- Offered Streams
Juergen Stuber
- Pickles
Grzegorz Chrupała
- Pickles
Grzegorz Chrupała
- Prototyper - Standalone?
chris.danx
- Prototyper - Standalone
chris.danx