mozart-users  

Messages by Thread

• Queens problem Neil Munro
• N Queens problem with code attached. Neil Munro
• My problems with Mozart documentation Emre Sevinc
  • Re: My problems with Mozart documentation Peter Van Roy
  • Re: My problems with Mozart documentation Emre Sevinc
• More N queens Neil Munro
  • Re: More N queens mark richardson
  • Re: More N queens mark richardson
• Call for Participation: 24th IEEE International Conference onSoftware Maintenance icsm-info
• SCAM 2008 Call for Participation icsm-info
• MD5 mismatch on 1.4.0 i386 RPMs Rokop, Terence M
• LATA 2009: 2nd call for papers carlos.martin
• Mozart 1.4.0 and parallel search Torsten Anders
  • Re: Mozart 1.4.0 and parallel search Torsten Anders
  • Re: Mozart 1.4.0 and parallel search Filip Konvička
  • Re: Mozart 1.4.0 and parallel search Torsten Anders
• Mozart 1.4.0 Tk interface Torsten Anders
  • Re: Mozart 1.4.0 Tk interface Torsten Anders
  • Re: Mozart 1.4.0 Tk interface Gustavo Gutierrez
  • Re: Mozart 1.4.0 Tk interface Torsten Anders
  • Re: Mozart 1.4.0 Tk interface Gustavo Gutierrez
• N Queens problem. Neil Munro
  • Re: N Queens problem. Torsten Anders
  • Re: N Queens problem. Pavel Rozenblioum
  • N Queens problem. Neil Munro
  • Re: N Queens problem. Pavel Rozenblioum
  • Re: N Queens problem. mark richardson
  • Re: N Queens problem. mark richardson
• Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Yves Jaradin
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Yves Jaradin
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
  • Re: Mozart 1.4.0: pickle compatibility Raphael Collet
  • Re: Mozart 1.4.0: pickle compatibility Boriss Mejias
  • Re: Mozart 1.4.0: pickle compatibility Torsten Anders
• FDL08 > Invitation to register! training
  • FDL08 > Invitation to register! training
• LaSh08 DEADLINE EXTENSION Marc Denecker
• Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
  • Re: Documentation not generated, can't easily revise current docs in sgml Torsten Anders
  • Re: Documentation not generated, can't easily revise current docs in sgml Gustavo Gutierrez
  • Re: Documentation not generated, can't easily revise current docs in sgml Torsten Anders
  • Re: Documentation not generated, can't easily revise current docs in sgml Gustavo Gutierrez
  • Re: Documentation not generated, can't easily revise current docs in sgml Torsten Anders
  • Re: Documentation not generated, can't easily revise current docs in sgml Yves Jaradin
  • Re: Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
  • Re: Documentation not generated, can't easily revise current docs in sgml Yves Jaradin
  • Re: Documentation not generated, can't easily revise current docs in sgml Boriss Mejias
  • Re: Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
  • Re: Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
• Help rewriting this as functor George Rudolph
• WLPE'08 - Call for Papers WLPE-08
  • WLPE'08 - Call for Papers WLPE-08
• CFP: PAKDD 2009, Bangkok, Thailand, 27-30 April 2009, (submission deadline: 09 September 2008) kritsada sriphaew
• 2nd CfP - Special Issue on Forecasting with Computational Intelligence International Journal of Forecasting
• ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS ICLP 08
  • ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS ICLP 08
• 1 year fellowship for a doctoral researcher on program analysis Wim Vanhoof
• A little help, if possible. Neil Munro
  • Re: A little help, if possible. Ryan Kelly
  • Re: A little help, if possible. Neil Munro
• VMCAI 2009: Submission is open Markus Mueller-Olm
• SOFSEM 2009 - Call for Paper SOFSEM09
• Third Call for Papers: The 4th CISSE International Conference CISSE 07
• Numerical Computing with Mozart-Oz\Alice Петров Александр
  • Re: Numerical Computing with Mozart-Oz\Alice Andreas Franke
  • Re: Numerical Computing with Mozart-Oz\Alice Torsten Anders
