2005 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ 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

• 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
    • case statement semantic in kernel language   Marko Zerdin
      • case statement semantic in kernel language   Peter Van Roy
      • case statement semantic in kernel language   Marko Zerdin
• 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
• Monitor memory usage and/or atom creation   Kevin Glynn
• 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
  • Newbie - help with .ozrc file   Kevin Glynn
• CP-AI-OR 2005: LAST call for papers   Petr Vilim
• 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
  • Newbie question concerning strings   Peter Van Roy
• [ICCIMA/ICSE05] Call for Papers: ICCIMA'05   ICCIMA 2005
• 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   David Hopwood
  • 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
• 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   asu
  • simple example   Grégoire Dooms
  • simple example   Jorge Marques Pelizzoni
• simple example   asu
• simple example   asu
  • simple example   Grégoire Dooms
• Moz IDE Emulator message   Christopher Campbell
• mozart on Gentoo with AMD64 !!   Vincent Delporte
  • mozart on Gentoo with AMD64 !!   Andres Becerra Sandoval
    • mozart on Gentoo with AMD64 !!   Vincent Delporte
• simple example   asu
  • simple example   Bruno Carton
• simple example   asu
• simple example   asu
  • simple example   Jorge Marques Pelizzoni
    • simple example   asu
• CFP: ProMAS@ AAMAS 2005   Prof. Dr. Juergen Dix
• files and sockets   asu
  • files and sockets   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   Jorge Marques Pelizzoni
      • ip address/host name in ticket   Robert Wills
      • ip address/host name in ticket   Kevin Glynn
• bind   asu
  • bind   afranke at ags.uni-sb.de
• simple question   asu
  • simple question   Grégoire Dooms
    • simple question   Kevin Glynn
      • simple question   Grégoire Dooms
    • simple question   asu
• 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
  • 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
• LOPSTR'05 call for papers   P M Hill
• Freebsd doesn't compile   paolo_veronelli
  • Freebsd doesn't compile   Kevin Glynn
    • Freebsd doesn't compile   Vincent Delporte
      • Freebsd doesn't compile   Kevin Glynn
      • mozart on Gentoo with AMD 64   Vincent Delporte
• Mozart perishes   Jan van der Vorst
  • Mozart perishes   Peter Van Roy
    • Mozart perishes   David Sletten
    • Mozart perishes   Jan van der Vorst
      • Mozart perishes   Peter Van Roy
    • Mozart perishes   Peter Van Roy
      • Mozart perishes   Kevin Glynn
• mozart on Gentoo with AMD 64   Andres Becerra Sandoval
  • mozart on Gentoo with AMD 64   Vincent Delporte
• Freebsd doesn't compile   paolo_veronelli
  • error : mozart on Gentoo with AMD 64, another attempt !!   Vincent Delporte
    • error : mozart on Gentoo with AMD 64, another attempt !!   Kevin Glynn
• Mozart g++ 3.4 fix   Jan van der Vorst
  • Mozart g++ 3.4 fix   Kevin Glynn
    • Mozart g++ 3.4 fix   Jan van der Vorst
  • Mozart g++ 3.4 fix   Raphael Collet
• mozart on Gentoo with AMD64 !!   Vincent Delporte
  • mozart on Gentoo with AMD64 !!   Kevin Glynn
• OPI and Resolver   chris
• mogul package documentation   Fred Spiessens
• mogul package documentation   Fred Spiessens
• CFP: Defence Applications of Multi-Agent Systems (DAMAS) @ AAMAS-2005   Chris vanBuskirk
• ESSLLI'05 Student Session: Final Call for Papers and Posters   Judit Gervain
• [CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems   Juergen Dix
• [constraints] recomputation with 'random distribution'   Torsten Anders
• VIM errorformat   asu
• Logic prog (newbie question))   Raphael Collet
  • Logic prog (newbie question))   Raphael Collet
  • Logic prog (newbie question))   asu
