mozart-users  

Messages by Date

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

• Earlier messages
• Later messages