• Review of Symbolic Logic (RSL) Patrick Blackburn
• AiML08: Preliminary Program now Available Carlos Areces
• CFP: CICLOPS 2008 ciclops-org
• CFP: 4th Intl. WS on Program Comprehension through Dyn. Analysis (PCODA 2008) Andy Zaidman
• CC 2009: abstracts due Oct 2 Oege . de . Moor
  • CC 2009: abstracts due Oct 2 Oege . de . Moor
• Problems running Mozart1.4.0 Victor Rivera
  • Re: Problems running Mozart1.4.0 Boriss Mejias
  • Re: Problems running Mozart1.4.0 ggutierrez
  • Re: Problems running Mozart1.4.0 Yves Jaradin
  • Re: Problems running Mozart1.4.0 Gustavo Gutierrez
  • Re: Problems running Mozart1.4.0 Yves Jaradin
  • Re: Problems running Mozart1.4.0 Gustavo Gutierrez
• Re: Mozart Governance Raphael Collet
  • Re: Mozart Governance Pavel
  • Re: Mozart Governance Peter Van Roy
  • Re: Mozart Governance Boriss Mejias
  • Re: Mozart Governance Peter Van Roy
  • Mozart Governance Torsten Anders
• GlobalComp 2008 -- Call for Papers Gabriel Ciobanu
• ICLP'08 CALL FOR POSTER SUBMISSIONS ICLP 08
• PhD Positions in Secure Software and Languages David . Clarke
• Last CFP - PSC track at SAC 2009 Emiliano Tramontana
• CP 2008: 2nd Call for Participation Sebastian Brand
• KR2008: Early registration deadline approaching: July 31 Tommie Meyer
• WLP 2008 - Submission deadline extended Sibylle Schwarz
• NordSec 2008 - Final Call for Papers Christian Probst
• LPAR'08 workshops Geoff Sutcliffe
• Final CFP: Sensor Networks and Ambient Intelligence (July 21, 2008) Boon-Chong Seet
• ESSLLI 2009 - Second Call for Course and Workshop Proposals Richard Moot
• WLPE'08 - First call for Papers WLPE-08
• Last call for papers: ACM SAC 09 Software Verification and Testing Tamara . Rezk
  • LASER summer school on software testing -- Elba, 6-12 September 2009 Martin Nordio
• WLPE'08 -- Call for Papers Puri Arenas
• Re: Mozart 'installation' query Gustavo Gutierrez
• IJCAR in Australia, 1 month to go Geoff Sutcliffe
• LaSh08: Last Call for Papers Joost Vennekens
• Dynamic placement of widgets with QTk mark richardson
  • Re: Dynamic placement of widgets with QTk Fred Spiessens
  • Re: Dynamic placement of widgets with QTk mark richardson
• FIRST CALL FOR PARTICIPATION: KR 2008 Tommie Meyer
• QTk load dialog mark richardson
  • Re: QTk load dialog Torsten Anders
• CFP: 1st International Workshop on Sensor Networks and Ambient Intelligence Boon-Chong Seet
• x-ozlib on Windows Torsten Anders
  • Re: x-ozlib on Windows Torsten Anders
