2004 Archives by date
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
- Please help a mozart newbie :)
Harmon S. Nine
- newbie
duchier at ps.uni-sb.de
- newbie
JHawkinsMusic at aol.com
- newbie
Tommy Str°mhaug
- newbie
Harmon S. Nine
- newbie
Tommy Strømhaug
- newbie
Fred Spiessens
- newbie
Leif Kornstaedt
- newbie
Thorsten Brunklaus
- newbie
Raphael Collet
- newbie
Tommy Str°mhaug
- newbie
Kari Pahula
- Search Tree
Tilo Behrmann
- Search Tree
Raphael Collet
- Object reflection
Simon Beaumont
- Object reflection
Simon Beaumont
- Object reflection
Raphael Collet
- Question on arrays and text processing
Svetoslav.Marinov at isp.his.se
- array question revisited
Svetoslav.Marinov at isp.his.se
- Object reflection
Thorsten Brunklaus
- Object reflection
Raphael Collet
- Question on arrays and text processing
Kevin Glynn
- Object reflection
Simon Beaumont
- Question on arrays and text processing
Raphael Collet
- Object reflection
Peter Van Roy
- Question on arrays and text processing
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Fred Spiessens
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- Binomial LogLikelihood calculation
Svetoslav.Marinov at isp.his.se
- security policies for debugging (was: Object reflection)
Fred Spiessens
- [e-lang] security policies for debugging (was: Object
reflection)
Mark S. Miller
- [e-lang] security policies for debugging (was: Object
reflection)
Mark S. Miller
- Object reflection
Simon Beaumont
- FWD: [m-dev.] Rotor RFP
Kevin Glynn
- gump tokenizer problem
Renaud De Landtsheer
- Please help me to understand this error
Arbi Amel
- Please help me to understand this error
Raphael Collet
- NetBSD lossage
Zork
- Multiple dispatch (was Re: Object reflection)
Ben Moseley
- gump tokenizer problem
Renaud De Landtsheer
- Ask for information about space.inject
Arbi Amel
- gump tokenizer problem
Denys Duchier
- NetBSD lossage
Denys Duchier
- Ask for information about space.inject
Denys Duchier
- NetBSD lossage
Zork
- NetBSD lossage
duchier at ps.uni-sb.de
- Problem with time functions in NetBSD (was: NetBSD lossage)
Zork
- 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
- Constant data members of an Oz Class
Jorge M. Pelizzoni
- Constant data members of an Oz Class
Andreas Franke
- Constant data members of an Oz Class
Raphael Collet
- Constant data members of an Oz Class
Harmon Sequoya Nine
- Constant data members of an Oz Class
Boris Mejias
- 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
- Search Tree
Christian Schulte
- Gump and OS X (10.3)
Simon Beaumont
- Mozart 7 Music Programming
JHawkinsMusic at aol.com
- Mozart 7 Music Programming
Kevin Glynn
- Gump and OS X (10.3)
Simon Beaumont
- Gump and OS X (10.3)
Fred Spiessens
- Gump and OS X (10.3)
Christian Schulte
- [ANN] mozart lists migrated to mailman
Denys Duchier
- Function
Herbey Zepeda
- Strange effect of Browse
Ole Edsberg
- Strange effect of Browse
Christian Schulte
- 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
Luis QUESADA
- newbie question: locks
Denys Duchier
- newbie question: locks
Christian Schulte
- 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
- Basic Computation Spaces question (CTM ch.9 / 12)
Ben Moseley
- Thank you so very much.
Robin Lee Powell
- The Inspector: New widget
Thorsten Brunklaus
- Basic Computation Spaces question (CTM ch.9 / 12)
Christian Schulte
- 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
- newbie question: locks
David Hopwood
- newbie question: locks
Christian Schulte
- [ANN] mailman moderation delay fixed
duchier at ps.uni-sb.de
- CHR in Oz
Christian Schulte
- Execute bytecode on LVM
Christian Schulte
- CHR in Oz
Juergen Stuber
- native ?
Tommy Strømhaug
- LAST CFP: ICLP'04 (International Conference on Logic Programming)
Arnaud Gotlieb
- CHR in Oz
Joachim Niehren
- native ?
Christian Schulte
- ESSLLI 2004: Registration Open
Carlos Areces
- Subspace stabilization problem
David Hanak
- native ?
Michael Robin
- native ?
Peter Van Roy
- CHR in Oz
Andres Becerra Sandoval
- 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
- source code for tutorials
Christian Schulte
- Local Search
Christian Schulte
- implementation strategy
sosman
- Subspace stabilization problem
Jorge M. Pelizzoni
- Subspace stabilization problem
Jorge M. Pelizzoni
- mozart fatal error!!!! please help
Jason Phillips
- Subspace stabilization problem
Raphael Collet
- Subspace stabilization problem
Christian Schulte
- 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
- Impossible to installMozart on Windows XP
Michael Robin
- 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
- Subspace stabilization problem
David Hanak
- how to access result of {Explore ...}?
Raphael Collet
- how to access result of {Explore ...}?
sosman
- how to access result of {Explore ...}?
sosman
- Subspace stabilization problem
Christian Schulte
- how to access result of {Explore ...}?
Christian Schulte
- 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
- Java Oz integration
Torsten Anders
- 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
- a notation question about "_"
Robin Lee Powell
- help with ideas on extending scheduler
sosman
- a notation question about "_"
Peter Van Roy
- Deadline extension: Workshop on Guarded Logics ESSLLI04
Natasha Alechina
- logarithm to the base 2
Torsten Anders
- logarithm to the base 2
Jorge M. Pelizzoni
- WLPE 2004 Call for Papers
Jose Manuel Gomez Perez
- Parsing Expression Grammars
Robin Lee Powell
- XML Parser (mogul:/duchier/xml/parser)
duchier at ps.uni-sb.de
- CFP: DALT 2004 - Second International Workshop on Declarative Agent
Languages and Technologies
João Leite (DALT'04)
- Mozart build for W32 failed
David Hanak
- Crashing ozengine on W32
David Hanak
- Crashing ozengine on W32
Christian Schulte
- 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
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
duchier at ps.uni-sb.de
- Crashing ozengine on W32
David Hanak
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Crashing ozengine on W32
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Denys Duchier
- Survey: securing the Mozart object system part 1: delegation
Michael Robin
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Crashing ozengine on W32
David Hanak
- 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
- Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- Fwd: Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- CFP. MultiCPL'04: Multiparadigm Constraint Programming Languages
Petra Hofstedt
- Survey: securing the Mozart object system part 1: delegation
Raphael Collet
- Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- Survey: securing the Mozart object system part 1: delegation
duchier at ps.uni-sb.de
- 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
Kevin Glynn
- constructing a label
Jean-Yves Lawson
- constructing a label
Torsten Anders
- constructing a label
Michael Robin
- constructing a label
Denys Duchier
- constructing a label
paul sorenson
- constructing a label
Christian Schulte
- Mozart build for W32 failed
Kevin Glynn
- ICFP Poster Session
Amr A Sabry
- constructing a label
Renaud De Landtsheer
- Survey: securing the Mozart object system part 1: delegation
Boris Mejias
- constructing a label
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Boris Mejias
- Mozart build for W32 failed
David Hanak
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- Survey: securing the Mozart object system part 1: delegation
Michael Robin
- pickle and free variables
Renaud De Landtsheer
- pickle and free variables
Denys Duchier
- Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- Survey: securing the Mozart object system part 1: delegation
Denys Duchier
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- pickle and free variables
Peter Van Roy
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- Survey: securing the Mozart object system part 1: delegation
Fred Spiessens
- pickle and free variables
Luis Quesada
- CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
lvigano at inf.ethz.ch
- Survey: securing the Mozart object system part 1: delegation
duchier at ps.uni-sb.de
- Survey: securing the Mozart object system part 1: delegation
Boris Mejias
- Survey: securing the Mozart object system part 1: delegation
Robin Lee Powell
- Survey: securing the Mozart object system part 1: delegation
Denys Duchier
- Survey: securing the Mozart object system part 1: delegation
Boris Mejias
- Survey: securing the Mozart object system part 1: delegation
Christian Schulte
- CfP: Workshop on Constraint Handling Rules
Thom Fruehwirth
- Survey: securing the Mozart object system part 1: delegation
Boris Mejias
- 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
- help on using fuzzy logic in image compression
Robin Lee Powell
- "Blocked Thread" when running a constraint program using FD
Igor R. Sucupira
- "Blocked Thread" when running a constraint program using FD
Raphael Collet
- Newbie question--numeric types
Peter Van Roy
- Newbie question--numeric types
"Thomas Sjöland (IMIT)"
- Newbie question--numeric types
David Hopwood
- Newbie question--numeric types
Peter Van Roy
- 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
- Documentation question
Jorge M. Pelizzoni
- 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
- Mogul dependencies
Boris Mejias
- PPDP'04 + SAS'04: last call for papers
Fausto Spoto
- ozmake for Mozart-1.3.0
Konstantin Popov
- ozmake for Mozart-1.3.0
Joachim Niehren
- Poster deadline for ICLP'04
Arnaud Gotlieb
- Documentation printing hint
Rick Hanson
- ozmake for Mozart-1.3.0
Joachim Niehren
- debugging
Jorge M. Pelizzoni
- possible gump bug
Jorge M. Pelizzoni
- possible gump bug
Jorge M. Pelizzoni
- OZ & emacs newbie on OS X Qs
ccos
- OZ & emacs newbie on OS X Qs
Marc-Antoine Parent
- OZ & emacs newbie on OS X Qs
Fred Spiessens
- OZ & emacs newbie on OS X Qs
Fred Spiessens
- CP Newsletter Vol 0, Number 1
Ian Miguel
- DALT'04 : Deadline Extension
DALT'04
- April Fool's Day
David Sletten
- April Fool's Day
Torsten Anders
- recipe to crash ozengine on WinXP
Jorge M. Pelizzoni
- OZ & emacs newbie on OS X Qs
ccos
- OZ & emacs newbie on OS X Qs
Torsten Anders
- 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
- Generic distribution
Christian Schulte
- recipe to crash ozengine on WinXP
Konstantin Popov
- Generic distribution
Torsten Anders
- Foclasa: Last Call for Papers
Jean-Marie JACQUET
- Style question
David Sletten
- Installation question
Kevin Glynn
- 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
- Bloquing Sockets
Konstantin Popov
- 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
- Mogul dependencies
Joachim Niehren
- WLPE 2004: Second CFP
Jose Manuel Gomez Perez
- mozart unicode support
Vladimir Zykov
- FD.disjoint and Schedule.serializedDisj
Christian Schulte
- Mogul dependencies
Boris Mejias
- Mogul dependencies
Joachim Niehren
- MySQL connection lost during query error in C/Oz Glue code...
Raphael Collet
- FD.disjoint and Schedule.serializedDisj
sosman
- FD.disjoint and Schedule.serializedDisj
Christian Schulte
- what can make a thread distributable?
jorgemp at icmc.usp.br
- what can make a thread distributable?
Christian Schulte
- what can make a thread distributable?
Raphael Collet
- Mogul dependencies
Boris Mejias
- what can make a thread distributable?
jorgemp at icmc.usp.br
- mozart-gtk
Gustavo Gutierrez Sabogal
- what can make a thread distributable?
jorgemp at icmc.usp.br
- what can make a thread distributable?
jorgemp at icmc.usp.br
- Search best solution
Javier Mena
- Search best solution
Christian Schulte
- what can make a thread distributable?
Christian Schulte
- 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
- FD.disjoint and Schedule.serializedDisj
Christian Schulte
- Last Calls for Papers: LOPSTR'04, PEPM'04
Fausto Spoto
- Mogul dependencies
Boris Mejias
- Mogul dependencies
duchier at ps.uni-sb.de
- 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
- Mozart 1.3.0 is released
Jorge M. Pelizzoni
- Mozart 1.3.0 is released
Konstantin Popov
- Mogul dependencies
Boris Mejias
- Mozart 1.3.0 is released
Joachim Niehren
- Mozart 1.3.0 is released
Joachim Niehren
- Mozart 1.3.0 is released
Joachim Niehren
- Mozart 1.3.0 is released
Mathias Picker
- typo in contrib-psql, does not compile (Was: Re: Mozart 1.3.0 is
released)
Mathias Picker
- Alternative download sites?? (Was: Re: Mozart 1.3.0 is released)
Mathias Picker
- Querying Search.object for search statistics
Yonet Eracar
- Alternative download sites?? (Was: Re: Mozart 1.3.0 is released)
Thorsten Brunklaus
- Alternative download sites?? (Was: Re: Mozart 1.3.0 is
released)
Konstantin Popov
- 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
- dis and space already contains distributable threads
Christian Schulte
- dis and space already contains distributable threads
jorgemp at icmc.usp.br
- Mozart for gentoo !!
Konstantin Popov
- dis and space already contains distributable threads
Christian Schulte
- Querying Search.object for search statistics
Christian Schulte
- dis and space already contains distributable threads
jorgemp at icmc.usp.br
- dis and space already contains distributable threads
jorgemp at icmc.usp.br
- dis and space already contains distributable threads
Christian Schulte
- CFP: JELIA'04 - 9th European Conference on Logics in Artificial
Intelligence
JELIA'04
- Querying Search.object for search statistics
Yonet
- dis and space already contains distributable threads
jorgemp at icmc.usp.br
- Querying Search.object for search statistics
Gustavo Gutierrez Sabogal
- Querying Search.object for search statistics
Christian Schulte
- Mozart 1.3.0 is released
Kevin Glynn
- FD.disjoint and Schedule.serializedDisj
sosman
- FD.disjoint and Schedule.serializedDisj
Christian Schulte
- 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
- thread waiting on closed socket
Konstantin Popov
- 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
- Search and Explore for foreign constraints systems
Christian Schulte
- WLPE 2004: Third CFP
Jose Manuel Gomez Perez
- Newbie help with binding analysis errors
jorgemp at icmc.usp.br
- CICLOPS 2004: Extended deadline [May 7th]
Manuel Carro
- installing select package
jorgemp at icmc.usp.br
- 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
- Oz and Mac OS 10.2.8
Marc-Antoine Parent
- FD.disjoint and Schedule.serializedDisj
Igor R. Sucupira
- Debian packages?
Zork
- Oz and Fine-Grained Capabilities
Paul Snively
- Where is Space.oz file?
Yonet
- Debian packages?
Konstantin Popov
- Where is Space.oz file?
Christian Schulte
- Debian packages?
Kevin Glynn
- 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
- System.show value from Port.
Peter Van Roy
- System.show value from Port.
Nick Kostirya
- Debian packages?
Guido Tack
- 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
- 1.3 native functors on WinXP
Jorge M. Pelizzoni
- 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
- unicode support (again)
Henning Sato Rosen
- 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
- ESSLLI 2004 - Deadline Extension
Carlos Areces
- unicode support (again)
Mark S. Miller
- unicode support (again)
Mark S. Miller
- 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
- Variable's name in C++
Christian Schulte
- 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
- Combinators
Christian Schulte
- Variable's name in C++
duchier at ps.uni-sb.de
- Building Constraints systems (class OZ_Ct and undeclared
virtual funtions)
Christian Schulte
- unicode support (again)
Vladimir Zykov
- SAT 2005 special issue CFP
Ian Miguel
- riddle or bug?
Christian Schulte
- JELIA'04 - Deadline Reminder
JELIA'04
- riddle or bug?
jorgemp at icmc.usp.br
- unicode support (again)
Donatien Grolaux
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
Christian Schulte
- riddle or bug?
duchier at ps.uni-sb.de
- riddle or bug?
jorgemp at icmc.usp.br
- 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
- unicode support (again)
Raphael Collet
- riddle or bug?
duchier at ps.uni-sb.de
- Variable's name in C++
David Sletten
- riddle or bug?
Konstantin Popov
- i cannot compile....
Vincent Delporte
- riddle or bug?
jorgemp at icmc.usp.br
- i cannot compile....
Denys Duchier
- Variable's name in C++
Denys Duchier
- unicode support (again)
Vladimir Zykov
- ICCL Summer School 2004 - Final Call
Int. Center for Computational Logic
- Variable's name in C++
David Sletten
- LOPSTR'04 call for papers (extended deadlines!)
Sandro Etalle
- Variable's name in C++
duchier at ps.uni-sb.de
- riddle or bug?
Christian Schulte
- unicode support (again)
Christian Schulte
- riddle or bug?
Christian Schulte
- Variable's name in C++
David Sletten
- 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
- What are OZ_in and getParameters?
Christian Schulte
- riddle or bug?
Christian Schulte
- Variable's name in C++
duchier at ps.uni-sb.de
- 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
- riddle or bug?
jorgemp at icmc.usp.br
- CFP: Symmetry and Constraints Workshop at CP 2004
Zeynep Kiziltan
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
duchier at ps.uni-sb.de
- riddle or bug?
jorgemp at icmc.usp.br
- What are OZ_in and getParameters?
Gustavo Gutierrez Sabogal
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
duchier at ps.uni-sb.de
- riddle or bug?
jorgemp at icmc.usp.br
- riddle or bug?
duchier at ps.uni-sb.de
- 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
Jorge Marques Pelizzoni
- 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
- Postdoc Position at Vienna University of Technology
Hans Tompits
- 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
- 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 again
Denys Duchier
- new ozmake again
Denys Duchier
- new ozmake again
Denys Duchier
- new ozmake
Joachim Niehren
- new ozmake again
Joachim Niehren
- NNTP client
Kari Pahula
- new ozmake again
Joachim Niehren
- NNTP client
Konstantin Popov
- 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
- Installing mozart-oz under Mac OSX
Marc-Antoine Parent
- 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
- Property module
Gustavo Gutierrez Sabogal
- 6th European Agent Systems Summer School: EARLY BIRD REGISTRATION
DEADLINE APPROACHING
Valentina Tamma
- ozmake --noautodepend
Denys Duchier
- Property module
Denys Duchier
- Introductory course for Mozart
Somaya Ahmed
- ozmake --noautodepend
Denys Duchier
- ozmake --noautodepend
Joachim Niehren
- help compiling needed II
Jorge Marques Pelizzoni
- Introductory course for Mozart
Peter Van Roy
- International Masters Program in COMPUTATIONAL LOGIC
Int. Center for Computational Logic
- stuck succeeded guards and cond
Christian Schulte
- help compiling needed
Nils Franzen
- 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
- NNTP client
Kari Pahula
- 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
- buffer flushing
john
- 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
- How to perform 'Exchange' on an 'attr'
Jorge Marques Pelizzoni
- How to perform 'Exchange' on an 'attr'
Denys Duchier
- variant of fail-first
Irene Langkilde Geary
- variant of fail-first
Denys Duchier
- variant of fail-first
Christian Schulte
- Information
Francisco Florez
- Reminder: ICFP Poster Session
Dan Grossman
- EASSS Agents School: final cfp
Wiebe van der Hoek
- EASSS Agents School: final cfp
Wiebe van der Hoek
- Example Distributor Errors
Gustavo Gutierrez Sabogal
- 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
- Example Distributor Errors
Jorge Marques Pelizzoni
- 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
- how to you control where a window will open with QTk
Bruno Carton
- x-ozlib://duchier/ap/Config.ozf for mozart 1.3.0 is missing
some functions
duchier at ps.uni-sb.de
- Example Distributor Errors
Christian Schulte
- x-ozlib://duchier/ap/Config.ozf for mozart 1.3.0 is missing
some functions
john
- 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
- Want some books titles
Markus
- 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
- 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
- System.showInfo decimal places
Christian Schulte
- ByNeed open records?
Christian Schulte
- Final CFP: 3rd International Workshop on Modelling and Reformulating
Constraint Satisfaction Problems
Ian Miguel
- Open module - 1 attachment
Vladimir Zykov
- GC threshold settings
Konstantin Popov
- Search.base.best using linear equations - newbie
Prayank Swaroop
- Avoiding Redundant Copying
Gustavo Gutierrez Sabogal
- Search.base.best using linear equations - newbie
Raphael Collet
- Avoiding Redundant Copying
Christian Schulte
- Search.base.best using linear equations - newbie
Prayank Swaroop
- 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
- Printing floats
Konstantin Popov
- ByNeed open records?
Konstantin Popov
- CP Newsletter 0(2).
Ian Miguel
- DemoUrls Functor
Dimitrios Georgoulas
- DemoUrls Functor
Kevin Glynn
- Functors and names
Torsten Anders
- Functors and names
Konstantin Popov
- Search.base.best using linear equations - newbie
Prayank Swaroop
- internet applications
john
- interface and tools for mozart/oz
|cik^wan| .........
- Functors and names
Christian Schulte
- Search.base.best using linear equations - newbie
Christian Schulte
- internet applications
Christian Schulte
- How can I get the stdout and stderr outputs of an external program
on different channels?
Yu Di
- Search.base.best using linear equations - newbie
Jorge Marques Pelizzoni
- interface and tools for mozart/oz
Kevin Glynn
- 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
- infinite subspace generation
Jorge Marques Pelizzoni
- 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
- Problems with 'x-oz://system/os/Path.ozf'
Christian Schulte
- Problems with 'x-oz://system/os/Path.ozf'
Konstantin Popov
- infinite subspace generation
Christian Schulte
- [ANN] updated Gentoo ebuilds for release 1.3.1
Denys Duchier
- Problems with 'x-oz://system/os/Path.ozf'
Tan Woon Kiong
- ICFP'04 Call for Participation
Amr A Sabry
- ozc and windows
Gustavo Gutierrez Sabogal
- ozc and windows
Konstantin Popov
- ozc and windows
Konstantin Popov
- ozc and windows
duchier at ps.uni-sb.de
- mozart and libtool
Gustavo Gutierrez Sabogal
- mozart and libtool
Konstantin Popov
- mozart and libtool
Gustavo Gutierrez Sabogal
- CP 2004 Second Call for Participation
Gilles Pesant
- mozart and libtool
Konstantin Popov
- E.W. Beth Dissertation Prize Winner
Raffaella Bernardi
- Debian Packages for Mozart 1.3.1 available in unstable/sid
Kevin Glynn
- mozart and libtool
Gustavo Gutierrez Sabogal
- mozart and libtool
Konstantin Popov
- mozart and libtool
Gustavo Gutierrez Sabogal
- mozart and libtool
Marc-Antoine Parent
- 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
- FD and GC clash
David Hanak
- [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
- dataflow variables and case statement
Peter Van Roy
- dataflow variables and case statement
Christian Hofer
- new to programming
Laurent Lutgen
- new to programming
Seif Haridi
- new to programming
Robin Lee Powell
- 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
- How to best debug?
Kevin Glynn
- How to best debug?
Konstantin Popov
- CFP: JAR special issue on Automated Reasoning for Security Protocol
Analysis
lvigano at inf.ethz.ch
- Q:CTMCP error? Page 25, Ex. 9a
Peter Van Roy
- CP04 - Hotel Cutoff Date Today
Gilles Pesant
- How to best debug?
Robin Lee Powell
- How to best debug?
Robin Lee Powell
- How to best debug?
David Hanak
- How to best debug?
Robin Lee Powell
- How to best debug?
Robin Lee Powell
- How to best debug?
Kevin Glynn
- Antw: Re: How to best debug?
Olivier Lefevre
- 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
- functional abstraction
Kevin Glynn
- where is the site
Jorge Marques Pelizzoni
- About documentation
Thomas Packer
- About documentation
Kevin Glynn
- About documentation
Thomas Packer
- About documentation
Mitchell N Charity
- About documentation
David Hopwood
- About documentation
John Johnson
- JELIA'04 Call For Participation
Joao Leite
- Problem over CSP
Gustavo Pabon
- macosx versions
Robert Andersson
- Fedora Core 2 x86_64 build
Adam Todorski
- Fedora Core 2 x86_64 build
Konstantin Popov
- CfP: 19th Workshop on (Constraint) Logic Programming
Thom Fruehwirth
- CLIMA V - Call for Participation
Joao Leite
- About documentation
Thomas Packer
- About documentation
Thomas Packer
- CFP - PADL'2005 - Deadline Sept. 10
Manuel Hermenegildo
- CFP - PADL'2005 - Deadline Sept. 10
Manuel Hermenegildo
- Fedora Core 2 x86_64 build
Adam Todorski
- 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
- Call for Papers: Special Issue M4M
Carlos Areces
- Fedora Core 2 x86_64 build
Konstantin Popov
- 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
- trouble building mozart-gtk-1.1
Kevin Glynn
- 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
- ozh on Mozart 1.3.1
Nils Franzen
- 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
- I guess we're not in Kansas anymore...
Jens Grabarske
- I guess we're not in Kansas anymore...
Peter Van Roy
- continuations
Mark van der Kraan
- 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
- threads, I assume
Dragan Havelka
- Program for MOZ 2004
Peter Van Roy
- Mozart Package
Peter Van Roy
- Unit testing in Mozart/Oz?
Christian Schulte
- 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
- Need a personal teacher of Mozart OZ in Bogota Colombia
Peter Van Roy
- Need a personal teacher of Mozart OZ in Bogota Colombia
Fredrick Paul Eisele
- Antw: Re: Trouble starting Oz on Windows
Olivier Lefevre
- Antw: Re: Trouble starting Oz on Windows
Nils Franzen
- 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
- Need a personal teacher of Mozart OZ in Bogota Colombia
Peter Van Roy
- CFP: FLAIRS-05 Special Track on Constraint Solving and Programming
Ian Miguel
- Need a personal teacher of Mozart OZ in Bogota Colombia
North, Michael
- Unable to start Mozart/Oz on Debian stable version 1.3.1
Kevin Glynn
- Antw: Re: Trouble starting Oz on Windows
Kevin Glynn
- Time.repeat
Jens Grabarske
- Antw: Re: Trouble starting Oz on Windows
Olivier Lefevre
- LP & RI for Windows
George Pierce
- LP & RI for Windows
Gustavo Gutierrez Sabogal
- 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
- Call for Papers: Special Issue M4M
Carlos Areces
- LP & RI for Windows
Stefano Gualandi
- LP & RI for Windows
Gustavo Gutierrez Sabogal
- executable application
Gustavo Gutierrez Sabogal
- Offered Streams
Jens Grabarske
- Offered Streams
Peter Van Roy
- Offered Streams
Juergen Stuber
- Offered Streams
Peter Van Roy
- LP & RI for Windows
George Pierce
- Offered Streams
Juergen Stuber
- Pickles
Grzegorz Chrupała
- Pickles
Grzegorz Chrupała
- Pickles
Peter Van Roy
- Prototyper - Standalone?
chris.danx
- Prototyper - Standalone
chris.danx
- Array Folds
chris.danx
- Prototyper - Standalone?
David Hopwood
- Prototyper - Standalone
Kevin Glynn
- Prototyper - Standalone
Peter Van Roy
- Bit operations
Javier Mena
- Prototyper - Standalone
chris.danx
- Prototyper - Standalone
Kevin Glynn
- Bit operations
Torsten Anders
- Offered Streams
Denys Duchier
- Pickles
Denys Duchier
- Bit operations
Denys Duchier
- Newbie: Variables and Cells
John Johnson
- Newbie: Variables and Cells
Raphael Collet
- Pickles
Raphael Collet
- CfP: Bytecode05, Edinburgh, Scotland, UK, April 9, 2005
Fausto Spoto
- Pickles
Grzegorz Chrupała
- Newbie: Variables and Cells
Kari Pahula
- Offered Streams
Jens Grabarske
- Offered Streams
Jens Grabarske
- Offered Streams
Jens Grabarske
- Offered Streams
Jens Grabarske
- Offered Streams
Denys Duchier
- Newbie: Variables and Cells
Boriss Mejias
- Distributed Systems and Sandboxing Oz
chris.danx
- Distributed Systems and Sandboxing Oz
John Johnson
- Hashtables
Grzegorz Chrupała
- Hashtables
Jorge Marques Pelizzoni
- Hashtables
Grzegorz Chrupała
- Optimal File Sharing
Skybuck Flying
- MPL Like tutorial ? ;)
Skybuck Flying
- Optimal File Sharing
Robin Lee Powell
- LP & RI for Windows
George Pierce
- Optimal File Sharing
Skybuck Flying
- Distributed Systems and Sandboxing Oz
Juergen Stuber
- MPL Like tutorial ? ;)
David Hanak
- MPL Like tutorial ? ;)
Skybuck Flying
- .
Skybuck Flying
- emacs bad for windows users
Skybuck Flying
- How to use textpad with oz
Skybuck Flying
- =: >: <:
Skybuck Flying
- Oz needs doc section about operators
Skybuck Flying
- PHP
Skybuck Flying
- blablabla
Skybuck Flying
- Need manual to read manual !
Skybuck Flying
- ?
Skybuck Flying
- =: >: <:
Kevin Glynn
- emacs bad for windows users
Eric Mangold
- ?
Robin Lee Powell
- ?
Christian Schulte
- emacs bad for windows users
Skybuck Flying
- ?
Skybuck Flying
- ?
Prayank Swaroop
- PHP
MG
- ?
Skybuck Flying
- PHP
Skybuck Flying
- PHP
sosman
- Learning by examples is best !
Skybuck Flying
- ? ;)
Skybuck Flying
- PHP
Jens Grabarske
- ?
Skybuck Flying
- Learning by examples is best !
Jens Grabarske
- ?
Jens Grabarske
- Anonymous subscribers
MG
- Alt IDEs for Oz? [was: emacs bad for windows users]
Robert Andersson
- ?
Skybuck Flying
- ?
Skybuck Flying
- ?
Stephan Lehmke
- ?
Jens Grabarske
- ?
Jens Grabarske
- ?
Thomas Sjöland SICS
- emacs bad for windows users
Robin Lee Powell
- PHP
Robin Lee Powell
- Alt IDEs for Oz? [was: emacs bad for windows users]
Robin Lee Powell
- ?
Manuel Hermenegildo
- Alt IDEs for Oz? [was: emacs bad for windows users]
Bob Calco
- Alt IDEs for Oz? [was: emacs bad for windows users]
Bob Calco
- Learning by examples is best !
David Hopwood
- Need manual to read manual !
Raphael Collet
- ?
Skybuck Flying
- ?
Raphael Collet
- Need manual to read manual !
bry at xdocs.dk
- ?
bry at xdocs.dk
- ?
Jens Grabarske
- ?
Skybuck Flying
- Orthogonal persistence (was: Software in Wonderland)
David Hopwood
- ?
Peter Van Roy
- Thanks!
Torbjörn Lager
- ?
Eric Mangold
- Thanks!
MG
- Thanks!
Bob Calco
- ?
bry at xdocs.dk
- ?
Jens Grabarske
- Hashtables
duchier at ps.uni-sb.de
- LL4 call for presentations...
Peter Van Roy
- Hashtables
Grzegorz Chrupała
- Hashtables
duchier at ps.uni-sb.de
- [Very OT] Re: ?
Robin Lee Powell
- [Very OT] Re: ?
Jens Grabarske
- Quicky on Failed Values
chris
- Quicky on Failed Values
Denys Duchier
- Panel discussion at MOZ 2004
Peter Van Roy
- Bug: documentation section.property.time
Grégoire Dooms
- Bug: documentation section.property.time
Denys Duchier
- Bug: documentation section.property.time
Kevin Glynn
- Quicky on Failed Values
Donatien Grolaux
- Wrong MIME type on www.mozart-oz.org
Grzegorz Chrupała
- Wrong MIME type on www.mozart-oz.org
chris
- [Very OT] Re: ?
Chris vanBuskirk
- Wrong MIME type on www.mozart-oz.org
Guido Tack
- Final CFP: FLAIRS-05 Special Track on Constraint Solving and
Programming
Ian Miguel
- Slides of MOZ 2004 talks available
Peter Van Roy
- Mozart & Security Features
Somaya Ahmed
- Question about CapDesk
Mark Miller
- Orthogonal persistence (was: Software in Wonderland)
Terence M. Rokop
- What is Mozart doing (Windows Security Alert)?
Nils Franzen
- What is Mozart doing (Windows Security Alert)?
duchier at ps.uni-sb.de
- Suggestion for a Mozart application
Peter Van Roy
- Oz and the "Concepts Techniques And Models" book
Ravi Mohan
- Oz and the "Concepts Techniques And Models" book
Seif Haridi
- Oz and the "Concepts Techniques And Models" book
Peter Van Roy
- Oz and the "Concepts Techniques And Models" book
Ravi Mohan
- Oz and the "Concepts Techniques And Models" book
David Hopwood
- Oz and the "Concepts Techniques And Models" book
Peter Van Roy
- Tickets and Distribution: A Name Server
chris
- Quicky on Failed Values
chris
- Tickets and Distribution: A Name Server
Denys Duchier
- Tickets and Distribution: A Name Server
Christopher Campbell
- W(C)LP 2005 - 2nd CfP
Armin Wolf
- Antw: Re: Oz and the "Concepts Techniques And Models" book
Olivier Lefevre
- Oz and the "Concepts Techniques And Models" book
Andreas Rossberg
- Suggestion for a Mozart application
Denys Duchier
- QAPL 2005 - Call for Papers
Alessandra Di Pierro
- Mozart & Security Features
Peter Van Roy
- CfP: Special Issue on PDMC
Martin Leucker
- Reminder, IPSI conferences, Hawaii and Amalfi (Italy), vip/bb
IPSI-2005
- Help in changing Emacs keybinding
Yann Le Du
- Help in changing Emacs keybinding
Kari Pahula
- Last Call for Papers: Special Issue M4M
Carlos Areces
- Last Call for Papers: Special Issue M4M
Carlos Areces
- Interfaces in Oz.
chris
- Mozart & Security Features
Somaya Ahmed
- Mozart & Security Features
Peter Van Roy
- Sorting a list of record
Vincent
- Interfaces in Oz.
Juergen Stuber
- Interfaces in Oz.
Kevin Glynn
- Interfaces in Oz.
Denys Duchier
- Interfaces in Oz.
Christopher Campbell
- How big is too big?
Brandon Eames
- How big is too big?
Denys Duchier
- Sorting a list of record
Denys Duchier
- mozart-oz w/ postgresql?
ronald
- mozart-oz w/ postgresql?
Donatien Grolaux
- mozart-oz w/ postgresql?
Denys Duchier
- IsDet (was: Sorting a list of record)
Torsten Anders
- IsDet (was: Sorting a list of record)
Torsten Anders
- GDBM leaks memory
Grzegorz Chrupała
- GDBM leaks memory
Denys Duchier
- GDBM leaks memory
Grzegorz Chrupała
- GDBM leaks memory
Denys Duchier
- File Output: Non-Completion?
chris
- File Output: Non-Completion?
Denys Duchier
- File Output: Non-Completion?
chris
- More lecture slides for teaching with Oz
Peter Van Roy
- Newbie question :Sort a liste of tuple
Vincent
- singetons in functors
Maarten van den Dungen
- singetons in functors
Yves Jaradin
- singetons in functors
Torsten Anders
- singetons in functors
Denys Duchier
- singetons in functors
Maarten van den Dungen
- singetons in functors
Torsten Anders
- singetons in functors
Denys Duchier
- singetons in functors
Maarten van den Dungen
- Newbie question :Sort a liste of tuple
Denys Duchier
- Newbie question :Sort a liste of tuple
Raphael Collet
- Newbie question :Sort a liste of tuple
Yves Jaradin
- singetons in functors
Denys Duchier
- Loading paths, MOGUL and Mobile Agents
chris
- Loading paths, MOGUL and Mobile Agents
Denys Duchier
- timing out input
Jorge Marques Pelizzoni
- pipes on Windows
Jorge Marques Pelizzoni
- pipes on Windows
Denys Duchier
- timing out input
Denys Duchier
- pipes on Windows
Jorge Marques Pelizzoni
- Newbie question :Sort a liste of tuple
Boriss Mejias
- installation problem?
Nicholas Spies
- installation problem?
Denys Duchier
- Newbie question :Sort a liste of tuple
Torsten Anders
- installation problem?
Eric Mangold
- Newbie question :Sort a liste of tuple
Boris Mejias
- Newbie question :Sort a liste of tuple
David Hopwood
- Newbie question :Sort a liste of tuple
Kari Pahula
- Loading paths, MOGUL and Mobile Agents
chris
- Mobile Agents
chris
- Loading paths, MOGUL and Mobile Agents
Kevin Glynn
- Mobile Agents
Denys Duchier
- Loading paths, MOGUL and Mobile Agents
Denys Duchier
- Mobile Agents
Peter Van Roy
- thread termination and try... catch
Maarten van den Dungen
- Mobile Agents
chris
- thread termination and try... catch
Denys Duchier
- thread termination and try... catch
Peter Van Roy
- CFP: JAR special issue on Automated Reasoning for Security Protocol
Analysis
lvigano at inf.ethz.ch
- ESSLLI'05 Student Session Call for Papers
Judit Gervain
- Announce - XRI and LP contributions
Andres Becerra Sandoval
- PPDP 2005 First Call for Papers
Amy Felty
- Coordination 2005: First call for papers
Jean-Marie JACQUET
- converting hexadecimal color to RGB color
Vincent
- converting hexadecimal color to RGB color
Denys Duchier
- converting hexadecimal color to RGB color
Juergen Stuber
- converting hexadecimal color to RGB color
Fred Spiessens
- installation problem?
Nicholas Spies
- LPAR'04: Deadline approaching
Prof. Franz Baader
- EASSS'05: call for tutorials
Wiebe van der Hoek
- ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11,
2005) and workshop (Deadline: Dec 17, 2004) proposals
lauth
- CPAIOR 2005: Call for papers
Petr Vilim
- Repeated Messages
Jorge Andres Perez Parra
- Repeated Messages
Christian Schulte
- Repeated Messages
Filip Konvicka
- Distribution behaviour of literals
Christopher Campbell
- EUMAS Early Registration and Hotel Deadlines - 2 days to go!
Wiebe van der Hoek
- Help in changing Emacs keybinding
Kevin Glynn
- Distribution behaviour of literals
Peter Van Roy
- Distribution behaviour of literals
David Hopwood
- stdin and Remote.manager
Jorge Marques Pelizzoni
- stdin and Remote.manager
Jorge Marques Pelizzoni
- stdin and Remote.manager
Juergen Stuber
- stdin and Remote.manager
Jorge Marques Pelizzoni
- Distribution behaviour of literals
chris
- Programming course in French using Mozart
Peter Van Roy
- Ozh - Status
chris.danx
- Ozh - status
chris
- Remote and Signals
Christopher Campbell
- Remote and Signals
Jorge Marques Pelizzoni
- W(C)LP 2005 -- Extended Call For Poster Proposals and System Demos
Armin Wolf
- Remote and Signals
chris
- PADL 2005: Call for participation
dcabeza at fi.upm.es
- Resources was Re: Remote and Signals
chris
- Resources was Re: Remote and Signals
Christian Schulte
- Resources was Re: Remote and Signals
chris.danx
- W(C)LP 2005 - extended Call - Flyer
Armin Wolf
- CFP: 1st Int'l Workshop on Automated Specification and Verification
of Web Sites (WWV'05)
Santiago Escobar
- Using image like background in Tcl-tk
Vincent
- Using image like background in Tcl-tk
Raphael Collet
- Second call for papers: BYTECODE 2005
Fausto Spoto
- Symposium on Principles of Programming Languages 2005: Call for
Participation
David Walker
- Encoding format in oz
Vincent
- Encoding format in oz
Juergen Stuber
- new position paper on the Oz-E project
Fred Spiessens
- CLIMA VI :: First Call for Papers
clima VI <clima-vi at deis.unibo.it>
- Coordination 2005: Last call for papers
Jean-Marie JACQUET
- YOUNG RESEARCHER POSITION and PROGRAMMER POSITION on MATHSAT
AVAILABLE
Roberto Sebastiani
- Outlawing unilateral Mozart system changes
Peter Van Roy
- Outlawing unilateral Mozart system changes
joachim niehren
- Outlawing unilateral Mozart system changes
Juergen Stuber
- Mogul web interface problem
Torsten Anders
- Outlawing unilateral Mozart system changes
Peter Van Roy
- Mozart builds on Fedora 3?
Jan van der Vorst
- No bug report replies :-(
Filip Konvicka
- No bug report replies :-(
Raphael Collet
- No bug report replies :-(
Filip Konvicka
- Mozart builds on Fedora 3?
Kevin Glynn
- Mozart builds on Fedora 3?
Jan van der Vorst
- Mogul web interface problem
Kevin Glynn
- Outlawing unilateral Mozart system changes
Kevin Glynn
- No bug report replies :-(
Guido Tack
- IOzSeF status [Was: No bug report replies]
Filip Konvicka
- QTk: Image takes up only 1qtr of the canvas?
chris
- Image takes up only 1qtr of the canvas?
Christian Schulte
- TLDI'05 Call for Participation
David Walker
- 2 PhD Scholarships in Configuration offered by the IT University
of Copenhagen and Microsoft Business Solutions
Sathi
- finite set select intersection
Irene Langkilde Geary
- finite set select intersection
Guido Tack
- CFP workshop on belief revision and dynamic logic
Andreas HERZIG
- PADL 2005: Call for participation (early reg. deadline near)
Daniel Cabeza Gras
- finite set select intersection
Irene Langkilde Geary
- Coordination 2005: Abstract submission reminder
Jean-Marie JACQUET
- 3 questions on FD.distribute generic
Yonet
- Failing to build FD.oz in Debug mode
Yonet
- 3 questions on FD.distribute generic
Raphael Collet
- Failing to build FD.oz in Debug mode
Raphael Collet
- search alg
David Portabella Clotet
- search alg
Peter Van Roy
- 3 questions on FD.distribute generic
Yonet
- 3 questions