2005 Archives by author

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

Starting: Sat Jan 1 09:53:01 CEST 2005
Ending: Sat Dec 31 17:17:09 CEST 2005
Messages: 1438

ICALP 2006 -- Call for Affiliated Workshops Convegno ICALP '06
[VMCAI '06] Early registration upto Dec 15 VMCAI '06
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
CFP: NWeSP-2005 Web Services conference, IEEE: submission reminder and CFP Alexander Gelbukh (NWeSP)
9th Asian Logic Conference Asian Logic Conference 2005
[ICCIMA/ICSE05] Call for Papers: ICCIMA'05 ICCIMA 2005
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005: Call for Workshops ICLP 2005
ICLP 2005: Call for Workshops ICLP 2005
ICLP 2005: Call for Workshops ICLP 2005
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
ICLP 2005: Call for Papers ICLP 2005
ICLP 2005: Last Call for Papers ICLP 2005
ICLP 2005: Extended Deadlines ICLP 2005
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
ICLP 2005 Doctoral Consortium: Call for Applications ICLP 2005
ICLP 2005: Call for Posters ICLP 2005
ICLP 2005: Call for Posters ICLP 2005
ICLP 2005: Call for Participation ICLP 2005
ICALP 2006 -- Call For Workshop Proposals ICALP 2006
ICALP 2006 -- Preliminary Call For Papers ICALP 2006
PATAT 2006: Second Call for Papers PATAT 2006
PATAT 2006: Call for Papers PATAT 2006
CLIMA VI :: First Call for Papers clima VI <clima-vi at deis.unibo.it>
CLIMA VI :: First Call for Papers clima VI <clima-vi at deis.unibo.it>
CLIMA VI :: Final Call for Papers and Tutorial Programme clima VI <clima-vi at deis.unibo.it>
CLIMA VI :: new deadline April 15 clima VI <clima-vi at deis.unibo.it>
CLIMA VI :: new deadline April 15 clima VI <clima-vi at deis.unibo.it>
First CLIMA Contest: participate by May 20, 2005 clima VI <clima-vi at deis.unibo.it>
Call for Participation and studentship applications for CLIMA VI clima VI <clima-vi at deis.unibo.it>
CLIMA VII: First CFP CLIMA-VII
gentoo ebuilds fail Dario Lopez-Kästen
gentoo ebuilds fail Dario Lopez-Kästen
simple example Grégoire Dooms
simple example Grégoire Dooms
simple question Grégoire Dooms
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Grégoire Dooms
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Grégoire Dooms
literate programming and Mozart Grégoire Dooms
Newbie, errors using code from Tutorial... Grégoire Dooms
Newbie, errors using code from Tutorial... Grégoire Dooms
Understanding Oz Grégoire Dooms
Implementing constraints Grégoire Dooms
Implementing constraints Grégoire Dooms
Constraint programming syntax Grégoire Dooms
Sudoku, again Grégoire Dooms
multiprocessors computer István Váradi
literate programming and Mozart Jorge Andrés Pérez
literate programming and Mozart Jorge Andrés Pérez
windows - mogul - xmlrpc Torbjörn Lager
Organizing Oz information for learning it Torbjörn Lager
Delay Torbjörn Lager
Heuristics using tentative subspaces Filip Konvička
PS: Heuristics using tentative subspaces Filip Konvička
Dictionary vs Record Filip Konvička
contents of this user list Filip Konvička
slow compiler... Filip Konvička
cumulativeEF weird behavior Filip Konvička
cumulativeEF weird behavior Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Installer using InnoSetup Filip Konvička
Installer using InnoSetup Filip Konvička
FD Distribution with changed names in tuple Filip Konvička
Compilation error : variable Module not introduced Grzegorz Chrupała
simple question Grégoire Dooms
PS: Heuristics using tentative subspaces Filip Konvička
Dictionary vs Record Filip Konvička
Dictionary vs Record Filip Konvička
Constraint Programming: how to decide where Search fails (return nil) Filip Konvička
Constraint Programming: how to decide where Search fails (return nil) Filip Konvička
[mozart-oz] negation propogator? Filip Konvička
slow compiler... Filip Konvička
slow compiler... Filip Konvička
slow compiler... Filip Konvička
[IOzSeF] ill-typed builtin application ? Filip Konvička
[IOzSeF] ill-typed builtin application ? Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Situatedness violation in IOzSeF Filip Konvička
Installer using InnoSetup Filip Konvička
Trouble with the command line. Bug? Filip Konvička
About propagators in tuples ... Filip Konvička
memory consumption Filip Konvička
memory consumption Filip Konvička
memory consumption Filip Konvička
memory consumption Filip Konvička
memory consumption Filip Konvička
memory consumption Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Terminating IOzSeF search Filip Konvička
Terminating IOzSeF search Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Scoping problem with relational style (second posting [pretty please]) Filip Konvička
Open records, "..." Filip Konvička
New user question Filip Konvička
memory efficiency of records Filip Konvička
memory efficiency of records Filip Konvička
Still struggling Filip Konvička
Another newbie trap I fell into Filip Konvička
Another newbie trap I fell into Filip Konvička
Another newbie trap I fell into Filip Konvička
Using Mozart in the "real" world ... Filip Konvička
A complaint Filip Konvička
Sudoku solver Filip Konvička
bug tracking system not working? Filip Konvička
bug tracking system not working? Filip Konvička
Dictionary vs Record Torbjörn Lager
The Agent Days 2005: 2nd call for papers "Antonio J. Fernández Leiva"
A priority queue & A nice ADT packaging style Björn Hägglund
Unicode question Björn Hägglund
Re Re: A priority queue & A nice ADT packaging style Björn Hägglund
FD Distribution with changed names in tuple Vladimír Duša
Installer using InnoSetup Andrés Becerra Sandoval
" AUTONOMOUS COMPUTING and AGENTS for PROCESS AUTOMATION " ABA
[Mlnet] CALL FOR PAPERS: CAEPIA'05 AEPIA
The AVISPA Tool v.1.0 - Official release AVISPA
ARSPA'05: Call for Participation AVISPA
New user question Russ Abbott
Any idea why this doesn't run? Russ Abbott
Any idea why this doesn't run? Russ Abbott
Any idea why this doesn't run? Russ Abbott
Another new-comer question Russ Abbott
Univ Russ Abbott
Top level declarations Russ Abbott
case pattern matching Russ Abbott
case pattern matching Russ Abbott
case pattern matching Russ Abbott
Univ Russ Abbott
case pattern matching Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Emergence Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Unify and case (again) Russ Abbott
Unify and case (again) Russ Abbott
From backtracking to FD and more Russ Abbott
From backtracking to FD and more Russ Abbott
Help with CTM Chapter 9 Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Still struggling Russ Abbott
Unify and case (again) Russ Abbott
What is Mozart-Oz Russ Abbott
Unify and case (again) Russ Abbott
Another newbie trap I fell into Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
What is Mozart-Oz Russ Abbott
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Oz syntax Russ Abbott
What is Mozart-Oz Russ Abbott
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
Understanding the Oz Concurrent Logic Programming Model (more evidence) Russ Abbott
Understanding the Oz Concurrent Logic Programming Model (yet more evidence) Russ Abbott
Understanding the Oz Concurrent Logic Programming Model Russ Abbott
External variables Russ Abbott
External variables Russ Abbott
External variables Russ Abbott
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
Concurrency and Constraints Russ Abbott
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
Procedural vs. declarative Russ Abbott
A complaint Russ Abbott
Understanding Oz Russ Abbott
A complaint Russ Abbott
Understanding Oz Russ Abbott
Eclipse plug-in for Oz Russ Abbott
'or' Russ Abbott
Understanding Oz Russ Abbott
'or' Russ Abbott
'or' Russ Abbott
Understanding Oz Russ Abbott
Understanding Oz Russ Abbott
Blocking and default data flow variables Russ Abbott
Suspend synchronously or asynchronously? Russ Abbott
Blocking and default data flow variables Russ Abbott
Organizing Oz information for learning it Russ Abbott
Thread bombs Russ Abbott
Thread bombs Russ Abbott
Logic puzzle with constraints Russ Abbott
Logic puzzle with constraints Russ Abbott
Logic puzzle with constraints Russ Abbott
Thread bombs Russ Abbott
Implementing constraints Russ Abbott
Implementing constraints Russ Abbott
Implementing constraints Russ Abbott
Implementing constraints Russ Abbott
Implementing constraints Russ Abbott
Implementing constraints Russ Abbott
AllDistinct hack Russ Abbott
Sudoku solver Russ Abbott
Sudoku, again Russ Abbott
Sudoku, again Russ Abbott
Sudoku, again Russ Abbott
Sudoku, again Russ Abbott
Sudoku, again Russ Abbott
FD and iterative deepening Russ Abbott
Sudoku with finite sets Russ Abbott
SolveAll Russ Abbott
Emacs font sizes Russ Abbott
Emacs font sizes Russ Abbott
newbie question about pattern-matching of lists Russ Abbott
Strange failure Russ Abbott
Strange failure Russ Abbott
FS solutions to Sudoku Russ Abbott
[Mlnet] HIS'05 - Final Call for Papers Ajith Abraham
[Mlnet] NCA 2005 - Final Call for Papers Ajith Abraham
SEFM 2005 Second CfP Wolfgang Ahrendt
CADE-20 workshop on Disoproving Wolfgang Ahrendt
seven days to deadline for SEFM abstracts Wolfgang Ahrendt
SEFM 2005 Call for Participation Wolfgang Ahrendt
Call for Papers - ICTAC05 (Hanoi) Bernhard K. Aichernig
Call for Papers: FACS'05 - Macao Bernhard K. Aichernig
extended deadline: Workshop on Formal Models of Resource Bounded Agents Natasha Alechina
Fwd: School of Logic in Montreux, Switzerland COSTA LEITE Alexandre
[constraints] recomputation with 'random distribution' Torsten Anders
[constraints] recomputation with 'random distribution' Torsten Anders
[constraints] recomputation with 'random distribution' Torsten Anders
[constraints] recomputation with 'random distribution' Torsten Anders
windows - mogul - xmlrpc Torsten Anders
andthen, macros, arbitrary arguments (Was: Running from command line.) Torsten Anders
Tracing: Records -> VS Torsten Anders
literate programming and Mozart Torsten Anders
[mozart-oz] negation propogator? Torsten Anders
Constraint Programming: how to decide where Search fails (return nil) Torsten Anders
[mozart-oz] negation propogator? Torsten Anders
Mozart: Help Needed Getting Browser to work under Mac OS X Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
[OT] which math concept is equivalent to Oz procedures? Torsten Anders
Alternatives to OPI. Torsten Anders
String functions Torsten Anders
Help with CTM Chapter 9 Torsten Anders
Help with CTM Chapter 9 Torsten Anders
Help with CTM Chapter 9 Torsten Anders
From backtracking to FD and more Torsten Anders
Still struggling Torsten Anders
Unify and case (again) Torsten Anders
Unify and case (again) Torsten Anders
What is Mozart-Oz Torsten Anders
Another newbie trap I fell into Torsten Anders
A complaint Torsten Anders
A complaint Torsten Anders
Using Mozart in the "real" world ... Torsten Anders
or Torsten Anders
Oz support for reals Torsten Anders
Understanding Oz Torsten Anders
Understanding Oz Torsten Anders
Understanding Oz Torsten Anders
Blocking and default data flow variables Torsten Anders
Suspend synchronously or asynchronously? Torsten Anders
Mozart + Gecode? Torsten Anders
Sudoku, again Torsten Anders
newbie question about pattern-matching of lists Torsten Anders
Module loading weirdness Torsten Anders
12 PhD Scholarships in Copenhagen Henrik Reif Andersen
Post Doc Position in Programming Language Technology Henrik Reif Andersen
PAT2005 Summer School Announcement Jesper Andersen
PAT2005 Summer School Announcement Jesper Andersen
Reminder: PAT2005 Summer School Jesper Andersen
The 17th Nordic Workshop on Programming Theory (NWPT'05) Jesper Andersen
UPDATE: NWPT05 Annoucenment Jesper Andersen
[Mlnet] CFP: ECML/PKDD Workshop on Mining Spatio-Temporal Data Andrienko
Beth Dissertation Prize Carlos Areces
Beth Dissertation Prize Carlos Areces
Beth Dissertation Price - Call for Submissions Carlos Areces
Beth Dissertation Price - Call for Submissions Carlos Areces
Beth Dissertation Price - Last Call for Submissions Carlos Areces
Beth Dissertation Price - Last Call for Submissions Carlos Areces
ESSLLI 2005 - Registration now Open! Carlos Areces
ESSLLI 2005 - Registration now Open! Carlos Areces
ESSLLI 2006 - Call for Course and Workshop Proposals Carlos Areces
ESSLLI 2006 - Call for Course and Workshop Proposals Carlos Areces
[ESSLLI 2006] Second Call for Course and Workshop Proposals Carlos Areces
[ESSLLI2006] Last Call for Courses and Workshop Proposals Carlos Areces
[ESSLLI2006] Last Call for Courses and Workshop Proposals Carlos Areces
E.W. Beth Dissertation Prize Winner Carlos Areces
2nd Call: ESSLLI 2006 Student Session Carlos Areces
CFP: Workshop on Logics for Resource Bounded Agents Carlos Areces
ESSLLI 2006: List of Courses Carlos Areces
ESSLLI 2006: List of Accepted Courses and Preliminary Program Carlos Areces
CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006) Carlos Areces
Associate researcher position in Constraint Programming Arno
PADL 2006 -- CALL FOR PAPERS Logic Programming Rsrch Association
PADL'06 Call for Papers Logic Programming Rsrch Association
PADL 2006: Final Call For Papers Logic Programming Rsrch Association
PADL 2006 Call for Participation Logic Programming Rsrch Association
PADL Deadline for Reduced Registration rate extended to 20th Dec. Logic Programming Rsrch Association
Oz-MySql module Carlos Aya
CFP: BeyondFD 2005 Francisco Azevedo
BeyondFD 2005 Submission deadline: June 30 Francisco Azevedo
BeyondFD'05 NEW deadline and Call for Participation Francisco Azevedo
[IOzSeF] ill-typed builtin application ? Kim BENNI
[IOzSeF] ill-typed builtin application ? Kim BENNI
[IOzSeF] ill-typed builtin application ? Kim BENNI
[IOzSeF] Code examples Kim BENNI
[IOzSeF] Code examples Kim BENNI
[IOzSeF] Statistics and search strategy Kim BENNI
About propagators in tuples ... Kim BENNI
About propagators in tuples ... Kim BENNI
About propagators in tuples ... Kim BENNI
WCB05 Call for Papers Rolf Backofen
DALT 2005: second call for papers Matteo Baldoni
DALT 2005: second call for papers Matteo Baldoni
TPLP special issue call for papers Maria Garcia de la Banda
Help Needed: Getting Browser to work under Mac OS X Mike Barley
Mozart: Help Needed Getting Browser to work under Mac OS X Mike Barley
Mozart: Help Needed Getting Browser to work under Mac OS X Mike Barley
Announcing SMT-COMP Clark Barrett
LECTURERSHIP IN COMPUTER SCIENCE, UNIVERSITY OF DURHAM Susan Bates
Future tutorials, oz<--> Simon Beaumont
ALternatives to OPI. Simon Beaumont
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Simon Beaumont
ALternatives to OPI. Simon Beaumont
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Simon Beaumont
EINTR in open... Simon Beaumont
EINTR in open... Simon Beaumont
[SEFM 2005] CfParticipation - Early Registration ends 31 July 2005 Bernhard Beckert
ICFP 2005 - Call for Participation Dariusz Biernacki
A Function composed... Eric Binard
1st Int. Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec) Stefano Bistarelli
CPSec workshop Stefano Bistarelli
CPSec 2005: Extended Submission Deadline Stefano Bistarelli
Set Covering Problem Michael Blond
*** ICFP '06 CALL FOR WORKSHOP PROPOSALS *** Matthias Blume
REMINDER: Proposals for workshops (ICFP '06) due this Friday! Matthias Blume
PhD position at the CWI, Amsterdam Frank de Boer
Regex Examples ? Anthony Borla
OZ Newbie: Correct Cell Usage ? Anthony Borla
OZ Newbie: Correct Cell Usage ? Anthony Borla
Oz Newbie: CRLF conversion of redirected stdin Anthony Borla
Oz Newbie: Access to Outer Scope Variable Anthony Borla
Oz Newbie: Access to Outer Scope Variable Anthony Borla
Oz Newbie: Access to Outer Scope Variable Anthony Borla
Oz Newbie: CRLF conversion of redirected stdin Anthony Borla
Oz Newbie: Access to Outer Scope Variable Anthony Borla
Oz Newbie: Display of unary minus Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
Oz Newbie: Display of unary minus Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
Oz Newbie: Pattern Matching and Type Conversion Anthony Borla
ISAAC: Young Researcher Position at ITC-IRST, Trento Marco Bozzano
mozart 131 Mac Os 10.3.8 newbie question Johannes Brauer
newbie question - cannot enable oz applet Johannes Brauer
What is Mozart-Oz Bob Calco
newbie question - cannot enable oz applet Chris Campbell
Suspend synchronously or asynchronously? Chris Campbell
Status? Chris Campbell
Freely Available Unit testing framework? Chris Campbell
Atomicity of Cells Christopher Campbell
Atomicity of Cells Christopher Campbell
Atomicity of Cells Christopher Campbell
Moz IDE Emulator message Christopher Campbell
The Base Modules vs ADTs Christopher Campbell
Module Managers - URLs Christopher Campbell
The Base Modules vs ADTs Christopher Campbell
GlobalStore Christopher Campbell
Subverting Dataflow in Distributed Systems? Christopher Campbell
Tracing: Records -> VS Christopher Campbell
Tracing: Records -> VS Christopher Campbell
Functors: "identifying" abstractions Christopher Campbell
Functors: "identifying" abstractions Christopher Campbell
Hashing Christopher Campbell
Marshalling Variable as Resource Christopher Campbell
Emacs font sizes Christopher Campbell
CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures Foclasa 2005 (Carlos Canal)
CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques for Software Entities Carlos Canal
Emacs font sizes Manuel Carro
simple example Bruno Carton
Floating Point Printing Problem Bruno Carton
ah, I see a fishbone in my stew Abuzar Chaudhary
ah, I see a fishbone in my stew Abuzar Chaudhary
Newbie question concerning strings ChrisRathman.6335977 at bloglines.com
CTM - Difference Lists ChrisRathman.6335977 at bloglines.com
CTM - Difference Lists ChrisRathman.6335977 at bloglines.com
Transitive Closure - CTM 6.12 ChrisRathman.6335977 at bloglines.com
Help with CTM Chapter 9 ChrisRathman.6335977 at bloglines.com
Understanding Oz ChrisRathman.6335977 at bloglines.com
Final CFP -- PDPAR'05 (Workshop on Pragmatics of Decision Procedures) Alessandro Cimatti
PDPAR'05: Submission deadline extended to April 18, 2005 Alessandro Cimatti
PDPAR'05 call for participation Alessandro Cimatti
MathSAT: PhD positions at ICT-Trento Alessandro Cimatti
PLID 2005 call for participation David Clark
finite set select intersection Raphael Collet
question Raphael Collet
Atomicity of Cells Raphael Collet
finite set select intersection (Raphael Collet) Raphael Collet
Atomicity of Cells Raphael Collet
Mozart g++ 3.4 fix Raphael Collet
Logic prog (newbie question)) Raphael Collet
[constraints] recomputation with 'random distribution' Raphael Collet
Logic prog (newbie question)) Raphael Collet
[constraints] recomputation with 'random distribution' Raphael Collet
[constraints] recomputation with 'random distribution' Raphael Collet
QTk exit app Raphael Collet
The Base Modules vs ADTs Raphael Collet
multiprocessors computer Raphael Collet
Error? Raphael Collet
Remote procedures Raphael Collet
Error in Mozart? Raphael Collet
PS: Heuristics using tentative subspaces Raphael Collet
PS: Heuristics using tentative subspaces Raphael Collet
PS: Heuristics using tentative subspaces Raphael Collet
Functors: "identifying" abstractions Raphael Collet
Fast lazy computations Raphael Collet
literate programming and Mozart Raphael Collet
literate programming and Mozart Raphael Collet
A problem using TK coords Raphael Collet
Solve and ctm Raphael Collet
slow compiler... Raphael Collet
[IOzSeF] ill-typed builtin application ? Raphael Collet
[IOzSeF] ill-typed builtin application ? Raphael Collet
Signed 32 bit... Raphael Collet
Signed 32 bit... Raphael Collet
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
[OT] which math concept is equivalent to Oz procedures? Raphael Collet
Situatedness violation in IOzSeF Raphael Collet
constraints Raphael Collet
Hello... Raphael Collet
Newbie: First Impressions. Raphael Collet
Trouble with the command line. Bug? Raphael Collet
ALternatives to OPI. Raphael Collet
memory consumption Raphael Collet
Scoping problem with relational style (second posting [pretty please]) Raphael Collet
Scoping problem with relational style (second posting [pretty please]) Raphael Collet
Random Bitstrings and XORing them Raphael Collet
String functions Raphael Collet
Do non-GUI arguments work? Raphael Collet
Do non-GUI arguments work? Raphael Collet
Arithmetic constraints Raphael Collet
[Fwd: Installation problem report -MacOSX] Raphael Collet
scalar product Raphael Collet
Compilation error : variable Module not introduced Raphael Collet
memory efficiency of records Raphael Collet
New user question Raphael Collet
Any idea why this doesn't run? Raphael Collet
Another new-comer question Raphael Collet
memory space efficiency of records Raphael Collet
memory efficiency of records Raphael Collet
space efficiency of records Raphael Collet
command line execution of OZ Raphael Collet
Help with CTM Chapter 9 Raphael Collet
emacs problem when navigating to the next error Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Still struggling Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Help with CTM Chapter 9 Raphael Collet
Unify and case (again) Raphael Collet
From backtracking to FD and more Raphael Collet
What is Mozart-Oz Raphael Collet
Another newbie trap I fell into Raphael Collet
What is Mozart-Oz Raphael Collet
What is Mozart-Oz Raphael Collet
What is Mozart-Oz Raphael Collet
What is Mozart-Oz Raphael Collet
Understanding the Oz Concurrent Logic Programming Model Raphael Collet
Understanding the Oz Concurrent Logic Programming Model (more evidence) Raphael Collet
External variables Raphael Collet
External variables Raphael Collet
Procedural vs. declarative Raphael Collet
Procedural vs. declarative Raphael Collet
A complaint Raphael Collet
Procedural vs. declarative Raphael Collet
Understanding Oz Raphael Collet
Understanding Oz Raphael Collet
Understanding Oz Raphael Collet
'or' Raphael Collet
Understanding Oz Raphael Collet
Understanding Oz Raphael Collet
Blocking and default data flow variables Raphael Collet
Understanding Oz Raphael Collet
Blocking and default data flow variables Raphael Collet
Thread bombs Raphael Collet
Thread bombs Raphael Collet
Implementing constraints Raphael Collet
Gump in functors? Raphael Collet
AllDistinct hack Raphael Collet
Exercise, chapter 7 of constraint programming tutorial Raphael Collet
Mozart ticket size in byte? Raphael Collet
Sudoku, again Raphael Collet
Sudoku, again Raphael Collet
A Function composed... Raphael Collet
Emacs font sizes Raphael Collet
Job of a distributor Raphael Collet
ah, I see a fishbone in my stew Raphael Collet
Tuple Constriants Raphael Collet
question about arity compatibility of recursive procedures Raphael Collet
Oz Newbie: CRLF conversion of redirected stdin Raphael Collet
Oz Newbie: Access to Outer Scope Variable Raphael Collet
Oz Newbie: Access to Outer Scope Variable Raphael Collet
Oz Newbie: Pattern Matching and Type Conversion Raphael Collet
Oz Newbie: Pattern Matching and Type Conversion Raphael Collet
Port asynchronicity Raphael Collet
Oz newbie: Upgradable server (CTM page 731) Raphael Collet
Cannot find GNU Emacs or XEmacs!! Raphael Collet
PSI 2006: First CFP PSI06 Conference
PSI 2006: 2nd CFP PSI06 Conference
Newbie, errors using code from Tutorial... Jeffrey Cook
Newbie trying to write conditionals... Jeffrey Cook
Newbie needs real help when the tutorial fails to inform... Jeffrey Cook
Signed 32 bit... Jeffrey Cook
CfP: WS on Multiparadigm Programming with OO Languages at OOPSLA 2005 Kei Davis
CFP: APPSEM05 Workshop Margaret Davis
Procedure.arity Alberto Delgado
ALternatives to OPI. Alberto Delgado
mozart on Gentoo with AMD64 !! Vincent Delporte
mozart on Gentoo with AMD64 !! Vincent Delporte
Freebsd doesn't compile Vincent Delporte
mozart on Gentoo with AMD 64 Vincent Delporte
mozart on Gentoo with AMD 64 Vincent Delporte
error : mozart on Gentoo with AMD 64, another attempt !! Vincent Delporte
mozart on Gentoo with AMD64 !! Vincent Delporte
[Mlnet] 2nd CFP: ECCB'05 Workshop on Biomedical Ontologies and Text Processing George Demetriou
ICNC'05-FSKD'05 Final Call for Papers/Special Sessions/Sponsorship: Changsha China Hepu Deng
Academic position UCLouvain (Belgium) Yves Deville
EATCS AWARD 2006 Mariangiola Dezani
Do non-GUI arguments work? Christopher Dicely
Do non-GUI arguments work? Christopher Dicely
[CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems Juergen Dix
[Promas-al3tfg] CFP: Workshop Programming Multi-Agent Systems (ProMAS) Juergen Dix
[CFP] The First CLIMA Contest Juergen Dix
[CfP] Special Issue on Answer Set Programming (ASP) in Annals of Mathematics and Artificial Intelligence Juergen Dix
CFP: ProMAS@ AAMAS 2005 Prof. Dr. Juergen Dix
CFP: Promas@AAMAS 2005 Prof. Dr. Juergen Dix
CFP: Nonmonotonic Reasoning Workshop (NMR 2006) Prof. Dr. Juergen Dix
2nd CfP: WEL'05 - Workshop on e-Learning Volker Doetsch
Deadline extended (2005, May 22): Workshop on e-Learning Volker Doetsch
Trouble with the command line. Bug? Rich Dougherty
WCB05 Second Call for Papers Agostino Dovier
XML parser does not read redirected URLS Denys Duchier
XML parser does not read redirected URLS Denys Duchier
Help with CVS Denys Duchier
Problem building mozart package Denys Duchier
OS.connect error Denys Duchier
Help Needed: Getting Browser to work under Mac OS X Denys Duchier
killing global search Denys Duchier
Trouble with the command line. Bug? Denys Duchier
Mogul Denys Duchier
C interface or oztool problem (sp. libcurl) Denys Duchier
C interface or oztool problem (sp. libcurl) Denys Duchier
C interface or oztool problem (sp. libcurl) Denys Duchier
Webget.oza Should proc {Copy} becomes proc {Copy $} ? Paul Dufresne
Webget.oza Should proc {Copy} becomes proc {Copy $} ? Paul Dufresne
FD Distribution with changed names in tuple Vladimír Du¹a
FD Distribution with changed names in tuple Vladimír Du¹a
FD Distribution with changed names in tuple Vladimír Du¹a
oz on Mac OS X tiger? Steven Elkins
[Fwd: Installation problem report -MacOSX] Steven Elkins
Last call: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) Santiago Escobar
PhD Position at Technical University of Valencia (Spain) Santiago Escobar
Call for participation WWV'05 Santiago Escobar
PPDP 2005 Second Call for Papers Amy Felty
PPDP 2005 Submission Deadline Extended to February 22 Amy Felty
PPDP 2005 Call for Participation Amy Felty
Call for Participation: FOOL/WOOD 2006 Kathleen Fisher
CFP: European Conference on Logics in AI [JELIA'06] Michael Fisher
Problem with C-x ` (Mac OSX) Ronald E. Fortin
CTM Wiki Dominic Fox
Ward's Wiki Dominic Fox
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Andreas Franke
bug ? in x-ozlib://mathweb/xmlrpc/value.printer.ozf : impossible to transmit a list (array) of small integers to a legacy xmlrpc server Andreas Franke
windows - mogul - xmlrpc Andreas Franke
Running from command line. Andreas Franke
andthen Andreas Franke
andthen Andreas Franke
[Fwd: Re: Tracing: Records -> VS] Andreas Franke
Hashing Andreas Franke
Oz-MySql module Andreas Franke
Newbie trying to write conditionals... Andreas Franke
POSTing data to cgi from Oz Andreas Franke
Mozart oz on Suse Linux Enterprise Server 9 Andreas Franke
command line execution of OZ Andreas Franke
command line execution of OZ Andreas Franke
database connectivity Andreas Franke
database connectivity Andreas Franke
Shell and Open.pipe and wildcards Andreas Franke
Newbie: First Impressions. Freejack
Trouble with the command line. Bug? Freejack
Trouble with the command line. Bug? Freejack
Constraint Handling Rules Web-Pages moved Thom Fruehwirth
Constraint Programming Book Page Update Thom Fruehwirth
CHR 2005 Call for Papers Thom Fruehwirth
CHR 2005 2nd Call for Papers Thom Fruehwirth
[Mlnet] CfP FGML-05 Johannes Fuernkranz
multiprocessors computer Brent Fulgham
Floating Point Printing Problem Brent Fulgham
finite set select intersection (Raphael Collet) Irene Geary
finite set select intersection Irene Langkilde Geary
Constraint Programming: how to decide where Search fails Irene Langkilde Geary
memory space efficiency of records Irene Langkilde Geary
memory space efficiency of records Irene Langkilde Geary
space efficiency of records Irene Langkilde Geary
[CFP] MICAI-2005, Mexican International conference on ARTIFICIAL INTELLIGENCE (Springer LNAI) Alexander Gelbukh
ESSLLI'05 Student Session: Final Call for Papers and Posters Judit Gervain
ESSLLI'05 StuS: Deadline extended until 22nd February 2005 Judit Gervain
JLAP Special Issue on Theory and Foundations of Programming Language Interference and Dependence Roberto Giacobazzi
C interface or oztool problem (sp. libcurl) Alex Gian
Underscore Alex Gian
cURL bindings for oz-mozart Alex Gian
POSTing data to cgi from Oz Alex Gian
POSTing data to cgi from Oz Alex Gian
POSTing data to cgi from Oz Alex Gian
QHTML state of play Alex Gian
QHTML state of play Alex Gian
QHTML state of play Alex Gian
C interface or oztool problem (sp. libcurl) Alex Gian
Noob, Norvig & Gat (A scoping problem) Alex Gian
Noob, Norvig & Gat (A scoping problem) Alex Gian
Noob, Norvig & Gat (A scoping problem) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
Scoping problem with relational style (second posting [pretty please]) Alex Gian
CTM exercise answers Alex Gian
Help with CTM Chapter 9 Alex Gian
What is Mozart-Oz Alex Gian
database connectivity Alex Gian
CFP EUMAS 2005 Marie-Pierre Gleizes
CFP EUMAS 2005 Marie-Pierre Gleizes
EUMAS2005 extended deadline Marie-Pierre Gleizes
EUMAS06: Call for participation event at zaphod.in.tu-clausthal.de
Monitor memory usage and/or atom creation Kevin Glynn
Newbie - help with .ozrc file Kevin Glynn
ip address/host name in ticket Kevin Glynn
simple question Kevin Glynn
Freebsd doesn't compile Kevin Glynn
Freebsd doesn't compile Kevin Glynn
error : mozart on Gentoo with AMD 64, another attempt !! Kevin Glynn
Mozart perishes Kevin Glynn
Mozart g++ 3.4 fix Kevin Glynn
mozart on Gentoo with AMD64 !! Kevin Glynn
Prolog -> Mozart Kevin Glynn
Procedure.arity Kevin Glynn
Getting Mozart cvs development source? Kevin Glynn
The Base Modules vs ADTs Kevin Glynn
Getting Mozart cvs development source? Kevin Glynn
(no subject) Kevin Glynn
Floating Point Printing Problem Kevin Glynn
Mozart Governance Discussion Kevin Glynn
contents of this user list Kevin Glynn
contents of this user list Kevin Glynn
mozart 131 Mac Os 10.3.8 newbie question Kevin Glynn
Compiling mozart on AMD64 or Alpha Kevin Glynn
networking problem Kevin Glynn
build hangs on NetBSD-1.6.2 Kevin Glynn
FWD: [TYPES] 2005 ICFP Programming Contest Kevin Glynn
Post-doc Position in Operations Research/Computer Science Kevin Glynn
xemacs and ms windows Kevin Glynn
Mozart 1.3.1 RPMs for Suse 9.3 available Kevin Glynn
POSTing data to cgi from Oz Kevin Glynn
prepare? Kevin Glynn
POSTing data to cgi from Oz Kevin Glynn
prepare? Kevin Glynn
Connection timeout, the 2nd Kevin Glynn
Do non-GUI arguments work? Kevin Glynn
gentoo ebuilds fail Kevin Glynn
Top level declarations Kevin Glynn
Univ Kevin Glynn
case pattern matching Kevin Glynn
Understanding the Oz Concurrent Logic Programming Model (more evidence) Kevin Glynn
pickle module Kevin Glynn
Clarification Kevin Glynn
Debian status? Kevin Glynn
OZ Newbie: Correct Cell Usage ? Kevin Glynn
ah, I see a fishbone in my stew Kevin Glynn
Webget.oza Should proc {Copy} becomes proc {Copy $} ? Kevin Glynn
Problems finding qtk Kevin Glynn
for cycle on a lazy producer Kevin Glynn
Constraint Solving for Records Kevin Glynn
Oz Newbie: Display of unary minus Kevin Glynn
Oz Newbie: Pattern Matching and Type Conversion Kevin Glynn
Oz Newbie: Pattern Matching and Type Conversion Kevin Glynn
Reading urls Kevin Glynn
dp on freebsd Kevin Glynn
dp on freebsd Kevin Glynn
Frustration, Depression, Nastyness Jens Grabarske
Frustration, Depression, Nastyness Jens Grabarske
Hello... Jens Grabarske
prepare? Jens Grabarske
prepare? Jens Grabarske
Connection timeout riddles Jens Grabarske
Connection timeout, the 2nd Jens Grabarske
Secure communication? Jens Grabarske
Gump in functors? Jens Grabarske
Gump in functors? Jens Grabarske
4-year PhD Positions at UPM -- MOBIUS EU Project MOBIUS PhD Grants
QTk exit app Donatien Grolaux
How to find what text is selected in Qtk text widget? Donatien Grolaux
QHTML state of play Donatien Grolaux
QHTML state of play Donatien Grolaux
smooth move in QTK Donatien Grolaux
HIS'05 Final call for papers Crina Grosan
help for cutting_glass_plate demo Stefano Gualandi
Procedural vs. declarative Stefano Gualandi
CSFW Call for papers Joshua D. Guttman
Two beginner questions Urban Hafner
Two beginner questions Urban Hafner
Two beginner questions Urban Hafner
Two beginner questions Urban Hafner
Random Bitstrings and XORing them Urban Hafner
Random Bitstrings and XORing them Urban Hafner
[ANNOUNCEMENT]: TFP '05: First Call for Papers Kevin Hammond
[ANNOUNCEMENT]: TFP '05: Second Call for Papers Kevin Hammond
[ANNOUNCEMENT]: TFP '05: Third & Final Call for Papers Kevin Hammond
one question about scheduling with discrete resource Joyce Han
Compiling mozart on AMD64 or Alpha Florian Hars
Compiling mozart on AMD64 or Alpha Florian Hars
LOPSTR'05 call for papers P M Hill
LOPSTR'05 second call for papers P M Hill
LOPSTR'05 final call for papers P M Hill
LOPSTR'05: Extended Deadline for Full Papers P M Hill
LOPSTR'05 final call for extended abstracts P M Hill
LOPSTR'05 new deadline for extended abstracts P M Hill
CSR-2006: Final Call for Papers Edward A. Hirsch
CSR-2006: Springer LNCS, Deadline 18th December Edward A. Hirsch
[agents] LCMAS @ IJCAI05 Wiebe van der Hoek
oz on Mac OS X tiger? Christian Hofer
Atomicity of Cells David Hopwood
CTM Wiki David Hopwood
XML Parser fails in "&#<numeric_code>;" David Hopwood
memory consumption David Hopwood
Noob, Norvig & Gat (A scoping problem) David Hopwood
case pattern matching David Hopwood
Still struggling David Hopwood
Still struggling David Hopwood
What is Mozart-Oz David Hopwood
What is Mozart-Oz David Hopwood
What is Mozart-Oz David Hopwood
Procedural vs. declarative David Hopwood
Understanding Oz David Hopwood
Understanding Oz David Hopwood
Understanding Oz David Hopwood
Understanding Oz David Hopwood
Understanding Oz David Hopwood
Understanding Oz David Hopwood
Suspend synchronously or asynchronously? David Hopwood
Understanding Oz David Hopwood
Suspend synchronously or asynchronously? David Hopwood
Implementing constraints David Hopwood
Oz Newbie: Pattern Matching and Type Conversion David Hopwood
Oz Newbie: Pattern Matching and Type Conversion David Hopwood
Meaning of "X=a" depends on context??? Brian Hulley
Meaning of "X=a" depends on context??? Brian Hulley
How to find what text is selected in Qtk text widget? Brian Hulley
Meaning of "X=a" depends on context??? Brian Hulley
How to find what text is selected in Qtk text widget? Brian Hulley
[ICCIMA/ICSE05] CFP: International Conference on Computational Intelligence and Multimedia Applications 2005 ICCIMA'05
[ICCIMA'05] Final Call for Papers; Due Date March 10, 2005 ICCIMA'05
[ICSEng'05] ICCIMA'05: deadline extended to March 25, 2005 ICCIMA'05
[ICCIMA/ICSE05] CfP: Int. Conf. on Systems Engineering'05 - August 16-18, 2005 ICSEng'05
[ICSEng'05] Final CFP - due date March 10, 2005 ICSEng'05
CFP: International Symposium on Neural Networks (ISNN) 2006-- Chengdu, China ISNN2006
build hangs on NetBSD-1.6.2 Roland Illig
build hangs on NetBSD-1.6.2 Roland Illig
CFP: ASE 2006 Yoshinao Isobe
Call for IPSI Transactions Special Issues in 2005/6; c/ba IPSI Transactions Special Issues
Postdoctoral position in coordination languages and web services Jean-Marie JACQUET
Coordination 2005: First call for participation Jean-Marie JACQUET
Coordination 2005: Grants Jean-Marie JACQUET
Coordination 2005: Final call for participation Jean-Marie JACQUET
Coordination 2006: Second call for papers Jean-Marie JACQUET
Coordination 2006: Third call for papers Jean-Marie JACQUET
emacs problem when navigating to the next error Jens H. Jahnke
Newbie question concerning strings Yves Jaradin
ФП и ЛП (FP and LP) Yves Jaradin
[Fwd: Re: OS.connect error] Yves Jaradin
[OT] which math concept is equivalent to Oz procedures? Yves Jaradin
constraints Yves Jaradin
Trouble with the command line. Bug? Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
Scoping problem with relational style (second posting [pretty please]) Yves Jaradin
interfacing C to OZ and pointers Yves Jaradin
Re Re: A priority queue & A nice ADT packaging style Yves Jaradin
Newbie - help with .ozrc file Kent Johnson
Newbie - help with .ozrc file Kent Johnson
Newbie - help with .ozrc file Kent Johnson
AMAST06 CFP (Feb closing date) Michael Johnson
SPACE 2006: Call for Participation Richard Jones
Understanding Oz Jorge.Pelizzoni at loria.fr
Understanding Oz Jorge.Pelizzoni at loria.fr
Thread bombs Jorge.Pelizzoni at loria.fr
Tuple Constriants Jorge.Pelizzoni at loria.fr
DEADLINE FOR ESSLLI 05 CHEAP REGISTRATION APPROACHING Fairouz Kamareddine
Closing deadline of conference accommodation Fairouz Kamareddine
Final call for ESSLLI05 registration Fairouz Kamareddine
FINAL CALL FOR ESSLLI05 registration Fairouz Kamareddine
mozart/oz developer position Gabor Karsai
Using Mozart in the "real" world ... Jonathan Kelly
Clarification Jonathan Kelly
Parallel search hanging Ryan Kelly
[Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining Dr-Ing. Gabriella Kokai
PS: Heuristics using tentative subspaces Filip Konvicka
PS: Heuristics using tentative subspaces Filip Konvicka
PS: Heuristics using tentative subspaces Filip Konvicka
Dictionary vs Record Filip Konvicka
Dictionary vs Record Filip Konvicka
[mozart-oz] negation propogator? Filip Konvicka
Installer using InnoSetup Filip Konvicka
About propagators in tuples ... Filip Konvicka
Scoping problem with relational style (second posting [pretty please]) Filip Konvicka
Any idea why this doesn't run? Filip Konvicka
memory efficiency of records Filip Konvicka
New user question Filip Konvicka
External variables Filip Konvicka
Arithmetic constraints Lyle Kopnicky
Re: ФП и ЛП (FP and LP) Nick Kostirya
What is Mozart-Oz Mark van der Kraan
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
{Browse 'any'} doesn't work under Windows XP. Marek Kubowicz
Compilation error : variable Module not introduced Saurabh Kumar
networking problem Renaud De Landtsheer
networking problem Renaud De Landtsheer
memory consumption Renaud De Landtsheer
{Browse 'any'} doesn't work under Windows XP. Renaud De Landtsheer
smooth move in QTK Renaud De Landtsheer
smooth move in QTK Renaud De Landtsheer
interfacing C to OZ and pointers Renaud De Landtsheer
memory efficiency of records Irene Langkilde-Geary
What is Mozart-Oz Irene Langkilde-Geary
Understanding the Oz Concurrent Logic Programming Model Irene Langkilde-Geary
implementing constraints Irene Langkilde-Geary
[Mlnet] CALL FOR PAPERS: ICML 2005, Bonn, Germany, 7-11 August 2005 (Submission deadline: 8th March 2005) Ina Lauth
[Mlnet] AW: [Kdnet-members] CfP: ICML05 Workshop on Ontology Learning Ina Lauth
[Mlnet] Machine Learning - Pascal Challenges, April 11-13 Ina Lauth
[Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder) Ina Lauth
PDMC'05 - 1st CfP Martin Leucker
CfP: PDMC'05 at ICALP'05 Martin Leucker
PDMC'05 Deadline Extension Martin Leucker
MTCoord'05: First call for papers Isabelle Linden
MTCoord'05: Second call for papers Isabelle Linden
Call for papers: MoveLog05 James Lipton
String functions Patrick D. Logan
International M.Sc. Program in COMPUTATIONAL LOGIC Int. Center for Computational Logic
Announcement: APPSEM-II Summer School, Sep 8-12 Hans-Wolfgang Loidl
CFP: APPSEM05 Workshop Hans-Wolfgang Loidl
CfP: Applied Semantics, Special Issue of J of TCS Hans-Wolfgang Loidl
ACM SAC 2006 CFP: Software Verification Track Lunjin Lu
Extended Deadline - ACM SAC'06: Software Verification Track Lunjin Lu
Extended Deadline - ACM SAC'06: Software Verification Track Lunjin Lu
9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2006) CONFERENCE MANAGER
2006 Programme on Logic and Algorithms - Workshops MYV
Cfp : ICSM 2005, the 21st International Conference on Software Maintenance Software Maintenance
Cfp : ICSM 2005 submission deadline extension Software Maintenance
Reminder - WCRE and WICSA submissions Software Maintenance
Call for participation in ICSM 2005, the 21st International Conference on Software Maintenance Software Maintenance
FMICS'05: Reminder - Deadline for abstracts is today! Tiziana Margaria
2005 IEEE ISoLA Workshop: Call for papers Tiziana Margaria
constraints Mario
scalar product Mario
Help with CVS Manuel J Contreras Maya
Help with CVS Manuel J Contreras Maya
XML Parser fails in "&#<numeric_code>;" Manuel J Contreras Maya
XML Parser fails in "&#<numeric_code>;" Manuel J Contreras Maya
database connectivity Manuel J Contreras Maya
database connectivity Manuel J Contreras Maya
XML parser does not read redirected URLS Manuel J. Contreras Maya
Constraint Handling Rules (CHR) News Marc Meister
implementing constraints Marc Meister
contents of this user list Boriss Mejias
literate programming and Mozart Boriss Mejias
in in procs Boriss Mejias
Help with CVS Boriss Mejias
Secure communication? Boriss Mejias
Any idea why this doesn't run? Boriss Mejias
database connectivity Boriss Mejias
newbie question: cell and future stuff Boriss Mejias
newbie question: cell and future stuff Boriss Mejias
newbie question: cell and future stuff Boriss Mejias
dp on freebsd Boriss Mejias
dp on freebsd Boriss Mejias
oz on Mac OS X tiger? Mike Meyer
oz on Mac OS X tiger? Mike Meyer
Newbie - help with .ozrc file Wolfgang Meyer
Final CFP: SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing Ian Miguel
Final CFP: Symposium on Abstraction Reformulation and Approximation: SARA 2005 Ian Miguel
CFP: 5th Workshop on Modelling and Solving Probles with Constraints Ian Miguel
Post-doc Position in Operations Research/Computer Science Ian Miguel
Pre-advertisement: Senior Research Fellowship, possible progression to permanent Lecturer Ian Miguel
Call for Participation: SAT 2005 Ian Miguel
First Constraint Modelling Challenge Ian Miguel
Final Call for Participation: SAT 2005 Ian Miguel
Springer edition of MOZ 2004 proceedings available Mark S. Miller
An OZ Interpreter/Compiler in OZ ? Ravi Mohan
CTM and Monads Ravi Mohan
PhD in aspect-oriented languages Oege de Moor
Floating Point Printing Problem Joachim Niehren
Mogul Joachim Niehren
TFP2006: call for papers Henrik Nilsson
TFP2006: Second Call for Papers Henrik Nilsson
CTM exercise answers Harmon Nine
Unification, Entailment, Pattern matching Harmon Nine
Unification, Entailment, Pattern matching Harmon Nine
Unification, Entailment, Pattern matching Harmon Nine
Exercise, chapter 7 of constraint programming tutorial Harmon Nine
Job of a distributor Harmon Nine
Constraint programming syntax Harmon Nine
Newbie trying to write conditionals... Shigeo Nishi
Potential Postgraduate Scholarship at Cork Constraint Computation Centre (4C) Tomas Eric Nordlander
Debian status? Jeffrey Nowakowski
Running from command line. Tobias Nurmiranta
andthen, macros, arbitrary arguments (Was: Running from command line.) Tobias Nurmiranta
andthen Tobias Nurmiranta
Oz and scheme syntax. Tobias Nurmiranta
Underscore Jeff Nye
gentoo ebuilds fail Matthew O'Connor
gentoo ebuilds fail Matthew O'Connor
Post-doc Position in Operations Research/Computer Science Conrad OBOULHAS
CLEI 2005: Call for Papers Carlos Olarte
question Gustavo Pabon
[constraints] recomputation with 'random distribution' Gustavo Pabon
Constraint Programming: how to decide where Search fails (return nil) Gustavo Pabon
Constraint Programming: how to decide where Search fails (return nil) Gustavo Pabon
help for cutting_glass_plate demo Gustavo Pabon
slow compiler... Gustavo Pabon
ozmille-0.1 released Kari Pahula
Arithmetic constraints Kari Pahula
Blocking and default data flow variables Kari Pahula
Cell operation leads to 'tell' failure Kari Pahula
Emacs font sizes Kari Pahula
Oz Newbie: Access to Outer Scope Variable Kari Pahula
first contact :) Kari Pahula
ozc -e Kari Pahula
Problems finding qtk Paolino
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS Marc-Antoine Parent
Future tutorials, oz<--> Marc-Antoine Parent
Future tutorials, oz<--> - posixsm.c (1/1) [4K] Marc-Antoine Parent
[Fwd: Installation problem report -MacOSX] Marc-Antoine Parent
(no subject) Stéphane Payrard
simple example Jorge Marques Pelizzoni
files and sockets Jorge Marques Pelizzoni
simple example Jorge Marques Pelizzoni
ip address/host name in ticket Jorge Marques Pelizzoni
ip address/host name in ticket Jorge Marques Pelizzoni
Prolog -> Mozart Jorge Marques Pelizzoni
Interfacing to Microsoft Visual C# .NET Jorge Marques Pelizzoni
Distrib. programming (newbie q.) Jorge Marques Pelizzoni
Distrib. programming (newbie q.) Jorge Marques Pelizzoni
Error? Jorge Marques Pelizzoni
what has become of the selection package? Jorge Marques Pelizzoni
Floating Point Printing Problem Jorge Marques Pelizzoni
Dictionary vs Record Jorge Marques Pelizzoni
Dictionary vs Record Jorge Marques Pelizzoni
CTM - Difference Lists Jorge Marques Pelizzoni
Situatedness violation in IOzSeF Jorge Marques Pelizzoni
Situatedness violation in IOzSeF Jorge Marques Pelizzoni
FS.diff bug? Jorge Marques Pelizzoni
killing global search Jorge Marques Pelizzoni
bug: broken symmetries Jorge Marques Pelizzoni
more assymetry: FS.var.is and FD.is Jorge Marques Pelizzoni
About propagators in tuples ... Jorge Marques Pelizzoni
bug in Search? was Re: Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
bug in Search? was Re: Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
Scoping problem with relational style (second posting [pretty please]) Jorge Marques Pelizzoni
Still struggling Jorge Marques Pelizzoni
CFP: Computational Models of Scientific Reasoning and Applications (CMSRA-IV) Luis Moniz Pereira
Call For Papers: ISMM 2006 (International Symposium on Memory Management) Erez Petrank
Book announcement: Advanced Topics in Types and Programming Languages Benjamin Pierce
ICFP 2005 - Accepted papers Benjamin Pierce
ICFP 2005 - Final Call for Papers Benjamin C. Pierce
A problem using TK coords Ely Pinchover
A problem using TK coords Ely Pinchover
CFP: BAOSW - Building and Applying Ontologies for the Semantic Web Sofia Pinto
implement better crontab in Oz? Andrew Piskorski
xemacs and ms windows Jaime Alberto Parra Plaza
.ozrc and ms windows Jaime Alberto Parra Plaza
Beth Dissertation Prize: call for submissions Alberto Policriti
multiprocessors computer Konstantin Popov
multiprocessors computer Konstantin Popov
C-thread synchronizing with OZ Konstantin Popov
about the undefined symbol in linking C code to Mozart-OZ Konstantin Popov
about the undefined symbol in linking C code to Mozart-OZ Konstantin Popov
Understanding Oz Robin Lee Powell
[GRIN][CFP][GULP] Answer Set Programming 2005: invitation to attend Alessandro Provetti
documenting Mozart code Túry Péter
literate programming and Mozart Túry Péter
Reachability problem Luis Quesada
Transitive Closure - CTM 6.12 Luis Quesada
Implementing constraints Luis Quesada
AllDistinct hack Luis Quesada
hashing records Luis Quesada
Understanding Oz Chris Rathman
[Mlnet] CFP: ACL 2005 Workshop on Feature Engineering for Machine Learning in NLP Eric Ringger
command line execution of OZ Robert Ritchey
command line execution of OZ Robert Ritchey
What is Mozart-Oz Robert Ritchey
STI Cell Processor Steven H. Rogers
Functors: "identifying" abstractions Andreas Rossberg
Understanding Oz Andreas Rossberg
Problem building mozart package Guillaume Rousse
Problem building mozart package Guillaume Rousse
case statement semantic in kernel language Peter Van Roy
case statement semantic in kernel language Peter Van Roy
Newbie question concerning strings Peter Van Roy
Two beginner questions Peter Van Roy
Mozart perishes Peter Van Roy
Mozart perishes Peter Van Roy
Mozart perishes Peter Van Roy
Prolog -> Mozart Peter Van Roy
multiprocessors computer Peter Van Roy
Distrib. programming (newbie q.) Peter Van Roy
multiprocessors computer Peter Van Roy
Springer edition of MOZ 2004 proceedings available Peter Van Roy
Springer edition of MOZ 2004 proceedings available Peter Van Roy
Newbie needs real help when the tutorial fails to inform... Peter Van Roy
New Mozart governance procedure has started! Peter Van Roy
ACM Dynamic Languages Symposium 2005 Peter Van Roy
Solve and ctm Peter Van Roy
Second year programming course using Mozart (in French) Peter Van Roy
Meaning of "X=a" depends on context??? Peter Van Roy
An OZ Interpreter/Compiler in OZ ? Peter Van Roy
Future tutorials, oz<--> Peter Van Roy
American tour for the 'Concepts' book Peter Van Roy
Underscore Peter Van Roy
CTM exercise answers Peter Van Roy
Unification, Entailment, Pattern matching Peter Van Roy
Unification, Entailment, Pattern matching Peter Van Roy
Secure communication? Peter Van Roy
New user question Peter Van Roy
Any idea why this doesn't run? Peter Van Roy
memory efficiency of records Peter Van Roy
Univ Peter Van Roy
Univ Peter Van Roy
Help with CTM Chapter 9 Peter Van Roy
Lecture tour Peter Van Roy
What is Mozart-Oz Peter Van Roy
Procedural vs. declarative Peter Van Roy
Understanding Oz Peter Van Roy
A complaint Peter Van Roy
Understanding Oz Peter Van Roy
Using Mozart in the "real" world ... Peter Van Roy
Suspend synchronously or asynchronously? Peter Van Roy
Suspend synchronously or asynchronously? Peter Van Roy
Suspend synchronously or asynchronously? Peter Van Roy
Understanding Oz Peter Van Roy
Organizing Oz information for learning it Peter Van Roy
Constraint programming syntax Peter Van Roy
Delay Peter Van Roy
Red-black trees in Mozart Peter Van Roy
Constraint Solving for Records Peter Van Roy
Source code from CTM online Peter Van Roy
first contact :) Peter Van Roy
Status? Peter Van Roy
help setting up XEmacs and Mozart George Rudolph
help setting up mozart with xemacs on windows xp George Rudolph
PATAT 2006: Call for Demonstrations Hana Rudova
post-doc job in functional programming Colin Runciman
newbie question about pattern-matching of lists Benjamin L. Russell
newbie question about pattern-matching of lists Benjamin L. Russell
newbie question about pattern-matching of lists Benjamin L. Russell
question about arity compatibility of recursive procedures Benjamin L. Russell
question about arity compatibility of recursive procedures Benjamin L. Russell
question about arity compatibility of recursive procedures Benjamin L. Russell
question about arity compatibility of recursive procedures Benjamin L. Russell
about RI Gustavo Gutierrez Sabogal
ALternatives to OPI. Nigel Sandever
mozart on Gentoo with AMD64 !! Andres Becerra Sandoval
mozart on Gentoo with AMD 64 Andres Becerra Sandoval
about RI Andres Becerra Sandoval
command line execution of OZ Andres Becerra Sandoval
pickle module Andres Becerra Sandoval
CFP: M4M-4 (Methods for Modalities 2005) Holger Schlingloff
CFP: M4M-4 (Methods for Modalities 2005) Holger Schlingloff
2nd CFP: M4M-4 "Methods for Modalities"; Berlin, Dec. 1-2, 2005 Holger Schlingloff
CFP: M4M-4 Program and Call for Participation Holger Schlingloff
[Mlnet] MSc in Information and Computer Sciences - Uni Luxembourg - starting September 2005 Christoph Schommer
Error in Mozart? (FoldR) Christian Schulte
Dictionary vs Record Christian Schulte
[mozart-oz] negation propogator? Christian Schulte
FW: PADL'06 Call for Papers Christian Schulte
FD Distribution with changed names in tuple Christian Schulte
Random Bitstrings and XORing them Christian Schulte
case pattern matching Christian Schulte
What is Mozart-Oz Christian Schulte
Understanding Oz Christian Schulte
'or' Christian Schulte
Suspend synchronously or asynchronously? Christian Schulte
Suspend synchronously or asynchronously? Christian Schulte
Implementing constraints Christian Schulte
Implementing constraints Christian Schulte
Implementing co