• QiCP'08 Wks on Quantification in Constraint Programming: extended deadline Arnaud Lallouet
• JELIA - registration opened Bertram Fronhöfer
• CP 2008: Call for Participation Sebastian Brand
• Extended Deadline - Foundations of Computer Science as Logic-Related Jeremy Bryans
• European Master in Computational Logic - scholarships for European students - last deadline Enrico Franconi
• [DSD08] [DSD'08] CALL FOR PARTICIPATION DSD'08 Program Chair
• WLP 2008 - Second Call for Papers Sibylle Schwarz
• NordSec 2008 - Second Call For Papers Christian Probst
• CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 Masoud.Mohammadian
  • CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 cimca
• Mozart 1.4.0 release Raphael Collet
  • Re: Mozart 1.4.0 release Torsten Anders
  • Re: Mozart 1.4.0 release Torsten Anders
  • Re: Mozart 1.4.0 release Raphael Collet
  • Re: Mozart 1.4.0 release David Kågedal
  • Re: Mozart 1.4.0 release Raphael Collet
  • Re: Mozart 1.4.0 release David Kågedal
  • Re: Mozart 1.4.0 release Raphael Collet
  • Re: Mozart 1.4.0 release David Kågedal
• QTk message box mark richardson
  • QTk message box mark richardson
  • Re: QTk message box mark richardson
• Functions like IsAtom block on kinded variables -- why? Torsten Anders
  • Re: Functions like IsAtom block on kinded variables -- why? Raphael Collet
  • Re: Functions like IsAtom block on kinded variables -- why? Torsten Anders
  • Re: Functions like IsAtom block on kinded variables -- why? Pavel
  • Re: Functions like IsAtom block on kinded variables -- why? Torsten Anders
  • Parallel Search George Rudolph
  • Re: Parallel Search Torsten Anders
• CfPArt: ICTAC 2008 Jeremy Bryans
• HASE 2008 - Last CfP - 3 days left for paper submission tase08
• ESSLLI 2009 Call for Proposals Richard Moot
• Call for Participation: IEEE IRI 2008 IEEE-IRI-Publicity
• FDL08 > Advance Program & Registration training
• CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis
• CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis
• IJCAR 2008 in Australia Geoff Sutcliffe
• BCI 2008 - early registration deadline extended BCI 2008
• RR 2008 - extended deadlines Diego Calvanese
• UTP08 call for work in progress papers Andrew Butterfield
• QiCP'08 Workshop on Quantification in Constraint Programming (2nd cfp) Arnaud Lallouet
• Revised CfP: TTSS'08 - Harnessing Theories for Tool Support in Software, Istanbul/Turkey Volker Stolz
• [KM2009] Second Call for Workshop Proposals Wache,Holger
• CFP - PSC track at SAC 2009 Emiliano Tramontana
• AiML 2008: Registration now open Carlos Areces
• QTk textbox colour mark richardson
  • Re: QTk textbox colour Torsten Anders
• VMCAI 2009: Call for Papers Markus Mueller-Olm
• RR 2008 - Last CfP - 3 days left for abstract submission Diego Calvanese
• 2008 ICLP Doctoral Consortium ICLP 08
  • 2008 ICLP Doctoral Consortium ICLP 08
• HASE 2008 - Extended Deadline June 17 tase08
• WCAT @ ASE2008. Deadline extension. Coordination and AdaptationTechniques canal
• PhD positions at KRDB Centre - Free Univ. of Bozen-Bolzano, Italy Diego Calvanese
• SOFSEM'09 Call for Papers Frank Valencia
• Qtk canvas clearing mark richardson
  • Re: Qtk canvas clearing Raphael Collet
• Executing code from within Mozart mark richardson
  • Re: Executing code from within Mozart Torsten Anders
  • Re: Executing code from within Mozart mark richardson
  • Re: Executing code from within Mozart Andreas Franke
  • Re: Executing code from within Mozart Andreas Franke
  • Re: Executing code from within Mozart Torsten Anders
  • Re: Executing code from within Mozart mark richardson
  • Re: Executing code from within Mozart Pavel Rozenblioum
  • Re: Executing code from within Mozart Boriss Mejias
  • Re: Executing code from within Mozart Torsten Anders
• MPC 2008: SECOND CALL FOR PARTICIPATION Christine Paulin
• ICLP'08 CFP: EXTENDED DEADLINES! ICLP 08
• CP 2008 - Doctoral Programme Sebastian BRAND
• PPDP'08: Call for Participation Elvira Albert
• LPAR submission deadline extended Geoff Sutcliffe
• Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school Martin Nordio
  • Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school Martin Nordio
• PLID'08 - Last Call for Contributions Samir Genaim
• ECOOP 2008 Call for Posters/Demos David . Clarke

• Earlier messages
• Later messages