• Logic prog (newbie question))   asu
• [constraints] recomputation with 'random distribution'   Raphael Collet
  • [constraints] recomputation with 'random distribution'   Torsten Anders
  • [constraints] recomputation with 'random distribution'   Raphael Collet
    • [constraints] recomputation with 'random distribution'   Torsten Anders
      • [constraints] recomputation with 'random distribution'   Gustavo Pabon
    • [constraints] recomputation with 'random distribution'   Raphael Collet
      • [constraints] recomputation with 'random distribution'   Torsten Anders
• Prolog -> Mozart   asu
  • Prolog -> Mozart   Kevin Glynn
  • Prolog -> Mozart   Peter Van Roy
    • Prolog -> Mozart   asu
      • Prolog -> Mozart   Jorge Marques Pelizzoni
• windows - mogul - xmlrpc   bart verbeke
  • windows - mogul - xmlrpc   Torbjörn Lager
• windows - mogul - xmlrpc   bart verbeke
  • windows - mogul - xmlrpc   Torsten Anders
    • windows - mogul - xmlrpc   Andreas Franke
• 12 PhD Scholarships in Copenhagen   Henrik Reif Andersen
• OPI and Resolver   chris
• QTk exit app   Raphael Collet
  • QTk exit app   asu
• QTk exit app   asu
  • QTk exit app   Donatien Grolaux
• The Base Modules vs ADTs   Christopher Campbell
• 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
    • 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
  • CTM Wiki   David Hopwood
• multiprocessors computer   asu at ritm.msk.ru
  • multiprocessors computer   István Váradi
  • multiprocessors computer   Konstantin Popov
  • multiprocessors computer   asu at ritm.msk.ru
• multiprocessors computer   asu at ritm.msk.ru
• Interfacing to Microsoft Visual C# .NET   Gabriel Skantze
  • Interfacing to Microsoft Visual C# .NET   Jorge Marques Pelizzoni
• multiprocessors computer   asu at ritm.msk.ru
  • multiprocessors computer   Konstantin Popov
    • multiprocessors computer   Brent Fulgham
• 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
  • C-thread synchronizing with OZ   Konstantin Popov
• ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• Ward's Wiki   Dominic Fox
• multiprocessors computer   Raphael Collet
  • multiprocessors computer   Jan van der Vorst
    • multiprocessors computer   Peter Van Roy
      • multiprocessors computer   Jan van der Vorst
      • multiprocessors computer   Peter Van Roy
• 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
  • Distrib. programming (newbie q.)   Jorge Marques Pelizzoni
    • Distrib. programming (newbie q.)   Peter Van Roy
• Final CFP: SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing   Ian Miguel
• OpenSSH and Windows 2000   asu at ritm.msk.ru
• Unit Tests?   chris
• Unit Tests?   Juergen Stuber
• Error?   asu at ritm.msk.ru
  • Error?   Jorge Marques Pelizzoni
• berkeley db interface   paolo_veronelli
• 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
  • PPDP 2005 Call for Participation   Amy Felty
• Remote procedures   asu at ritm.msk.ru
• about RI   Gustavo Gutierrez Sabogal
• Error in Mozart? (FoldR)   asu at ritm.msk.ru
  • Error in Mozart? (FoldR)   chris.danx
  • Error in Mozart? (FoldR)   Christian Schulte
  • Error in Mozart?   Raphael Collet
    • Error in Mozart?   asu at ritm.msk.ru
• about RI   Carlos G. Testera
  • about RI   Andres Becerra Sandoval
• Error in Mozart? (FoldR)   chris
• Book announcement: Advanced Topics in Types and Programming Languages   Benjamin Pierce
• Error in Mozart?   asu at ritm.msk.ru
• Running from command line.   Tobias Nurmiranta
  • Running from command line.   Andreas Franke
    • andthen, macros, arbitrary arguments (Was: Running from command line.)   Tobias Nurmiranta
      • andthen, macros, arbitrary arguments (Was: Running from command line.)   Torsten Anders
      • andthen   Andreas Franke
      • andthen   Tobias Nurmiranta
      • andthen   Andreas Franke
