mozart-users  

Messages by Date

• 2007/08/12 Collozeum project added: ozh Torsten Anders
• 2007/08/12 Collozeum created Torsten Anders
• 2007/08/11 [SPAM] Call for Papers /Slovenia, Italy, Montenegro/ (QoL); c/bb VIPSI Conference
• 2007/08/10 RE: Resolving x-ozlib URIs Torsten Anders
• 2007/08/10 Resolving x-ozlib URIs Torsten Anders
• 2007/08/10 Re: A question about tuples Raphael Collet
• 2007/08/09 Re: A question about tuples Luis Quesada
• 2007/08/09 A question about tuples mostafa eslahi
• 2007/08/08 Re: Problem with MacPorts build Torsten Anders
• 2007/08/08 Problem with MacPorts build Philip Yi
• 2007/08/08 Re: Compilation of Mozart with individual contributions Boriss Mejias
• 2007/08/08 Re: Is it due to memory? Jorge Marques Pelizzoni
• 2007/08/08 Re: Is it due to memory? mostafa eslahi
• 2007/08/07 Re: Is it due to memory? Torsten Anders
• 2007/08/07 Re: Is it due to memory? Jorge Marques Pelizzoni
• 2007/08/07 Is it due to memory? mostafa eslahi
• 2007/08/07 Re: Collaborative development of Oz libraries and tools Boriss Mejias
• 2007/08/07 Re: Compilation of Mozart with individual contributions Boriss Mejias
• 2007/08/06 Track on Constraint Solving and Programming - ACM SAC call for paper Stefano Bistarelli
• 2007/08/06 PEPM 2008 Oege . de . Moor
• 2007/08/06 Re: Collaborative development of Oz libraries and tools Torsten Anders
• 2007/08/02 CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) Demis
• 2007/07/31 Last cfp track PSC @ ACM SAC 2008 Emiliano Tramontana
• 2007/07/31 Re: Execution problem Torsten Anders
• 2007/07/31 Re: Execution problem Gustavo Gutierrez
• 2007/07/31 Execution problem mufid musrati
• 2007/07/30 need help mufid musrati
• 2007/07/30 Re: Collaborative development of Oz libraries and tools Fred Spiessens
• 2007/07/30 Re: Collaborative development of Oz libraries and tools Fred Spiessens
• 2007/07/30 Re: Collaborative development of Oz libraries and tools Torsten Anders
• 2007/07/29 LPAR Call for Short Papers geoff
• 2007/07/28 Re: need u help to use oz for timetabling Torsten Anders
• 2007/07/28 using college timetabling demo mufid musrati
• 2007/07/28 need u help to use oz for timetabling mufid musrati
• 2007/07/27 run on Ubuntu amd64 Kevin Glynn
• 2007/07/27 run on Ubuntu amd64 David Schein
• 2007/07/27 Re: Collaborative development of Oz libraries and tools Waclaw Kusnierczyk
• 2007/07/27 Re: Collaborative development of Oz libraries and tools Torbjörn Lager
• 2007/07/27 Re: Collaborative development of Oz libraries and tools Raphael Collet
• 2007/07/27 Re: Collaborative development of Oz libraries and tools Torsten Anders
• 2007/07/26 Re: Collaborative development of Oz libraries and tools Andreas Franke
• 2007/07/26 newbie question about lists Enrico Santoemma
• 2007/07/26 Re: Compilation of Mozart with individual contributions Torsten Anders
• 2007/07/26 How can I deal with this constrains? mostafa eslahi
• 2007/07/26 Compilation of Mozart with individual contributions Torsten Anders
• 2007/07/26 Compilation error: micq Torsten Anders
• 2007/07/26 Re: Collaborative development of Oz libraries and tools Torsten Anders
• 2007/07/26 RE: Module.link weirdness George Rudolph
• 2007/07/26 LOPSTR 2007 Call for Participation A.M.King
• 2007/07/26 Re: Collaborative development of Oz libraries and tools Boriss Mejias
• 2007/07/26 2nd CfP: ACM SAC Software Verification track Fausto Spoto
• 2007/07/24 Server maintenance, tomorrow, July 25, 9:00-11:00 Guido Tack
• 2007/07/24 Re: bug in FS.reified.include Ralph Debusmann
• 2007/07/24 Re: newbie question about lists Raphael Collet
• 2007/07/24 The Third International IETA Conference IETA 2007 Online E-Conference
• 2007/07/24 newbie question about lists Isaac Levin
• 2007/07/23 Re: How can I install a package in xp? Jorge Marques Pelizzoni
• 2007/07/23 Collaborative development of Oz libraries and tools Torsten Anders
• 2007/07/23 How can I install a package in windows xp? mostafa eslahi
• 2007/07/23 Collaborative development of Oz libraries and tools Torsten Anders
• 2007/07/23 Re: How can I install a package in xp? Jorge Marques Pelizzoni
• 2007/07/23 How can I install a package in xp? mostafa eslahi
• 2007/07/23 How can I install a package in xp? mostafa eslahi
• 2007/07/20 Re: Module.link weirdness Pavel
• 2007/07/20 Re: Module.link weirdness Kevin Glynn
• 2007/07/20 Re: Module.link weirdness Pavel
• 2007/07/20 Re: Module.link weirdness Kevin Glynn
• 2007/07/20 Re: bug in FS.reified.include Ralph Debusmann
• 2007/07/20 Re: Module.link weirdness Pavel
• 2007/07/19 bug in FS.reified.include Jorge Marques Pelizzoni
• 2007/07/19 Module.link weirdness Pavel
• 2007/07/19 Parallel Computing Survey research1
• 2007/07/19 Second Call for Papers -- ASIAN'07 Kazunori UEDA
• 2007/07/19 European Master in Computational Logic - openings and scholarships for Europeans Enrico Franconi
• 2007/07/19 [EUROSIS-AD] ESM'2007, October 22-24, 2007, St.Julian's, Malta, LATE SUBMISSION DEADLINE OF JULY 25 Eurosis
• 2007/07/18 SAC 2008. Call for papers Carlos Olarte
• 2007/07/18 Track on Constraint Solving and Programming - ACM SAC call for paper Stefano Bistarelli
• 2007/07/17 Re: How can I install a package in windows xp... Jorge Marques Pelizzoni
• 2007/07/17 How can I install a package in windows xp... mostafa eslahi
• 2007/07/16 Re: Installation of Mozart on Windows vista Mary Aranda Cabezas
• 2007/07/16 Re: Installation of Mozart on Windows vista Boriss Mejias
• 2007/07/16 Re: Installation via subversion (Intel Mac) Boriss Mejias
• 2007/07/14 FDL2007 > Advance Programme info
• 2007/07/13 Installation of Mozart on Windows vista Mary Aranda Cabezas
• 2007/07/13 curl Pavel
• 2007/07/12 ICLP07: second call for participation ICLP07 publicity
• 2007/07/11 Final Call for abstract submission for 2007 IEEE/INFORMS SOLI Conference Qiu, Robin
• 2007/07/09 KSEM-07 Deadline for submissions due on today (10 July 2007) Dongmo Zhang
• 2007/07/09 Post-doc position in the European project Credo Frank de Boer
• 2007/07/08 FMCO 2007: 1st call for participation M.M. Bonsangue
• 2007/07/07 Link to call me for free lavanya raghunath
• 2007/07/06 The Third International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007) CISSE 2007 Online E-Conference
• 2007/07/06 VMCAI'08: Call for papers Francesco Logozzo
• 2007/07/06 CFP: ACM Web Information and Data Management workshop Enrico Franconi
• 2007/07/05 Call for Editorial Boards' Members m . fayad
• 2007/07/05 Re: Installation via subversion (Intel Mac) Torsten Anders
• 2007/07/05 Extended deadline: CFP - UDME 2007 [email protected]
• 2007/07/05 [email protected] Extended deadline: CFP - PLAC 2007
• 2007/07/04 Re: Learning Mozart Boriss Mejias
• 2007/07/04 Re: Installation via subversion (Intel Mac) Boriss Mejias
• 2007/07/03 Installation via subversion (Intel Mac) Torsten Anders
• 2007/07/03 Passing values larger than int to C Pavel
• 2007/07/02 M4M-5 Call for Papers Carlos Areces
• 2007/07/02 Re: How can I sort... Jorge Marques Pelizzoni
• 2007/07/02 Re: How can I sort... Raphael Collet
• 2007/07/02 Re: How can I sort... mostafa eslahi
• 2007/07/02 Re: Importing a shared object twice Pavel
• 2007/07/02 Re: Importing a shared object twice Raphael Collet
• 2007/07/01 Re: How can I sort Raphael Collet
• 2007/07/01 Re: How can I sort mostafa eslahi
• 2007/06/30 best-search example for Mostafa and curious best-search method Jorge Marques Pelizzoni
• 2007/06/29 Re: How can I sort... Jorge Marques Pelizzoni
• 2007/06/29 Re: KSEM-07 CFP: Deadline for submission extended to 10 July 2007 Broderick Crawford L.
• 2007/06/29 Re: How can I sort... mostafa eslahi
• 2007/06/29 Re: Learning Mozart Zoom.Quiet
• 2007/06/29 Learning Mozart 杨红强
• 2007/06/28 KSEM-07 CFP: Deadline for submission extended to 10 July 2007 Dongmo Zhang
• 2007/06/28 FinalCFP: ASP2007 - 4th International Workshop on Answer Set Programming ICLP07 publicity
• 2007/06/28 Re: How can I sort... Jorge Marques Pelizzoni
• 2007/06/28 Re: How can I sort... mostafa eslahi
• 2007/06/28 Re: Importing a shared object twice Pavel
• 2007/06/28 Re: Importing a shared object twice Raphael Collet
• 2007/06/28 Importing a shared object twice Pavel
• 2007/06/27 Re: How can I sort... Jorge Marques Pelizzoni
• 2007/06/27 First Call for Papers --- ICALP 2008 Icalp08
• 2007/06/26 How can I sort... mostafa eslahi
• 2007/06/25 PADL 2008: Call for Papers Gopal Gupta
• 2007/06/25 Re: ozmake + compiler flags Filip Konvička
• 2007/06/25 ozmake + compiler flags (was: Float problem) Torsten Anders
• 2007/06/25 Re: Float problem Torsten Anders
• 2007/06/25 Re: Float problem Raphael Collet
• 2007/06/25 Research position Jean-Marie JACQUET
• 2007/06/25 Re: Float problem Filip Konvička
• 2007/06/25 Re: Float problem Torsten Anders
• 2007/06/25 Float problem Torsten Anders
• 2007/06/24 The Third International SCSS Conference SCSS 2007 Online E-Conference
• 2007/06/23 Re: How can deal with this model... Raphael Collet
• 2007/06/23 Re: How can deal with this model... Torsten Anders
• 2007/06/23 How can deal with this model... mostafa eslahi
• 2007/06/22 ESSLLI 2008: Second Call for Course and Workshop Proposals Rineke Verbrugge
• 2007/06/21 Young Researcher Award Eugene Freuder
• 2007/06/20 Programme de VSST'2007 21-25 octobre Marrakech Bernard DOUSSET
• 2007/06/20 feeding functor into OPI Wojciech Kaczmarek
• 2007/06/20 ICALP 2008 - Call for workshops Icalp08
• 2007/06/18 FOOL2008 Call for Papers Atsushi Igarashi
• 2007/06/18 Prolog embedding Pavel
• 2007/06/17 Online Journal -- Call for Editorial Borads' Members -- 9-2 m . fayad
• 2007/06/17 PhD on refactoring at Oxford Oege . de . Moor
• 2007/06/17 Re: SpiderMonkey Embedding Torsten Anders
• 2007/06/16 WLPE'07 - Deadline extension Wim Vanhoof
• 2007/06/15 CFP: PSC @ ACM SAC 2008 Emiliano Tramontana
• 2007/06/15 Re: SpiderMonkey Embedding Torsten Anders
• 2007/06/15 Re: SpiderMonkey Embedding Torsten Anders
• 2007/06/14 SAS 2007: Call for Participation Terkel K. Tolstrup
• 2007/06/14 Re: SpiderMonkey Embedding Andreas Franke
• 2007/06/14 SpiderMonkey Embedding Pavel
• 2007/06/14 Re: General questions about Mozart-oz Boriss Mejias
• 2007/06/14 Re: General questions about Mozart-oz Peter Van Roy
• 2007/06/13 Data Mining student funding DMIN07 Data Mining
• 2007/06/13 INAP 2007 - Extended Deadline: July 01 Dietmar Seipel
• 2007/06/12 ASE07 doctoral symposium Yunwen Ye
• 2007/06/12 Second CFP: CICLOPS 2007 Salvador Abreu
• 2007/06/12 ICLP07: call for participation ICLP07 publicity
• 2007/06/12 General questions about Mozart-oz Udo Bartschat
• 2007/06/11 CAV 2007: 2nd Call for Participation CAV 2007 Announce
• 2007/06/09 Re: CTM book solutions (Ch.2 #1 and #2) Raphael Collet
• 2007/06/08 Re: Convert fd var into string? Raphael Collet
• 2007/06/08 Re: Convert fd var into string? Gustavo Gutierrez
• 2007/06/08 Convert fd var into string? Jan Tammen
• 2007/06/06 CFP: 5th Worskhop on "Methods for Modalities" (M4M-5) Carlos Areces
• 2007/06/05 CTM book solutions (Ch.2 #1 and #2) Craig Ugoretz
• 2007/06/05 Re: Recommended way to package C libraries Yves Jaradin
• 2007/06/05 Recommended way to package C libraries Pavel
• 2007/06/04 CFP: ASP2007 - 4th International Workshop on Answer Set Programming ICLP07 publicity
• 2007/06/04 first CfP: ACM SAC Track on Software Verification 2008 Fausto Spoto
• 2007/06/04 Re: Bin Packing Problem Raphael Collet
• 2007/06/03 Call for papers -- ASIAN'07 Iliano Cervesato
• 2007/06/03 Re: About runtime... Raphael Collet
• 2007/06/02 (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07) Wim Vanhoof
• 2007/06/02 Re: sudoku demo Fred Spiessens
• 2007/06/02 Re: sudoku demo Raphael Collet
• 2007/06/02 C/C++-Based Modelling of Embedded Mixed-Signal Systems - June 25-26, info
• 2007/06/01 ESSLLI 2008: Call for Course and Workshop Proposals Carlos Areces
• 2007/06/01 About runtime... mostafa eslahi
• 2007/06/01 Re: invoking Explorer.object using script that takes parameters Raphael Collet
• 2007/06/01 ASE07 submission deadline: 6/4 (abstract) and 6/11(paper) Yunwen Ye
• 2007/05/31 invoking Explorer.object using script that takes parameters George Rudolph
• 2007/05/30 ESSLLI 2008: Call for Course and Workshop Proposals Rineke Verbrugge
• 2007/05/30 sudoku demo Fred Spiessens
• 2007/05/29 Bin Packing Problem Tripti Saxena
• 2007/05/29 Re: Emacs Show next error -- Control-x backquote Boriss Mejias
• 2007/05/28 IEEE Computer Security Foundations Symposium 2007 - Call for Participation Riccardo Focardi
• 2007/05/28 LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th geoff
• 2007/05/28 Difference between Inspect and Browse (concurrent programming) Torsten Anders
• 2007/05/28 CfP: TTSS'07 - Harnessing Theories for Tool Support in Software Volker Stolz
• 2007/05/27 Re: Pattern matching of results Luis Quesada
• 2007/05/27 Pattern matching of results Torsten Anders
• 2007/05/25 Re: Making reference to tuples within a constraint M Dobrogost
• 2007/05/25 Re: Making reference to tuples within a constraint M Dobrogost
• 2007/05/25 LOPSTR 2007 Final Call for Papers A.M.King

• Later messages