2005 Archives by date
Starting: Sat Jan 1 09:53:01 CEST 2005
Ending: Sat Dec 31 17:17:09 CEST 2005
Messages: 1438
- problem with C-x ` (Mac OSX)
Fred Spiessens
- Problem with C-x ` (Mac OSX)
Ronald E. Fortin
- Last call: 1st Int'l Workshop on Automated Specification and
Verification of Web Sites (WWV'05)
Santiago Escobar
- case statement semantic in kernel language
Marko Zerdin
- case statement semantic in kernel language
Peter Van Roy
- Newbie - help with .ozrc file
Kent Johnson
- finite set select intersection
Guido Tack
- [agents] LCMAS @ IJCAI05
Wiebe van der Hoek
- MTCoord'05: First call for papers
Isabelle Linden
- case statement semantic in kernel language
Marko Zerdin
- case statement semantic in kernel language
Peter Van Roy
- Monitor memory usage and/or atom creation
Kevin Glynn
- case statement semantic in kernel language
Marko Zerdin
- finite set select intersection
Irene Langkilde Geary
- LAAIC'05 Call for papers,
Logical Aspects & Appl. of Integrity Constraints
laaic05 at ruc.dk
- finite set select intersection
Raphael Collet
- Cfp : ICSM 2005, the 21st International Conference on Software
Maintenance
Software Maintenance
- question
moz mozar
- question
Raphael Collet
- question
Gustavo Pabon
- CP-AI-OR 2005: Last call for papers
Petr Vilim
- Newbie - help with .ozrc file
Kent Johnson
- CP-AI-OR 2005: LAST call for papers
Petr Vilim
- Newbie - help with .ozrc file
Kevin Glynn
- Frustration, Depression, Nastyness
Jens Grabarske
- Frustration, Depression, Nastyness
Jens Grabarske
- Newbie - help with .ozrc file
Wolfgang Meyer
- Newbie question concerning strings
ChrisRathman.6335977 at bloglines.com
- Newbie question concerning strings
Yves Jaradin
- [ICCIMA/ICSE05] Call for Papers: ICCIMA'05
ICCIMA 2005
- Newbie question concerning strings
Peter Van Roy
- Newbie - help with .ozrc file
Kent Johnson
- [ICCIMA/ICSE05] CFP: International Conference on Computational
Intelligence and Multimedia Applications 2005
ICCIMA'05
- STI Cell Processor
Steven H. Rogers
- STI Cell Processor
Robert Wills
- 9th Asian Logic Conference
Asian Logic Conference 2005
- [ICCIMA/ICSE05] CfP: Int. Conf. on Systems Engineering'05 - August
16-18, 2005
ICSEng'05
- Constraint Handling Rules (CHR) News
Marc Meister
- LPNMR'05: Call for Papers
lpnmr05.publicity at mat.unical.it
- Atomicity of Cells
Christopher Campbell
- Atomicity of Cells
Christopher Campbell
- Atomicity of Cells
Raphael Collet
- Atomicity of Cells
Christopher Campbell
- ICLP 2005: Call for Papers
ICLP 2005
- finite set select intersection (Raphael Collet)
Irene Geary
- finite set select intersection (Raphael Collet)
Raphael Collet
- Atomicity of Cells
Juergen Stuber
- PhD Position at Technical University of Valencia (Spain)
Santiago Escobar
- Atomicity of Cells
David Hopwood
- Atomicity of Cells
Raphael Collet
- Beth Dissertation Prize
Carlos Areces
- Beth Dissertation Prize
Carlos Areces
- Beth Dissertation Prize: call for submissions
Alberto Policriti
- CLEI 2005: Call for Papers
Carlos Olarte
- Postdoctoral position in coordination languages and web services
Jean-Marie JACQUET
- PPDP 2005 Second Call for Papers
Amy Felty
- Two beginner questions
Urban Hafner
- Two beginner questions
Urban Hafner
- Two beginner questions
Peter Van Roy
- Two beginner questions
Urban Hafner
- Two beginner questions
Urban Hafner
- PDMC'05 - 1st CfP
Martin Leucker
- test
asu
- ФП и ЛП
asu
- ФП и ЛП (FP and LP)
Yves Jaradin
- Re: ФП и ЛП (FP and LP)
Nick Kostirya
- FP and LP
asu
- simple example
Grégoire Dooms
- simple example
Jorge Marques Pelizzoni
- simple example
Grégoire Dooms
- simple example
asu
- simple example
asu
- simple example
asu
- Moz IDE Emulator message
Christopher Campbell
- mozart on Gentoo with AMD64 !!
Vincent Delporte
- simple example
asu
- simple example
Bruno Carton
- simple example
asu
- simple example
asu
- CFP: ProMAS@ AAMAS 2005
Prof. Dr. Juergen Dix
- mozart on Gentoo with AMD64 !!
Andres Becerra Sandoval
- files and sockets
Jorge Marques Pelizzoni
- files and sockets
asu
- simple example
Jorge Marques Pelizzoni
- mozart on Gentoo with AMD64 !!
Vincent Delporte
- ip address/host name in ticket
Robert Wills
- ip address/host name in ticket
Jorge Marques Pelizzoni
- ip address/host name in ticket
Robert Wills
- ip address/host name in ticket
Jorge Marques Pelizzoni
- ip address/host name in ticket
Robert Wills
- ip address/host name in ticket
Kevin Glynn
- simple example
asu
- bind
afranke at ags.uni-sb.de
- bind
asu
- simple question
asu
- simple question
Grégoire Dooms
- simple question
Kevin Glynn
- 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
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
Grégoire Dooms
- LOPSTR'05 call for papers
P M Hill
- Freebsd doesn't compile
Kevin Glynn
- Freebsd doesn't compile
paolo_veronelli
- Freebsd doesn't compile
Vincent Delporte
- simple question
asu
- Freebsd doesn't compile
Kevin Glynn
- Mozart perishes
Jan van der Vorst
- mozart on Gentoo with AMD 64
Vincent Delporte
- mozart on Gentoo with AMD 64
Andres Becerra Sandoval
- mozart on Gentoo with AMD 64
Vincent Delporte
- Mozart perishes
Peter Van Roy
- Mozart perishes
David Sletten
- Mozart perishes
Jan van der Vorst
- Freebsd doesn't compile
paolo_veronelli
- error : mozart on Gentoo with AMD 64, another attempt !!
Vincent Delporte
- Mozart perishes
Peter Van Roy
- Mozart perishes
Peter Van Roy
- error : mozart on Gentoo with AMD 64, another attempt !!
Kevin Glynn
- Mozart g++ 3.4 fix
Jan van der Vorst
- Mozart perishes
Kevin Glynn
- mozart on Gentoo with AMD64 !!
Vincent Delporte
- OPI and Resolver
chris
- Mozart g++ 3.4 fix
Kevin Glynn
- Mozart g++ 3.4 fix
Jan van der Vorst
- mogul package documentation
Fred Spiessens
- mogul package documentation
Fred Spiessens
- CFP: Defence Applications of Multi-Agent Systems (DAMAS) @
AAMAS-2005
Chris vanBuskirk
- Mozart g++ 3.4 fix
Raphael Collet
- ESSLLI'05 Student Session: Final Call for Papers and Posters
Judit Gervain
- mozart on Gentoo with AMD64 !!
Kevin Glynn
- [CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on
Programming Multi-Agent Systems
Juergen Dix
- 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
- [constraints] recomputation with 'random distribution'
Torsten Anders
- VIM errorformat
asu
- Logic prog (newbie question))
Raphael Collet
- Logic prog (newbie question))
asu
- [constraints] recomputation with 'random distribution'
Raphael Collet
- [constraints] recomputation with 'random distribution'
Torsten Anders
- Logic prog (newbie question))
Raphael Collet
- Logic prog (newbie question))
asu
- [constraints] recomputation with 'random distribution'
Raphael Collet
- Prolog -> Mozart
Kevin Glynn
- [constraints] recomputation with 'random distribution'
Torsten Anders
- Prolog -> Mozart
asu
- [constraints] recomputation with 'random distribution'
Raphael Collet
- [constraints] recomputation with 'random distribution'
Torsten Anders
- windows - mogul - xmlrpc
bart verbeke
- windows - mogul - xmlrpc
Torbjörn Lager
- Prolog -> Mozart
Peter Van Roy
- windows - mogul - xmlrpc
bart verbeke
- windows - mogul - xmlrpc
Torsten Anders
- 12 PhD Scholarships in Copenhagen
Henrik Reif Andersen
- [constraints] recomputation with 'random distribution'
Gustavo Pabon
- OPI and Resolver
chris
- Prolog -> Mozart
asu
- windows - mogul - xmlrpc
Andreas Franke
- QTk exit app
Donatien Grolaux
- QTk exit app
Raphael Collet
- QTk exit app
asu
- QTk exit app
asu
- The Base Modules vs ADTs
Christopher Campbell
- Prolog -> Mozart
Jorge Marques Pelizzoni
- Module Managers - URLs
Christopher Campbell
- The Base Modules vs ADTs
Raphael Collet
- International M.Sc. Program in COMPUTATIONAL LOGIC
Int. Center for Computational Logic
- The Base Modules vs ADTs
chris
- Procedure.arity
Alberto Delgado
- Procedure.arity
Kevin Glynn
- Getting Mozart cvs development source?
Jan van der Vorst
- Getting Mozart cvs development source?
Jan van der Vorst
- Getting Mozart cvs development source?
Kevin Glynn
- The Base Modules vs ADTs
chris
- The Base Modules vs ADTs
Kevin Glynn
- The Base Modules vs ADTs
Christopher Campbell
- GlobalStore
Christopher Campbell
- ARSPA'05: Workshop on Automated Reasoning for Security Protocol
Analysis (co-located with ICALP'05)
lvigano at inf.ethz.ch
- CTM Wiki
Dominic Fox
- multiprocessors computer
István Váradi
- multiprocessors computer
asu at ritm.msk.ru
- multiprocessors computer
asu at ritm.msk.ru
- multiprocessors computer
Konstantin Popov
- Interfacing to Microsoft Visual C# .NET
Gabriel Skantze
- multiprocessors computer
asu at ritm.msk.ru
- multiprocessors computer
Konstantin Popov
- multiprocessors computer
asu at ritm.msk.ru
- Subverting Dataflow in Distributed Systems?
Christopher Campbell
- W(C)LP 2005 - Call for Participation
Armin Wolf
- C-thread synchronizing with OZ
Jan van der Vorst
- ICLP 2005 Doctoral Consortium: Call for Applications
ICLP 2005
- C-thread synchronizing with OZ
Konstantin Popov
- Interfacing to Microsoft Visual C# .NET
Jorge Marques Pelizzoni
- CTM Wiki
David Hopwood
- Ward's Wiki
Dominic Fox
- multiprocessors computer
Brent Fulgham
- multiprocessors computer
Raphael Collet
- Distrib. programming (newbie q.)
asu at ritm.msk.ru
- Distrib. programming (newbie q.)
Jorge Marques Pelizzoni
- Distrib. programming (newbie q.)
asu at ritm.msk.ru
- Distrib. programming (newbie q.)
asu at ritm.msk.ru
- Getting Mozart cvs development source?
Kevin Glynn
- Final CFP: SAT 2005 - 8th International Conference on Theory and
Applications of Satisfiability Testing
Ian Miguel
- Distrib. programming (newbie q.)
Jorge Marques Pelizzoni
- multiprocessors computer
Jan van der Vorst
- multiprocessors computer
Peter Van Roy
- Distrib. programming (newbie q.)
Peter Van Roy
- OpenSSH and Windows 2000
asu at ritm.msk.ru
- Unit Tests?
chris
- multiprocessors computer
Jan van der Vorst
- Unit Tests?
Juergen Stuber
- Error?
asu at ritm.msk.ru
- berkeley db interface
paolo_veronelli
- Error?
Jorge Marques Pelizzoni
- Error?
Raphael Collet
- Remote procedures
asu at ritm.msk.ru
- Remote procedures
Raphael Collet
- Invitation to Italy and USA 2005; c/ba
IPSI-2005 Italy and USA
- distributing the lift example
van der heijden
- PPDP 2005 Submission Deadline Extended to February 22
Amy Felty
- Remote procedures
asu at ritm.msk.ru
- about RI
Gustavo Gutierrez Sabogal
- Error in Mozart? (FoldR)
asu at ritm.msk.ru
- about RI
Carlos G. Testera
- Error in Mozart? (FoldR)
chris.danx
- Error in Mozart? (FoldR)
chris
- Error in Mozart? (FoldR)
Christian Schulte
- about RI
Andres Becerra Sandoval
- Book announcement: Advanced Topics in Types and Programming
Languages
Benjamin Pierce
- Error in Mozart?
asu at ritm.msk.ru
- Error in Mozart?
Raphael Collet
- Running from command line.
Tobias Nurmiranta
- ESSLLI'05 StuS: Deadline extended until 22nd February 2005
Judit Gervain
- MTCoord'05: Second call for papers
Isabelle Linden
- Announcement: APPSEM-II Summer School, Sep 8-12
Hans-Wolfgang Loidl
- documenting Mozart code
Túry Péter
- Running from command line.
Andreas Franke
- Unit Tests?
Juergen Stuber
- (no subject)
Stéphane Payrard
- andthen, macros,
arbitrary arguments (Was: Running from command line.)
Tobias Nurmiranta
- (no subject)
Kevin Glynn
- Error in Mozart?
asu at ritm.msk.ru
- JLAP Special Issue on Theory and Foundations of Programming Language
Interference and Dependence
Roberto Giacobazzi
- andthen, macros, arbitrary arguments (Was: Running from
command line.)
Torsten Anders
- andthen
Andreas Franke
- ICLP 2005: Call for Papers
ICLP 2005
- Beth Dissertation Price - Call for Submissions
Carlos Areces
- Beth Dissertation Price - Call for Submissions
Carlos Areces
- andthen
Tobias Nurmiranta
- andthen
Andreas Franke
- multiprocessors computer
Peter Van Roy
- Final CFP: Symposium on Abstraction Reformulation and Approximation:
SARA 2005
Ian Miguel
- ICLP 2005: Call for Workshops
ICLP 2005
- LPNMR'05: Papers Submission Open
lpnmr05.publicity at mat.unical.it
- Heuristics using tentative subspaces
Filip Konvička
- [Promas-al3tfg] CFP: Workshop Programming Multi-Agent Systems
(ProMAS)
Juergen Dix
- Oz and scheme syntax.
Tobias Nurmiranta
- PS: Heuristics using tentative subspaces
Filip Konvička
- PS: Heuristics using tentative subspaces
Raphael Collet
- PS: Heuristics using tentative subspaces
Filip Konvička
- SEFM 2005 Second CfP
Wolfgang Ahrendt
- PS: Heuristics using tentative subspaces
Filip Konvicka
- CFP: Workshop on Integration of Software Engineering and Agent
Technology (ISEAT 2005)
Michael Winikoff
- AOIS-2005 @ AAMAS Second Call for Papers
Michael Winikoff
- PS: Heuristics using tentative subspaces
Raphael Collet
- PS: Heuristics using tentative subspaces
Raphael Collet
- Call for participation WWV'05
Santiago Escobar
- CADE-20 workshop on Disoproving
Wolfgang Ahrendt
- [Mlnet] CALL FOR PAPERS: ICML 2005, Bonn, Germany,
7-11 August 2005 (Submission deadline: 8th March 2005)
Ina Lauth
- DALT 2005: second call for papers
Matteo Baldoni
- PS: Heuristics using tentative subspaces
Filip Konvicka
- PS: Heuristics using tentative subspaces
Filip Konvicka
- ICNC'05-FSKD'05 Final Call for Papers/Special
Sessions/Sponsorship: Changsha China
Hepu Deng
- DALT 2005: second call for papers
Matteo Baldoni
- what has become of the selection package?
Jorge Marques Pelizzoni
- [ICCIMA'05] Final Call for Papers; Due Date March 10, 2005
ICCIMA'05
- [ICSEng'05] Final CFP - due date March 10, 2005
ICSEng'05
- " AUTONOMOUS COMPUTING and AGENTS for PROCESS AUTOMATION "
ABA
- Call for IPSI Transactions Special Issues in 2005/6; c/ba
IPSI Transactions Special Issues
- [Mlnet] AW: [Kdnet-members] CfP: ICML05 Workshop on Ontology
Learning
Ina Lauth
- [Mlnet] Machine Learning - Pascal Challenges, April 11-13
Ina Lauth
- Unit Tests?
chris
- Tracing: Records -> VS
Christopher Campbell
- Tracing: Records -> VS
Torsten Anders
- [Fwd: Re: Tracing: Records -> VS]
Andreas Franke
- ozweb?
Robert Wills
- CLIMA VI :: First Call for Papers
clima VI <clima-vi at deis.unibo.it>
- Springer edition of MOZ 2004 proceedings available
Peter Van Roy
- Tracing: Records -> VS
Christopher Campbell
- Springer edition of MOZ 2004 proceedings available
Mark S. Miller
- [Mlnet] DBIS:Wissenschaftlichen Mitarbeiters (BAT II a).
Prof. Dott. Ing. Roberto Zicari
- Springer edition of MOZ 2004 proceedings available
Peter Van Roy
- [Haskell] Summer School on Reliable Computing: Call for
Participation
Steve Zdancewic
- Functors: "identifying" abstractions
Christopher Campbell
- Functors: "identifying" abstractions
Raphael Collet
- Functors: "identifying" abstractions
Andreas Rossberg
- [Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder)
Ina Lauth
- [Mlnet] Open University Position in Austria
Gerhard Widmer
- [Mlnet] CFP: ACL 2005 Workshop on Feature Engineering for Machine
Learning in NLP
Eric Ringger
- Floating Point Printing Problem
Brent Fulgham
- Floating Point Printing Problem
Joachim Niehren
- Floating Point Printing Problem
Bruno Carton
- Floating Point Printing Problem
Juergen Stuber
- Floating Point Printing Problem
Juergen Stuber
- Floating Point Printing Problem
Jorge Marques Pelizzoni
- Beth Dissertation Price - Last Call for Submissions
Carlos Areces
- Beth Dissertation Price - Last Call for Submissions
Carlos Areces
- CLIMA VI :: First Call for Papers
clima VI <clima-vi at deis.unibo.it>
- LPNMR'05: Call for Papers
lpnmr05.publicity at mat.unical.it
- CFP: Promas@AAMAS 2005
Prof. Dr. Juergen Dix
- Floating Point Printing Problem
Kevin Glynn
- Functors: "identifying" abstractions
Christopher Campbell
- Hashing
Christopher Campbell
- Hashing
Andreas Franke
- Dictionary vs Record
Filip Konvička
- Dictionary vs Record
Jorge Marques Pelizzoni
- CPAIOR 2005: Call for Participation
Petr Vilim
- Marshalling Variable as Resource
Christopher Campbell
- Dictionary vs Record
Filip Konvička
- Dictionary vs Record
Christian Schulte
- Dictionary vs Record
Filip Konvička
- Dictionary vs Record
Torbjörn Lager
- Dictionary vs Record
Jorge Marques Pelizzoni
- Dictionary vs Record
Filip Konvicka
- Dictionary vs Record
Filip Konvicka
- [CFP] MICAI-2005,
Mexican International conference on ARTIFICIAL INTELLIGENCE
(Springer LNAI)
Alexander Gelbukh
- Mozart Governance Discussion
Kevin Glynn
- Coordination 2005: First call for participation
Jean-Marie JACQUET
- ICFP 2005 - Final Call for Papers
Benjamin C. Pierce
- DALT 2005 deadline extension: 18 March
baldoni
- [Mlnet] MSc in Information and Computer Sciences - Uni Luxembourg -
starting September 2005
Christoph Schommer
- CFP: APPSEM05 Workshop
Hans-Wolfgang Loidl
- [ICSEng'05] ICCIMA'05: deadline extended to March 25, 2005
ICCIMA'05
- Call for papers: WILF 2005
Andrea G. B. Tettamanzi
- Fwd: School of Logic in Montreux, Switzerland
COSTA LEITE Alexandre
- seven days to deadline for SEFM abstracts
Wolfgang Ahrendt
- LPNMR'05: Submission Deadline Approaching
lpnmr05.publicity at mat.unical.it
- contents of this user list
Filip Konvička
- contents of this user list
Kevin Glynn
- extended deadline: Workshop on Formal Models of Resource Bounded
Agents
Natasha Alechina
- ARSPA'05: Workshop on Automated Reasoning for Security Protocol
Analysis (NEW: ENTCS publication of proceedings)
lvigano at inf.ethz.ch
- Cfp : ICSM 2005 submission deadline extension
Software Maintenance
- contents of this user list
Boriss Mejias
- contents of this user list
Kevin Glynn
- ICLP 2005: Call for Workshops
ICLP 2005
- Fast lazy computations
Raphael Collet
- CFP: International Conference AUTOMATED SOFTWARE ENGINEERING
Yunwen Ye
- literate programming and Mozart
Raphael Collet
- literate programming and Mozart
Torsten Anders
- literate programming and Mozart
Boriss Mejias
- literate programming and Mozart
Jorge Andrés Pérez
- literate programming and Mozart
Jorge Andrés Pérez
- literate programming and Mozart
Grégoire Dooms
- literate programming and Mozart
Raphael Collet
- Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS
Paul Snively
- Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS
Fred Spiessens
- CTM - Difference Lists
ChrisRathman.6335977 at bloglines.com
- CTM - Difference Lists
Jorge Marques Pelizzoni
- CTM - Difference Lists
ChrisRathman.6335977 at bloglines.com
- Oz-MySql module
Carlos Aya
- Oz-MySql module
Andreas Franke
- LPNMR'05: LAST Call for Papers
lpnmr05.publicity at mat.unical.it
- Constraint Handling Rules Web-Pages moved
Thom Fruehwirth
- Coordination 2005: Grants
Jean-Marie JACQUET
- 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
Paul Snively
- Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS
Paul Snively
- Problem with Mozart 1.3.1 and GNU EMACS 22.0.50.1 From CVS
Marc-Antoine Parent
- CFP: The 20th International Symposium on Computer and Information
Sciences (ISCIS'05)
PInar Yolum
- PAT2005 Summer School Announcement
Jesper Andersen
- literate programming and Mozart
Túry Péter
- ICLP 2005: Call for Workshops
ICLP 2005
- CP-AI-OR 2005: Second call for participation
Petr Vilim
- 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
Paul Snively
- unit commitment problem
nick7069
- ESSLLI 2005 - Registration now Open!
Carlos Areces
- ESSLLI 2005 - Registration now Open!
Carlos Areces
- Final CFP -- PDPAR'05 (Workshop on Pragmatics of Decision
Procedures)
Alessandro Cimatti
- ICLP 2005: Call for Papers
ICLP 2005
- Summer School on Reliable Computing -- Revised Registration Date
Steve Zdancewic
- LPAR-12 in Jamaica
geoff at cs.miami.edu
- Compiling mozart on AMD64 or Alpha
Florian Hars
- FLoC 2006 Preliminary Announcement
Kreutzer + Schweikardt
- CLIMA VI :: Final Call for Papers and Tutorial Programme
clima VI <clima-vi at deis.unibo.it>
- CfP: PDMC'05 at ICALP'05
Martin Leucker
- CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination
Languages and Software Architectures
Foclasa 2005 (Carlos Canal)
- CLIMA VI :: new deadline April 15
clima VI <clima-vi at deis.unibo.it>
- DEADLINE FOR ESSLLI 05 CHEAP REGISTRATION APPROACHING
Fairouz Kamareddine
- Newbie, errors using code from Tutorial...
Jeffrey Cook
- CLIMA VI :: new deadline April 15
clima VI <clima-vi at deis.unibo.it>
- Newbie, errors using code from Tutorial...
Grégoire Dooms
- Newbie, errors using code from Tutorial...
Grégoire Dooms
- LPNMR'05: Call for Systems and Applications
lpnmr05.publicity at mat.unical.it
- Coordination 2005: Final call for participation
Jean-Marie JACQUET
- CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques
for Software Entities
Carlos Canal
- Constraint Programming Book Page Update
Thom Fruehwirth
- PAT2005 Summer School Announcement
Jesper Andersen
- Newbie trying to write conditionals...
Jeffrey Cook
- Newbie trying to write conditionals...
Andreas Franke
- Newbie needs real help when the tutorial fails to inform...
Jeffrey Cook
- Constraint Programming: how to decide where Search fails (return
nil)
Changzhou Wang
- Constraint Programming: how to decide where Search fails (return
nil)
Filip Konvička
- Newbie needs real help when the tutorial fails to inform...
Peter Van Roy
- Constraint Programming: how to decide where Search fails
(return nil)
Gustavo Pabon
- Newbie trying to write conditionals...
Shigeo Nishi
- Constraint Programming: how to decide where Search fails (return
nil)
Filip Konvička
- Constraint Programming: how to decide where Search fails
(return nil)
Adriano Volpones
- Constraint Programming: how to decide where Search fails
Irene Langkilde Geary
- Constraint Programming: how to decide where Search fails
(return nil)
Gustavo Pabon
- [mozart-oz] negation propogator?
Changzhou Wang
- [mozart-oz] negation propogator?
Torsten Anders
- Constraint Programming: how to decide where Search fails
(return nil)
Torsten Anders
- [mozart-oz] negation propogator?
Changzhou Wang
- Constraint Programming: how to decide where Search fails
(return nil)
Changzhou Wang
- [mozart-oz] negation propogator?
Torsten Anders
- mozart 131 Mac Os 10.3.8 newbie question
Johannes Brauer
- [mozart-oz] negation propogator?
Filip Konvicka
- ATVA 2005: Call for Papers
Yih-Kuen Tsay
- [mozart-oz] negation propogator?
Christian Schulte
- [mozart-oz] negation propogator?
Filip Konvička
- CFP: 5th Workshop on Modelling and Solving Probles with Constraints
Ian Miguel
- CFP: The 20th International Symposium on Computer and Information
Sciences (ISCIS'05) (fwd)
PInar Yolum
- mozart 131 Mac Os 10.3.8 newbie question
Kevin Glynn
- Compiling mozart on AMD64 or Alpha
Kevin Glynn
- [Mlnet] CFP for CMB 2005 workshop
rcamacho at fe.up.pt
- Compiling mozart on AMD64 or Alpha
Florian Hars
- newbie question - cannot enable oz applet
Johannes Brauer
- newbie question - cannot enable oz applet
Chris Campbell
- Call for Papers - ICTAC05 (Hanoi)
Bernhard K. Aichernig
- New Mozart governance procedure has started!
Peter Van Roy
- Announcing SMT-COMP
Clark Barrett
- PDPAR'05: Submission deadline extended to April 18, 2005
Alessandro Cimatti
- ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for
Security Protocol Analysis, co-located with ICALP'05)
lvigano at inf.ethz.ch
- PDMC'05 Deadline Extension
Martin Leucker
- LOPSTR'05 second call for papers
P M Hill
- CFP: BAOSW - Building and Applying Ontologies for the Semantic Web
Sofia Pinto
- Post-doc Position in Operations Research/Computer Science
Ian Miguel
- Reachability problem
Luis Quesada
- Post Doc Position in Programming Language Technology
Henrik Reif Andersen
- Pre-advertisement: Senior Research Fellowship, possible progression
to permanent Lecturer
Ian Miguel
- ACM Dynamic Languages Symposium 2005
Peter Van Roy
- Final CFP: Bounded Model Checking workshop (BMC'05)
Ofer Strichman
- networking problem
Renaud De Landtsheer
- networking problem
Kevin Glynn
- networking problem
Renaud De Landtsheer
- ICLP 2005: Call for Papers
ICLP 2005
- in in procs
orbitz at ezabel.com
- in in procs
orbitz at ezabel.com
- in in procs
Boriss Mejias
- ICLP 2005 Doctoral Consortium: Call for Applications
ICLP 2005
- First CLIMA Contest: participate by May 20, 2005
clima VI <clima-vi at deis.unibo.it>
- CFP: NWeSP-2005 Web Services conference,
IEEE: submission reminder and CFP
Alexander Gelbukh (NWeSP)
- A problem using TK coords
Ely Pinchover
- A problem using TK coords
Ely Pinchover
- A problem using TK coords
Raphael Collet
- ICLP 2005: Call for Papers
ICLP 2005
- ICLP 2005: Last Call for Papers
ICLP 2005
- build hangs on NetBSD-1.6.2
Roland Illig
- Reminder: PAT2005 Summer School
Jesper Andersen
- Solve and ctm
Robert Wills
- Solve and ctm
Raphael Collet
- Solve and ctm
Peter Van Roy
- [ANNOUNCEMENT]: TFP '05: First Call for Papers
Kevin Hammond
- build hangs on NetBSD-1.6.2
Kevin Glynn
- ICLP 2005: Extended Deadlines
ICLP 2005
- help for cutting_glass_plate demo
Adriano Volpones
- ATVA 2005: Call for Papers (Deadline: May 23)
Yih-Kuen Tsay
- help for cutting_glass_plate demo
Stefano Gualandi
- [Mlnet] CALL FOR PAPERS: CAEPIA'05
AEPIA
- help for cutting_glass_plate demo
Gustavo Pabon
- help for cutting_glass_plate demo
Adriano Volpones
- CP-AI-OR 2005: Call for Participation
Petr Vilim
- help for cutting_glass_plate demo
Adriano Volpones
- Call for Participation: SAT 2005
Ian Miguel
- mozart/oz developer position
Gabor Karsai
- ESSLLI 2006 - Call for Course and Workshop Proposals
Carlos Areces
- ESSLLI 2006 - Call for Course and Workshop Proposals
Carlos Areces
- ACM Transactions on Computational Logic - Call for Nominations
Moshe Vardi
- Closing deadline of conference accommodation
Fairouz Kamareddine
- slow compiler...
Filip Konvička
- [CFP] The First CLIMA Contest
Juergen Dix
- Call For Papers: Workshop on Logic-based methods in Programming
Environments (in conjunction with ICLP'05)
A Serebrenik
- build hangs on NetBSD-1.6.2
Roland Illig
- LOPSTR'05 final call for papers
P M Hill
- The Agent Days 2005: 2nd call for papers
"Antonio J. Fernández Leiva"
- 2nd CfP: WEL'05 - Workshop on e-Learning
Volker Doetsch
- First Constraint Modelling Challenge
Ian Miguel
- slow compiler...
Filip Konvička
- slow compiler...
Gustavo Pabon
- Reminder - WCRE and WICSA submissions
Software Maintenance
- [Joergen Villadsen] FIRST CALL FOR PAPERS: 2nd International
Workshop on Constraint Solving and Language Processing - CSLP 2005
duchier at ps.uni-sb.de
- Deadline extended (2005, May 22): Workshop on e-Learning
Volker Doetsch
- slow compiler...
Filip Konvička
- slow compiler...
Raphael Collet
- slow compiler...
Filip Konvička
- PPDP 2005 Call for Participation
Amy Felty
- ICLP 2005 Doctoral Consortium: Call for Applications
ICLP 2005
- XML parser does not read redirected URLS
Manuel J. Contreras Maya
- XML parser does not read redirected URLS
Denys Duchier
- XML parser does not read redirected URLS
Denys Duchier
- CP-AI-OR 2005: Final call for participation
Petr Vilim
- CP-AI-OR 2005: Final call for participation
Petr Vilim
- CFP: NWeSP-2005 Web Services conference,
IEEE: submission reminder and CFP
Alexander Gelbukh (NWeSP)
- LOPSTR'05: Extended Deadline for Full Papers
P M Hill
- Help with CVS
Manuel J Contreras Maya
- Help with CVS
Manuel J Contreras Maya
- Help with CVS
Denys Duchier
- ATVA 2005: Final CFP (New Deadline: May 27)
Yih-Kuen Tsay
- Call for Papers for CICLOPS'2005
Fernando Silva
- CFP: NWeSP-2005 Web Services conference,
IEEE: submission reminder and CFP
Alexander Gelbukh (NWeSP)
- Help with CVS
Boriss Mejias
- CPSec call for papers
Fred Spiessens
- PhD in aspect-oriented languages
Oege de Moor
- CPSec call for papers
Fred Spiessens
- 1st Int. Workshop on Applications of Constraint Satisfaction and
Programming to Computer Security (CPSec)
Stefano Bistarelli
- Help with CVS
duchier at ps.uni-sb.de
- Call for Participation and studentship applications for CLIMA VI
clima VI <clima-vi at deis.unibo.it>
- CFP: International Conference AUTOMATED SOFTWARE ENGINEERING
Yunwen Ye
- CPSec call for papers
Fred Spiessens
- ICLP 2005 Doctoral Consortium: Call for Applications
ICLP 2005
- about the undefined symbol in linking C code to Mozart-OZ
Dan Su
- about the undefined symbol in linking C code to Mozart-OZ
Konstantin Popov
- about the undefined symbol in linking C code to Mozart-OZ
duchier at ps.uni-sb.de
- POPL 06 Call for Papers
David Walker
- [IOzSeF] ill-typed builtin application ?
Kim BENNI
- [IOzSeF] ill-typed builtin application ?
Raphael Collet
- Second year programming course using Mozart (in French)
Peter Van Roy
- [IOzSeF] ill-typed builtin application ?
Kim BENNI
- FMICS'05: Reminder - Deadline for abstracts is today!
Tiziana Margaria
- [IOzSeF] ill-typed builtin application ?
Raphael Collet
- Final Call for Participation: SAT 2005
Ian Miguel
- about the undefined symbol in linking C code to Mozart-OZ
Dan Su
- FWD: [TYPES] 2005 ICFP Programming Contest
Kevin Glynn
- about the undefined symbol in linking C code to Mozart-OZ
Konstantin Popov
- about the undefined symbol in linking C code to Mozart-OZ
duchier at ps.uni-sb.de
- [IOzSeF] ill-typed builtin application ?
Filip Konvička
- CFP: BeyondFD 2005
Francisco Azevedo
- Problem building mozart package
Guillaume Rousse
- The 17th Nordic Workshop on Programming Theory (NWPT'05)
Jesper Andersen
- Problem building mozart package
Denys Duchier
- LOPSTR'05 final call for extended abstracts
P M Hill
- CHR 2005 Call for Papers
Thom Fruehwirth
- [IOzSeF] ill-typed builtin application ?
Kim BENNI
- Problem building mozart package
Guillaume Rousse
- INAP 2005 - Call for Papers
Armin Wolf
- Problem building mozart package
duchier at ps.uni-sb.de
- WCB05 Call for Papers
Rolf Backofen
- Call for papers: MoveLog05
James Lipton
- [IOzSeF] ill-typed builtin application ?
Filip Konvička
- [IOzSeF] ill-typed builtin application ?
Guido Tack
- [IOzSeF] Code examples
Kim BENNI
- [IOzSeF] Code examples
Guido Tack
- [ESSLLI 2006] Second Call for Course and Workshop Proposals
Carlos Areces
- [IOzSeF] Code examples
Kim BENNI
- [IOzSeF] Code examples
Guido Tack
- LOPSTR'05 new deadline for extended abstracts
P M Hill
- [ANN] MOGUL back online and updating
denys.duchier at mozart-oz.org
- 2005 IEEE ISoLA Workshop: Call for papers
Tiziana Margaria
- Final Call for Participation: CSCLP 2005
ian miguel
- ICLP 2005: Call for Posters
ICLP 2005
- Final call for ESSLLI05 registration
Fairouz Kamareddine
- FINAL CALL FOR ESSLLI05 registration
Fairouz Kamareddine
- OS.connect error
bart verbeke
- OS.connect error
duchier at ps.uni-sb.de
- OS.connect error
Denys Duchier
- [Fwd: Re: OS.connect error]
Yves Jaradin
- [Mlnet] 2nd CFP: ECCB'05 Workshop on Biomedical Ontologies and Text
Processing
George Demetriou
- [Mlnet] CfP FGML-05
Johannes Fuernkranz
- Signed 32 bit...
Jeffrey Cook
- Signed 32 bit...
Raphael Collet
- [IOzSeF] Statistics and search strategy
Kim BENNI
- Post-doc Position in Operations Research/Computer Science
Conrad OBOULHAS
- Post-doc Position in Operations Research/Computer Science
Kevin Glynn
- Signed 32 bit...
Raphael Collet
- CPSec workshop
Stefano Bistarelli
- ICFP 2005 - Accepted papers
Benjamin Pierce
- ozmille-0.1 released
Kari Pahula
- Help Needed: Getting Browser to work under Mac OS X
Mike Barley
- Help Needed: Getting Browser to work under Mac OS X
Denys Duchier
- Help Needed: Getting Browser to work under Mac OS X
Fred Spiessens
- [ANNOUNCEMENT]: TFP '05: Second Call for Papers
Kevin Hammond
- [ESSLLI2006] Last Call for Courses and Workshop Proposals
Carlos Areces
- [ESSLLI2006] Last Call for Courses and Workshop Proposals
Carlos Areces
- Mozart: Help Needed Getting Browser to work under Mac OS X
Mike Barley
- SECOND Call For Papers: Workshop on Logic-based methods in
Programming Environments (in conjunction with ICLP'05)
A Serebrenik
- Mozart: Help Needed Getting Browser to work under Mac OS X
Torsten Anders
- cumulativeEF weird behavior
Filip Konvička
- LPAR last CFP
geoff at cs.miami.edu
- Mozart: Help Needed Getting Browser to work under Mac OS X
Mike Barley
- REMINDER: ASE05 calls for Tutorial, Workshop,
Doctoral Symposium and Demo are due Jun 17
Yunwen Ye
- cumulativeEF weird behavior
Filip Konvička
- [OT] which math concept is equivalent to Oz procedures?
Torsten Anders
- PADL 2006 -- CALL FOR PAPERS
Logic Programming Rsrch Association
- The AVISPA Tool v.1.0 - Official release
AVISPA
- PDPAR'05 call for participation
Alessandro Cimatti
- SEFM 2005 Call for Participation
Wolfgang Ahrendt
- ICLP 2005: Call for Posters
ICLP 2005
- [OT] which math concept is equivalent to Oz procedures?
Raphael Collet
- WCB05 Second Call for Papers
Agostino Dovier
- [OT] which math concept is equivalent to Oz procedures?
Yves Jaradin
- Call for paper - IEEE Tools with AI (ICTAI 2005)
ictai05
- [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?
Raphael Collet
- [OT] which math concept is equivalent to Oz procedures?
Torsten Anders
- CPSec 2005: Extended Submission Deadline
Stefano Bistarelli
- [GRIN][CFP][GULP] Answer Set Programming 2005: invitation to attend
Alessandro Provetti
- Call for Papers: FACS'05 - Macao
Bernhard K. Aichernig
- [OT] which math concept is equivalent to Oz procedures?
Raphael Collet
- [Mlnet] CFP: ECML/PKDD Workshop on Mining Spatio-Temporal Data
Andrienko
- CFP: M4M-4 (Methods for Modalities 2005)
Holger Schlingloff
- CFP: M4M-4 (Methods for Modalities 2005)
Holger Schlingloff
- [Mlnet] HIS'05 - Final Call for Papers
Ajith Abraham
- [Mlnet] CFP of Special Journal Issue on Applications Eligible for
Data Mining
Takashi Washio
- Meaning of "X=a" depends on context???
Brian Hulley
- Meaning of "X=a" depends on context???
Brian Hulley
- [Mlnet] NCA 2005 - Final Call for Papers
Ajith Abraham
- How to find what text is selected in Qtk text widget?
Brian Hulley
- [Mlnet] CFP of Special Journal Issue on Applications Eligible
for Data Mining
Dr-Ing. Gabriella Kokai
- Meaning of "X=a" depends on context???
Peter Van Roy
- Meaning of "X=a" depends on context???
Brian Hulley
- Situatedness violation in IOzSeF
Filip Konvička
- Situatedness violation in IOzSeF
Filip Konvička
- Situatedness violation in IOzSeF
Jorge Marques Pelizzoni
- Situatedness violation in IOzSeF
Raphael Collet
- Situatedness violation in IOzSeF
Jorge Marques Pelizzoni
- FLoC 2006: Call For Workshop Proposals
Kreutzer + Schweikardt
- xemacs and ms windows
Jaime Alberto Parra Plaza
- Situatedness violation in IOzSeF
Filip Konvička
- Situatedness violation in IOzSeF
Filip Konvička
- Situatedness violation in IOzSeF
Filip Konvička
- xemacs and ms windows
Kevin Glynn
- How to find what text is selected in Qtk text widget?
Donatien Grolaux
- How to find what text is selected in Qtk text widget?
Brian Hulley
- BeyondFD 2005 Submission deadline: June 30
Francisco Azevedo
- HIS'05 Final call for papers
Crina Grosan
- Installer using InnoSetup
Filip Konvička
- Installer using InnoSetup
Andrés Becerra Sandoval
- Installer using InnoSetup
Filip Konvicka
- An OZ Interpreter/Compiler in OZ ?
Ravi Mohan
- Installer using InnoSetup
Filip Konvička
- An OZ Interpreter/Compiler in OZ ?
Peter Van Roy
- Constraint Solving and Language Processing (CSLP 2005, 2nd Call)
duchier at ps.uni-sb.de
- Installer using InnoSetup
Filip Konvička
- Hello...
Jens Grabarske
- XML Parser fails in "&#<numeric_code>;"
Manuel J Contreras Maya
- XML Parser fails in "&#<numeric_code>;"
David Hopwood
- ARSPA'05: Call for Participation
AVISPA
- CHR 2005 2nd Call for Papers
Thom Fruehwirth
- .ozrc and ms windows
Jaime Alberto Parra Plaza
- constraints
Mario
- FS.diff bug?
Jorge Marques Pelizzoni
- XML Parser fails in "&#<numeric_code>;"
Manuel J Contreras Maya
- constraints
Yves Jaradin
- constraints
Raphael Collet
- MathSAT: PhD positions at ICT-Trento
Alessandro Cimatti
- FINAL Call For Papers: Workshop on Logic-based methods in
Programming Environments (in conjunction with ICLP'05)
A Serebrenik
- XML Parser fails in "&#<numeric_code>;"
duchier at ps.uni-sb.de
- FS.diff bug?
duchier at ps.uni-sb.de
- constraints
duchier at ps.uni-sb.de
- killing global search
Jorge Marques Pelizzoni
- killing global search
Denys Duchier
- oz on Mac OS X tiger?
Mike Meyer
- oz on Mac OS X tiger?
Christian Hofer
- bug: broken symmetries
Jorge Marques Pelizzoni
- more assymetry: FS.var.is and FD.is
Jorge Marques Pelizzoni
- oz on Mac OS X tiger?
Mike Meyer
- oz on Mac OS X tiger?
Steven Elkins
- LPNMR'05: Call for Participation
lpnmr05 at mat.unical.it
- ICFP 2005 - Call for Participation
Dariusz Biernacki
- NEW DEADLINE Call For Papers: Workshop on Logic-based methods in
Programming Environments (in conjunction with ICLP'05)
A Serebrenik
- [ANNOUNCEMENT]: TFP '05: Third & Final Call for Papers
Kevin Hammond
- LPAR-12 Deadline Reminder
geoff at cs.miami.edu
- E.W. Beth Dissertation Prize Winner
Carlos Areces
- BeyondFD'05 NEW deadline and Call for Participation
Francisco Azevedo
- ISAAC: Young Researcher Position at ITC-IRST, Trento
Marco Bozzano
- Hello...
Raphael Collet
- Call for participation in ICSM 2005, the 21st International
Conference on Software Maintenance
Software Maintenance
- PSC Track @ SAC cfp
Emiliano Tramontana
- Transitive Closure - CTM 6.12
ChrisRathman.6335977 at bloglines.com
- Transitive Closure - CTM 6.12
Luis Quesada
- MICAI 2005 - Call for Workshops
micai2005.mty at itesm.mx
- MICAI 2005 - Call for Tutorials
micai2005.mty at itesm.mx
- Potential Postgraduate Scholarship at Cork Constraint Computation
Centre (4C)
Tomas Eric Nordlander
- bug: broken symmetries
duchier at ps.uni-sb.de
- more assymetry: FS.var.is and FD.is
duchier at ps.uni-sb.de
- PADL'06 Call for Papers
Logic Programming Rsrch Association
- Newbie: First Impressions.
Freejack
- Trouble with the command line. Bug?
Freejack
- Newbie: First Impressions.
Raphael Collet
- Trouble with the command line. Bug?
Freejack
- Trouble with the command line. Bug?
Rich Dougherty
- Trouble with the command line. Bug?
Filip Konvička
- Trouble with the command line. Bug?
Yves Jaradin
- Trouble with the command line. Bug?
Denys Duchier
- Trouble with the command line. Bug?
Raphael Collet
- Associate researcher position in Constraint Programming
Arno
- ICLP 2005: Call for Participation
ICLP 2005
- ALternatives to OPI.
Nigel Sandever
- FW: PADL'06 Call for Papers
Christian Schulte
- About propagators in tuples ...
Kim BENNI
- About propagators in tuples ...
Filip Konvička
- About propagators in tuples ...
Jorge Marques Pelizzoni
- About propagators in tuples ...
Kim BENNI
- About propagators in tuples ...
Kim BENNI
- About propagators in tuples ...
Filip Konvicka
- [SEFM 2005] CfParticipation - Early Registration ends 31 July 2005
Bernhard Beckert
- CFP EUMAS 2005
Marie-Pierre Gleizes
- ASE05 Workshop Software Certificate Management CfP
Yunwen Ye
- ALternatives to OPI.
Raphael Collet
- [ICLP 2006] Call for WORKSHOP proposals
A Serebrenik
- Future tutorials, oz<-->
tony.bigbee at att.net
- ALternatives to OPI.
Fred Spiessens
- CFP: Computational Models of Scientific Reasoning and Applications
(CMSRA-IV)
Luis Moniz Pereira
- Future tutorials, oz<-->
Simon Beaumont
- Future tutorials, oz<-->
Marc-Antoine Parent
- ALternatives to OPI.
Simon Beaumont
- Future tutorials, oz<--> - posixsm.c (1/1) [4K]
Simon Beaumont
- ALternatives to OPI.
Fred Spiessens
- ALternatives to OPI.
Simon Beaumont
- Future tutorials, oz<--> - posixsm.c (1/1) [4K]
Marc-Antoine Parent
- Mozart 1.3.1 RPMs for Suse 9.3 available
Kevin Glynn
- Future tutorials, oz<--> - posixsm.c (1/1) [4K]
Simon Beaumont
- ALternatives to OPI.
Fred Spiessens
- Future tutorials, oz<-->
Peter Van Roy
- Mogul
Joachim Niehren
- Mogul
Denys Duchier
- CfP: WS on Multiparadigm Programming with OO Languages at OOPSLA
2005
Kei Davis
- ALternatives to OPI.
Alberto Delgado
- Alternatives to OPI.
Torsten Anders
- WLPE 2005: Call for Participation
A Serebrenik
- C interface or oztool problem (sp. libcurl)
user at domain.invalid
- post-doc job in functional programming
Colin Runciman
- C interface or oztool problem (sp. libcurl)
Denys Duchier
- American tour for the 'Concepts' book
Peter Van Roy
- C interface or oztool problem (sp. libcurl)
Alex Gian
- 4-year PhD Positions at UPM -- MOBIUS EU Project
MOBIUS PhD Grants
- ASE05 Workshop Traceability in Emerging Forms of Software
Engineering CfP
Yunwen Ye
- Call for Papers: The International Joint Conferences on Computer,
Information and Systems Sciences and Engineering (CISSE 05)
Tarek Sobh
- Underscore
rmk216
- Underscore
Alex Gian
- Underscore
Jeff Nye
- Underscore
Peter Van Roy
- Underscore
rmk216
- Schedule.firstsDist vs FD.distribute
sosman
- ATVA 2005: Preliminary Program and Call for Participation
Yih-Kuen Tsay
- ASE05 Workshop Specification and Automated Processing of Security
Requirements CfP
Yunwen Ye
- cURL bindings for oz-mozart
Alex Gian
- POSTing data to cgi from Oz
Alex Gian
- POSTing data to cgi from Oz
Kevin Glynn
- prepare?
Jens Grabarske
- POSTing data to cgi from Oz
Alex Gian
- prepare?
Kevin Glynn
- POSTing data to cgi from Oz
Kevin Glynn
- prepare?
Jens Grabarske
- POSTing data to cgi from Oz
Alex Gian
- prepare?
Kevin Glynn
- CFP: TCS special issue on Automated Reasoning for Security Protocol
Analysis
vigano at inf.ethz.ch
- one question about scheduling with discrete resource
Joyce Han
- QHTML state of play
Alex Gian
- QHTML state of play
Robert Wills
- QHTML state of play
Robert Wills
- QHTML state of play
Robert Wills
- QHTML state of play
Alex Gian
- QHTML state of play
Donatien Grolaux
- QHTML state of play
Alex Gian
- QHTML state of play
Donatien Grolaux
- POSTing data to cgi from Oz
Andreas Franke
- C interface or oztool problem (sp. libcurl)
Denys Duchier
- C interface or oztool problem (sp. libcurl)
Alex Gian
- C interface or oztool problem (sp. libcurl)
Denys Duchier
- Information and Computation - Open-Access Experiment
Moshe Vardi
- LECTURERSHIP IN COMPUTER SCIENCE, UNIVERSITY OF DURHAM
Susan Bates
- PADL 2006: Final Call For Papers
Logic Programming Rsrch Association
- ACM SAC 2006 CFP: Software Verification Track
Lunjin Lu
- Connection timeout riddles
Jens Grabarske
- Connection timeout, the 2nd
Jens Grabarske
- Connection timeout, the 2nd
Kevin Glynn
- Call for Papers: The International Joint Conferences on Computer,
Information and Systems Sciences and Engineering (CISSE 05)
cisse at cisse2005.org
- CFP: APPSEM05 Workshop
Margaret Davis
- PLID 2005 call for participation
David Clark
- memory consumption
Filip Konvička
- memory consumption
Raphael Collet
- memory consumption
Filip Konvička
- memory consumption
Renaud De Landtsheer
- MSc Research Position at the Cork Constraint Computation Centre
ian miguel
- memory consumption
Filip Konvička
- memory consumption
Adriano Volpones
- memory consumption
David Hopwood
- memory consumption
Filip Konvička
- memory consumption
Filip Konvička
- Noob, Norvig & Gat (A scoping problem)
Alex Gian
- Noob, Norvig & Gat (A scoping problem)
Alex Gian
- Noob, Norvig & Gat (A scoping problem)
David Hopwood
- Noob, Norvig & Gat (A scoping problem)
Alex Gian
- memory consumption
Filip Konvička
- FD Distribution with changed names in tuple
Vladimír Duša
- FD Distribution with changed names in tuple
Christian Schulte
- 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
Filip Konvička
- FD Distribution with changed names in tuple
Vladimír Du¹a
- Call for Papers: The International Joint Conferences on Computer,
Information and Systems Sciences and Engineering (CISSE 05)
cisse at cisse2005.org
- UPDATE: NWPT05 Annoucenment
Jesper Andersen
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- 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])
Alex Gian
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvička
- Scoping problem with relational style (second posting [pretty
please])
Yves Jaradin
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvička
- 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])
Alex Gian
- 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])
Filip Konvička
- CFP: Constraint solving track at ACM Symposium on Applied Computing
ian miguel
- 2nd CFP: M4M-4 "Methods for Modalities"; Berlin, Dec. 1-2, 2005
Holger Schlingloff
- CFP EUMAS 2005
Marie-Pierre Gleizes
- ATVA 2005: Call for Participation
Yih-Kuen Tsay
- CTM exercise answers
Harmon Nine
- Unification, Entailment, Pattern matching
Harmon Nine
- CTM exercise answers
Peter Van Roy
- Unification, Entailment, Pattern matching
Peter Van Roy
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- Scoping problem with relational style (second posting [pretty
please])
Jorge Marques Pelizzoni
- Scoping problem with relational style (second posting [pretty
please])
raph at info.ucl.ac.be
- Scoping problem with relational style (second posting [pretty
please])
Yves Jaradin
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvicka
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- Unification, Entailment, Pattern matching
Harmon Nine
- Unification, Entailment, Pattern matching
Harmon Nine
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvička
- Unification, Entailment, Pattern matching
Peter Van Roy
- Terminating IOzSeF search
Filip Konvička
- [CfP] Special Issue on Answer Set Programming (ASP) in Annals of
Mathematics and Artificial Intelligence
Juergen Dix
- Scoping problem with relational style (second posting [pretty
please])
Alex Gian
- CFP: Special Issue of AI Communications on Constraint Programming
for Planning and Scheduling
ian miguel
- Terminating IOzSeF search
Filip Konvička
- Scoping problem with relational style (second posting [pretty
please])
Yves Jaradin
- Scoping problem with relational style (second posting [pretty
please])
Raphael Collet
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvička
- 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
- Scoping problem with relational style (second posting [pretty
please])
Raphael Collet
- Scoping problem with relational style (second posting [pretty
please])
Filip Konvička
- Extended Deadline - ACM SAC'06: Software Verification Track
Lunjin Lu
- Extended Deadline - ACM SAC'06: Software Verification Track
Lunjin Lu
- Secure communication?
Jens Grabarske
- CFP: International Symposium on Neural Networks (ISNN) 2006--
Chengdu, China
ISNN2006
- Random Bitstrings and XORing them
Urban Hafner
- Random Bitstrings and XORing them
Raphael Collet
- Random Bitstrings and XORing them
Christian Schulte
- Random Bitstrings and XORing them
Urban Hafner
- SVV'05 CFP: INTERNATIONAL WORKSHOP ON SOFTWARE VERIFICATION AND
VALIDATION
Zijiang (James) Yang
- CFP: 20th Workshop on Logic Programming - WLP 2006
wlp06 at kr.tuwien.ac.at
- Secure communication?
Peter Van Roy
- Open records, "..."
Filip Konvička
- Secure communication?
Boriss Mejias
- CFP: Extended Deadline: Constraint solving track at ACM Symposium
on Applied Computing
ian miguel
- String functions
Patrick D. Logan
- String functions
Torsten Anders
- String functions
Raphael Collet
- Do non-GUI arguments work?
Christopher Dicely
- Do non-GUI arguments work?
Raphael Collet
- Do non-GUI arguments work?
Kevin Glynn
- Do non-GUI arguments work?
Christopher Dicely
- Do non-GUI arguments work?
Raphael Collet
- Arithmetic constraints
Lyle Kopnicky
- Arithmetic constraints
Kari Pahula
- Arithmetic constraints
Raphael Collet
- scalar product
Mario
- [Fwd: Installation problem report -MacOSX]
Raphael Collet
- scalar product
Raphael Collet
- PSI 2006: First CFP
PSI06 Conference
- [Fwd: Installation problem report -MacOSX]
Steven Elkins
- [Fwd: Installation problem report -MacOSX]
Marc-Antoine Parent
- Call for Participation: International Conference on Automated
Software Engineering 2005
Yunwen Ye
- Compilation error : variable Module not introduced
Saurabh Kumar
- Compilation error : variable Module not introduced
Raphael Collet
- Compilation error : variable Module not introduced
Grzegorz Chrupała
- gentoo ebuilds fail
Kevin Glynn
- Call for Participation (correction): International Conference on
Automated Software Engineering 2005
Yunwen Ye
- EUMAS2005 extended deadline
Marie-Pierre Gleizes
- *** ICFP '06 CALL FOR WORKSHOP PROPOSALS ***
Matthias Blume
- gentoo ebuilds fail
Matthew O'Connor
- (no subject)
|\/|/-\|\||
- memory efficiency of records
Irene Langkilde-Geary
- New user question
Russ Abbott
- Any idea why this doesn't run?
Russ Abbott
- Any idea why this doesn't run?
Filip Konvicka
- memory efficiency of records
Filip Konvicka
- Any idea why this doesn't run?
Russ Abbott
- New user question
Filip Konvicka
- Any idea why this doesn't run?
Boriss Mejias
- Any idea why this doesn't run?
Russ Abbott
- Another new-comer question
Russ Abbott
- gentoo ebuilds fail
Dario Lopez-Kästen
- ICALP 2006 -- Call For Workshop Proposals
ICALP 2006
- ICALP 2006 -- Preliminary Call For Papers
ICALP 2006
- gentoo ebuilds fail
Matthew O'Connor
- Univ
Russ Abbott
- memory space efficiency of records
Irene Langkilde Geary
- Another new-comer question
Fred Spiessens
- gentoo ebuilds fail
Dario Lopez-Kästen
- memory efficiency of records
Raphael Collet
- New user question
Peter Van Roy
- Any idea why this doesn't run?
Peter Van Roy
- memory efficiency of records
Peter Van Roy
- New user question
Raphael Collet
- Univ
Peter Van Roy
- Any idea why this doesn't run?
Raphael Collet
- Another new-comer question
Raphael Collet
- Top level declarations
Russ Abbott
- Top level declarations
Kevin Glynn
- case pattern matching
Russ Abbott
- case pattern matching
Russ Abbott
- case pattern matching
Russ Abbott
- memory space efficiency of records
Irene Langkilde Geary
- Univ
Russ Abbott
- case pattern matching
Christian Schulte
- case pattern matching
Fred Spiessens
- New user question
Filip Konvička
- case pattern matching
Bryan Smith
- memory space efficiency of records
Raphael Collet
- memory efficiency of records
Filip Konvička
- memory efficiency of records
Raphael Collet
- case pattern matching
Russ Abbott
- Univ
Kevin Glynn
- memory efficiency of records
Filip Konvička
- case pattern matching
David Hopwood
- space efficiency of records
Irene Langkilde Geary
- Mozart oz on Suse Linux Enterprise Server 9
govind.abkari at tcs.com
- Mozart oz on Suse Linux Enterprise Server 9
Andreas Franke
- space efficiency of records
Raphael Collet
- 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2006)
CONFERENCE MANAGER
- case pattern matching
Kevin Glynn
- command line execution of OZ
Robert Ritchey
- command line execution of OZ
Raphael Collet
- Univ
Peter Van Roy
- command line execution of OZ
Andres Becerra Sandoval
- command line execution of OZ
Andreas Franke
- emacs problem when navigating to the next error
Jens H. Jahnke
- Set Covering Problem
Michael Blond
- Help with CTM Chapter 9
Russ Abbott
- Help with CTM Chapter 9
Raphael Collet
- {Browse 'any'} doesn't work under Windows XP.
Marek Kubowicz
- {Browse 'any'} doesn't work under Windows XP.
Marek Kubowicz
- Help with CTM Chapter 9
Russ Abbott
- EATCS AWARD 2006
Mariangiola Dezani
- Emergence
Russ Abbott
- Help with CTM Chapter 9
ChrisRathman.6335977 at bloglines.com
- Help with CTM Chapter 9
Russ Abbott
- command line execution of OZ
Robert Ritchey
- emacs problem when navigating to the next error
Raphael Collet
- Help with CTM Chapter 9
Russ Abbott
- Help with CTM Chapter 9
Raphael Collet
- Help with CTM Chapter 9
Russ Abbott
- Help with CTM Chapter 9
Raphael Collet
- Help with CTM Chapter 9
Peter Van Roy
- command line execution of OZ
Andreas Franke
- Help with CTM Chapter 9
Russ Abbott
- Still struggling
Russ Abbott
- Still struggling
Russ Abbott
- Still struggling
Russ Abbott
- Still struggling
Raphael Collet
- Help with CTM Chapter 9
Raphael Collet
- Help with CTM Chapter 9
Torsten Anders
- {Browse 'any'} doesn't work under Windows XP.
Renaud De Landtsheer
- 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
Torsten Anders
- Help with CTM Chapter 9
Torsten Anders
- From backtracking to FD and more
Torsten Anders
- Help with CTM Chapter 9
Russ Abbott
- Still struggling
Torsten Anders
- Still struggling
Russ Abbott
- Still struggling
Russ Abbott
- Still struggling
Russ Abbott
- {Browse 'any'} doesn't work under Windows XP.
Marek Kubowicz
- Still struggling
Filip Konvička
- 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
- Help with CTM Chapter 9
Alex Gian
- Still struggling
David Hopwood
- Still struggling
David Hopwood
- Still struggling
Jorge Marques Pelizzoni
- Unify and case (again)
Russ Abbott
- What is Mozart-Oz
Russ Abbott
- Unify and case (again)
Torsten Anders
- Unify and case (again)
Russ Abbott
- What is Mozart-Oz
Alex Gian
- Reminder: ASE05 early registration ends Oct. 7
Yunwen Ye
- Another newbie trap I fell into
Russ Abbott
- What is Mozart-Oz
Robert Ritchey
- Another newbie trap I fell into
Filip Konvička
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Mark van der Kraan
- What is Mozart-Oz
Raphael Collet
- Unify and case (again)
Torsten Anders
- Another newbie trap I fell into
Raphael Collet
- Another newbie trap I fell into
Filip Konvička
- What is Mozart-Oz
Torsten Anders
- Another newbie trap I fell into
Torsten Anders
- What is Mozart-Oz
Christian Schulte
- What is Mozart-Oz
Bob Calco
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Russ Abbott
- Lecture tour
Peter Van Roy
- Another newbie trap I fell into
Filip Konvička
- What is Mozart-Oz
Raphael Collet
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Raphael Collet
- What is Mozart-Oz
sosman
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Raphael Collet
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Irene Langkilde-Geary
- What is Mozart-Oz
Peter Van Roy
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
David Hopwood
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
David Hopwood
- Understanding the Oz Concurrent Logic Programming Model
Russ Abbott
- Oz syntax
Russ Abbott
- What is Mozart-Oz
Russ Abbott
- What is Mozart-Oz
David Hopwood
- 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 (more
evidence)
Kevin Glynn
- 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
- Understanding the Oz Concurrent Logic Programming Model
Irene Langkilde-Geary
- Understanding the Oz Concurrent Logic Programming Model
Russ Abbott
- External variables
Russ Abbott
- External variables
Filip Konvicka
- External variables
Russ Abbott
- External variables
Raphael Collet
- External variables
Russ Abbott
- Procedural vs. declarative
Russ Abbott
- External variables
Raphael Collet
- Procedural vs. declarative
Raphael Collet
- implement better crontab in Oz?
Andrew Piskorski
- Procedural vs. declarative
Russ Abbott
- Procedural vs. declarative
Russ Abbott
- Parallel search hanging
Ryan Kelly
- Procedural vs. declarative
Raphael Collet
- Procedural vs. declarative
Stefano Gualandi
- Procedural vs. declarative
David Hopwood
- Procedural vs. declarative
Peter Van Roy
- Procedural vs. declarative
Russ Abbott
- Concurrency and Constraints
Russ Abbott
- Procedural vs. declarative
Russ Abbott
- CFP: TCS special issue on Automated Reasoning for Security Protocol
Analysis
vigano at inf.ethz.ch
- A complaint
Torsten Anders
- A complaint
Raphael Collet
- Procedural vs. declarative
Raphael Collet
- Procedural vs. declarative
Russ Abbott
- Procedural vs. declarative
Russ Abbott
- A complaint
Russ Abbott
- Understanding Oz
Russ Abbott
- A complaint
Torsten Anders
- Understanding Oz
Peter Van Roy
- A complaint
Russ Abbott
- Understanding Oz
Russ Abbott
- PATAT 2006: Second Call for Papers
PATAT 2006
- A complaint
Peter Van Roy
- Understanding Oz
Peter Van Roy
- Understanding Oz
Raphael Collet
- Understanding Oz
Christian Schulte
- Using Mozart in the "real" world ...
Jonathan Kelly
- Using Mozart in the "real" world ...
Filip Konvička
- A complaint
Filip Konvička
- Using Mozart in the "real" world ...
Peter Van Roy
- CFP: Nonmonotonic Reasoning Workshop (NMR 2006)
Prof. Dr. Juergen Dix
- Using Mozart in the "real" world ...
Torsten Anders
- Understanding Oz
David Hopwood
- or
Torsten Anders
- Oz support for reals
Rukman Senanayake
- Eclipse plug-in for Oz
Russ Abbott
- 'or'
Russ Abbott
- 'or'
Christian Schulte
- Understanding Oz
Russ Abbott
- Understanding Oz
Robin Lee Powell
- 'or'
Russ Abbott
- Understanding Oz
David Hopwood
- 'or'
Russ Abbott
- Understanding Oz
Russ Abbott
- Oz support for reals
Torsten Anders
- Understanding Oz
Torsten Anders
- Understanding Oz
Chris vanBuskirk
- Understanding Oz
Russ Abbott
- FM'06: CFP
event at zaphod.in.tu-clausthal.de
- Understanding Oz
Raphael Collet
- Understanding Oz
Raphael Collet
- 'or'
Raphael Collet
- Problem debugging constraint extension
Jan van der Vorst
<