• 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
• Unit Tests?   Juergen Stuber
• (no subject)   Stéphane Payrard
  • (no subject)   Kevin Glynn
• JLAP Special Issue on Theory and Foundations of Programming Language Interference and Dependence   Roberto Giacobazzi
• ICLP 2005: Call for Papers   ICLP 2005
• Beth Dissertation Price - Call for Submissions   Carlos Areces
• 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
  • Floating Point Printing Problem   Brent Fulgham
    • Floating Point Printing Problem   Joachim Niehren
      • Floating Point Printing Problem   Bruno Carton
      • Floating Point Printing Problem   Kevin Glynn
• 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
  • Springer edition of MOZ 2004 proceedings available   Mark S. Miller
  • Springer edition of MOZ 2004 proceedings available   Peter Van Roy
• Tracing: Records -> VS   Christopher Campbell
• [Mlnet] DBIS:Wissenschaftlichen Mitarbeiters (BAT II a).   Prof. Dott. Ing. Roberto Zicari
• [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   Juergen Stuber
• Floating Point Printing Problem   Juergen Stuber
  • Floating Point Printing Problem   Jorge Marques Pelizzoni
• 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
• Functors: "identifying" abstractions   Christopher Campbell
• Hashing   Christopher Campbell
  • Hashing   Andreas Franke
• Dictionary vs Record   Filip Konvička
  • Dictionary vs Record   Jorge Marques Pelizzoni
    • Dictionary vs Record   Christian Schulte
• CPAIOR 2005: Call for Participation   Petr Vilim
• Marshalling Variable as Resource   Christopher Campbell
• Dictionary vs Record   Filip Konvička
• 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
  • post-doc job in functional programming   Colin Runciman
• 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
    • contents of this user list   Boriss Mejias
• 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   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   Grégoire Dooms
      • literate programming and Mozart   Jorge Andrés Pérez
• 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   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
      • 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   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
• 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
• unit commitment problem   nick7069
• 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
  • Compiling mozart on AMD64 or Alpha   Kevin Glynn
    • 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
  • Newbie, errors using code from Tutorial...   Grégoire Dooms
• CLIMA VI :: new deadline April 15   clima VI <clima-vi at deis.unibo.it>
• 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 trying to write conditionals...   Shigeo Nishi
• Newbie needs real help when the tutorial fails to inform...   Jeffrey Cook
  • Newbie needs real help when the tutorial fails to inform...   Peter Van Roy
• Constraint Programming: how to decide where Search fails (return nil)   Changzhou Wang
  • Constraint Programming: how to decide where Search fails (return nil)   Gustavo Pabon
• 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
• Constraint Programming: how to decide where Search fails (return nil)   Adriano Volpones
  • Constraint Programming: how to decide where Search fails (return nil)   Gustavo Pabon
  • Constraint Programming: how to decide where Search fails (return nil)   Torsten Anders
    • Constraint Programming: how to decide where Search fails (return nil)   Changzhou Wang
• Constraint Programming: how to decide where Search fails   Irene Langkilde Geary
  • [mozart-oz] negation propogator?   Changzhou Wang
    • [mozart-oz] negation propogator?   Torsten Anders
      • [mozart-oz] negation propogator?   Changzhou Wang
      • [mozart-oz] negation propogator?   Christian Schulte
• [mozart-oz] negation propogator?   Torsten Anders
• mozart 131 Mac Os 10.3.8 newbie question   Johannes Brauer
  • mozart 131 Mac Os 10.3.8 newbie question   Kevin Glynn
• [mozart-oz] negation propogator?   Filip Konvicka
• ATVA 2005: Call for Papers   Yih-Kuen Tsay
• [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
• [Mlnet] CFP for CMB 2005 workshop   rcamacho at fe.up.pt
• 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>
• 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
  • build hangs on NetBSD-1.6.2   Kevin Glynn
    • build hangs on NetBSD-1.6.2   Roland Illig
• Reminder: PAT2005 Summer School   Jesper Andersen
• Solve and ctm   Robert Wills
  • Solve and ctm   Peter Van Roy
• Solve and ctm   Raphael Collet
• [ANNOUNCEMENT]: TFP '05: First Call for Papers   Kevin Hammond
• 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
  • help for cutting_glass_plate demo   Gustavo Pabon
  • help for cutting_glass_plate demo   Adriano Volpones
• [Mlnet] CALL FOR PAPERS: CAEPIA'05   AEPIA
• 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
  • slow compiler...   Gustavo Pabon
• [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
  • SECOND Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
    • FINAL Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
    • NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
      • [ICLP 2006] Call for WORKSHOP proposals   A Serebrenik
• 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
• 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
• 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
  • Help with CVS   Denys Duchier
    • Help with CVS   Manuel J Contreras Maya
    • Help with CVS   Boriss Mejias
    • Help with CVS   duchier at ps.uni-sb.de
• CP-AI-OR 2005: Final call for participation   Petr Vilim
• CP-AI-OR 2005: Final call for participation   Petr Vilim
• LOPSTR'05: Extended Deadline for Full Papers   P M Hill
• Help with CVS   Manuel J Contreras Maya
• 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)
• CPSec call for papers   Fred Spiessens
  • 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
• 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
• 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   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
• FWD: [TYPES] 2005 ICFP Programming Contest   Kevin Glynn
• 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
  • Problem building mozart package   Guillaume Rousse
  • Problem building mozart package   duchier at ps.uni-sb.de
• LOPSTR'05 final call for extended abstracts   P M Hill
• CHR 2005 Call for Papers   Thom Fruehwirth
  • CHR 2005 2nd Call for Papers   Thom Fruehwirth
• [IOzSeF] ill-typed builtin application ?   Kim BENNI
• INAP 2005 - Call for Papers   Armin Wolf
• WCB05 Call for Papers   Rolf Backofen
  • WCB05 Second Call for Papers   Agostino Dovier
    • [GRIN][CFP][GULP] Answer Set Programming 2005: invitation to attend   Alessandro Provetti
• 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
  • 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
  • [OT] which math concept is equivalent to Oz procedures?   Yves Jaradin
  • [OT] which math concept is equivalent to Oz procedures?   Torsten Anders
• 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?   Raphael Collet
  • [OT] which math concept is equivalent to Oz procedures?   Torsten Anders
• CPSec 2005: Extended Submission Deadline   Stefano Bistarelli
• 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
  • [Mlnet] CFP of Special Journal Issue on Applications Eligible for Data Mining   Dr-Ing. Gabriella Kokai
• Meaning of "X=a" depends on context???   Brian Hulley
  • Meaning of "X=a" depends on context???   Brian Hulley
    • Meaning of "X=a" depends on context???   Peter Van Roy
      • 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
  • 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
• Situatedness violation in IOzSeF   Filip Konvička
  • Situatedness violation in IOzSeF   Jorge Marques Pelizzoni
• Situatedness violation in IOzSeF   Filip Konvička
  • Situatedness violation in IOzSeF   Jorge Marques Pelizzoni
• Situatedness violation in IOzSeF   Raphael Collet
• FLoC 2006: Call For Workshop Proposals   Kreutzer + Schweikardt
• xemacs and ms windows   Jaime Alberto Parra Plaza
  • xemacs and ms windows   Kevin Glynn
• Situatedness violation in IOzSeF   Filip Konvička
• Situatedness violation in IOzSeF   Filip Konvička
• Situatedness violation in IOzSeF   Filip Konvička
• 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
  • An OZ Interpreter/Compiler in OZ ?   Peter Van Roy
• Installer using InnoSetup   Filip Konvička
• 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
      • XML Parser fails in "&#<numeric_code>;"   Manuel J Contreras Maya
  • XML Parser fails in "&#<numeric_code>;"   duchier at ps.uni-sb.de
• ARSPA'05: Call for Participation   AVISPA
• .ozrc and ms windows   Jaime Alberto Parra Plaza
• constraints   Mario
  • constraints   Yves Jaradin
• FS.diff bug?   Jorge Marques Pelizzoni
• constraints   Raphael Collet
• MathSAT: PhD positions at ICT-Trento   Alessandro Cimatti
• 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
    • oz on Mac OS X tiger?   Steven Elkins
  • oz on Mac OS X tiger?   Mike Meyer
• bug: broken symmetries   Jorge Marques Pelizzoni
• more assymetry: FS.var.is and FD.is   Jorge Marques Pelizzoni
• LPNMR'05: Call for Participation   lpnmr05 at mat.unical.it
• ICFP 2005 - Call for Participation   Dariusz Biernacki
• [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
  • Trouble with the command line. Bug?   Rich Dougherty
  • Trouble with the command line. Bug?   Yves Jaradin
• Newbie: First Impressions.   Raphael Collet
• Trouble with the command line. Bug?   Freejack
• Trouble with the command line. Bug?   Filip Konvička
• 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
  • ALternatives to OPI.   Raphael Collet
• FW: PADL'06 Call for Papers   Christian Schulte
• About propagators in tuples ...   Kim BENNI
  • About propagators in tuples ...   Jorge Marques Pelizzoni
• About propagators in tuples ...   Filip Konvička
• 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
• Future tutorials, oz<-->   tony.bigbee at att.net
  • Future tutorials, oz<-->   Peter Van Roy
• 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
  • Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Simon Beaumont
    • Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Marc-Antoine Parent
    • Future tutorials, oz<--> - posixsm.c (1/1) [4K]   Simon Beaumont
• ALternatives to OPI.   Simon Beaumont
• ALternatives to OPI.   Fred Spiessens
• ALternatives to OPI.   Simon Beaumont
  • ALternatives to OPI.   Fred Spiessens
    • ALternatives to OPI.   Alberto Delgado
      • Alternatives to OPI.   Torsten Anders
• Mozart 1.3.1 RPMs for Suse 9.3 available   Kevin Glynn
• Mogul   Joachim Niehren
• Mogul   Denys Duchier
• CfP: WS on Multiparadigm Programming with OO Languages at OOPSLA 2005   Kei Davis
• WLPE 2005: Call for Participation   A Serebrenik
• C interface or oztool problem (sp. libcurl)   user at domain.invalid
• 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   Jeff Nye
  • Underscore   Peter Van Roy
• Underscore   Alex Gian
• 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
  • POSTing data to cgi from Oz   Andreas Franke
• prepare?   Jens Grabarske
  • prepare?   Kevin Glynn
    • prepare?   Jens Grabarske
    • prepare?   Kevin Glynn
• POSTing data to cgi from Oz   Alex Gian
  • POSTing data to cgi from Oz   Kevin Glynn
• POSTing data to cgi from Oz   Alex Gian
• 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   Donatien Grolaux
• 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   Alex Gian
  • QHTML state of play   Donatien Grolaux
• 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   David Hopwood
• memory consumption   Adriano Volpones
• 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])   Yves Jaradin
• 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])   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
  • CTM exercise answers   Peter Van Roy
• Unification, Entailment, Pattern matching   Harmon Nine
  • Unification, Entailment, Pattern matching   Peter Van Roy
    • Unification, Entailment, Pattern matching   Harmon Nine
      • Unification, Entailment, Pattern matching   Harmon Nine
      • 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])   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
• Scoping problem with relational style (second posting [pretty please])   Filip Konvička
• 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])   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
  • Secure communication?   Peter Van Roy
    • Secure communication?   Boriss Mejias
• 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
• Open records, "..."   Filip Konvička
• 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 C