mozart-users

Messages by Date

2006/06/01 Oz module for SHA algorithm Sukit Tretriluxana
2006/06/01 Re: Help defining parameters for constraint programming Torsten Anders
2006/06/01 Re: Intefacing Java and OZ Torsten Anders
2006/06/01 Code freeze for Mozart 1.3.2 Boriss Mejias
2006/06/01 My previous post Craig Ugoretz
2006/06/01 Intefacing Java and OZ Craig Ugoretz
2006/06/01 LOPSTR'06 - CALL FOR PARTICIPATION Convegno LOPSTR'06
2006/06/01 Re: Use of variables in patterns Boriss Mejias
2006/06/01 Re: Use of variables in patterns Filip Konvička
2006/06/01 Re: Use of variables in patterns Torsten Anders
2006/06/01 Re: Infrastructure for Mozart development Torsten Anders
2006/06/01 Re: Distribution Strategy Raphael Collet
2006/06/01 Re: Distribution Strategy Raphael Collet
2006/06/01 POPL 2007 Call for Papers Sorin Lerner
2006/06/01 ICALP / PPDP / LOPSTR 2006 - 2nd call for participation ICALP 2006
2006/05/31 Re: Use of variables in patterns Filip Konvička
2006/05/31 Re: Use of variables in patterns Kevin Glynn
2006/05/31 Help defining parameters for constraint programming George Rudolph
2006/05/31 Distribution Strategy Mary Aranda Cabezas
2006/05/31 ESSLLI 2007 - Second Call for Course and Workshop Proposals Carlos Areces
2006/05/31 TPLP special issue second call for papers Maria Garcia de la Banda
2006/05/30 The Future is dataflow Bob Calco
2006/05/30 Re: Functional Reactive Programming in Oz (revisited) Peter Van Roy
2006/05/30 Functional Reactive Programming in Oz (revisited) Peter Van Roy
2006/05/30 FMICS, FINAL CFP, DL: 06/05/06 Martin Leucker
2006/05/30 Time.system question Kevin Glynn
2006/05/29 Re: New macro pre-processor for Oz David Hopwood
2006/05/29 HyLo 2006: Extended Deadline Carlos Areces
2006/05/29 CFP: 5th International Workshop on Constraint Modelling and Reformulation ian miguel
2006/05/29 Re: Time.system question Raphael Collet
2006/05/29 Re: Time.system question Chris Rathman
2006/05/29 Re: Time.system question Kevin Glynn
2006/05/29 ps.uni-sb.de is back online Guido Tack
2006/05/29 Re: Time.system question Boriss Mejias
2006/05/29 Re: Time.system question Chris Rathman
2006/05/29 Re: Time.system question Raphael Collet
2006/05/29 Re: ICFP Programming Contest, 2006 Andreas Rossberg
2006/05/28 CFV'06: Call for Papers Miroslav Velev
2006/05/28 Time.system question Chris Rathman
2006/05/27 cfp CPSec 2006 Fred Spiessens
2006/05/26 ICFP Programming Contest, 2006 Paul Dufresne
2006/05/26 Call for Participation --- ICLP'06 A Serebrenik
2006/05/26 CERTSOFT'06: Revised CFP Jeffery Zucker
2006/05/26 call for paper: workshop on constraints and security Stefano Bistarelli
2006/05/25 Re: ozmake --config Filip Konvička
2006/05/25 ozmake --config Kevin Glynn
2006/05/25 Re: Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
2006/05/25 1st Asian Working Conference on Verified Software Chris George
2006/05/25 Re: Overriding 'Dictionary' to avoid non-determinism Torsten Anders
2006/05/24 ICTAC 2006: Final call for tutorials Chris George
2006/05/24 Oz Explorer and variables Mary Aranda Cabezas
2006/05/24 Re: Mozart package for MacIntel Kevin Glynn
2006/05/24 Re: Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
2006/05/24 Re: Overriding 'Dictionary' to avoid non-determinism Torsten Anders
2006/05/24 Re: Mozart package for MacIntel Fred Spiessens
2006/05/24 RE: Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
2006/05/24 Re: Overriding 'Dictionary' to avoid non-determinism Konstantin Popov
2006/05/24 RE: Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
2006/05/24 release dates? Robert Ritchey
2006/05/24 RE: Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
2006/05/24 ozmake --config Fredrik Kronlid
2006/05/24 Re: Help with ozh Filip Konvička
2006/05/24 Re: Help with ozh Filip Konvička
2006/05/24 Deadline extension RuleML2006 Michael Kifer, Thomas Eiter, Enrico Franconi, Susie Stephens, Ralph Hodgson
2006/05/24 FLoC'06 -- Call for Participation Kreutzer + Schweikardt
2006/05/24 AIPR-07 Call for papers Chase Williams
2006/05/23 Re: Overriding 'Dictionary' to avoid non-determinism Torsten Anders
2006/05/23 RE: Overriding 'Dictionary' to avoid non-determinism Himanshu Neema
2006/05/23 Re: Help with ozh Keith Massey
2006/05/23 Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007 Carlos Areces
2006/05/23 Re: Help with ozh Torsten Anders
2006/05/23 Thesis proofreading? Torsten Anders
2006/05/23 Re: Help with ozh Filip Konvička
2006/05/23 Re: Help with ozh Torsten Anders
2006/05/22 Re: Help with ozh Filip Konvicka
2006/05/22 Re: Help with ozh Filip Konvicka
2006/05/22 Overriding 'Dictionary' to avoid non-determinism Kevin Glynn
2006/05/22 Re: Help with ozh Marko Zerdin
2006/05/22 Re: Help with ozh Marko Zerdin
2006/05/22 Closing the Event@CIG list event
2006/05/22 Re: Help with ozh Filip Konvička
2006/05/22 Re: Oz Explorer and variables Raphael Collet
2006/05/21 Re: Help with ozh Marko Zerdin
2006/05/21 VMCAI'07: Call for papers Byron Cook
2006/05/21 VMCAI'07: Call for papers Byron Cook
2006/05/21 Re: Bit operations on integer Sukit Tretriluxana
2006/05/21 Re: Help with ozh Filip Konvicka
2006/05/21 Re: Help with ozh Marko Zerdin
2006/05/21 Re: Help with ozh Marko Zerdin
2006/05/21 Re: Bit operations on integer Anthony Borla
2006/05/21 Re: Bit operations on integer Fred Spiessens
2006/05/21 Re: Help with ozh Torsten Anders
2006/05/21 Re: FS.distinct bug? Raphael Collet
2006/05/21 1 PhD and 1 Post-doc position at CWI, Amsterdam Frank de Boer
2006/05/20 Re: Bit operations on integer Sukit Tretriluxana
2006/05/20 Help with ozh Marko Zerdin
2006/05/20 Re: Bit operations on integer Anthony Borla
2006/05/19 Re: FS.distinct bug? Kilian Sprotte
2006/05/19 Oz Explorer and variables Mary Aranda Cabezas
2006/05/19 Re: FS.distinct bug? Kilian Sprotte
2006/05/19 Bit operations on integer Sukit Tretriluxana
2006/05/19 BCI2006: Call for partecipation BCI2006
2006/05/19 FS.distinct Kilian Sprotte
2006/05/19 FM06 - Doctoral Symposium - FINAL CALL Augusto Sampaio
2006/05/19 PATAT 2006: Call for Participation PATAT 2006
2006/05/19 Re: Oz Explorer and variables Raphael Collet
2006/05/18 Re: Oz Explorer and variables Gustavo Gutierrez
2006/05/18 Oz Explorer and variables Mary Aranda Cabezas
2006/05/18 DISPROVING '06 2nd Call f. Papers event
2006/05/18 CFP: ESAW 2006 event
2006/05/17 deadline extension VERIFY'06 event
2006/05/17 Final CFP: Qualitative Constraint Calculi [Deadline extended] event
2006/05/17 UNIF'06 second call for papers event
2006/05/17 PDPAR'06 Call for Papers event
2006/05/16 Extended Deadline: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web event
2006/05/16 Re: Record.adjoin documentation wrong? Mark Engelberg
2006/05/16 CALL FOR PAPERS: CICLOPS 2006 event
2006/05/16 DCC06 Conference - Registration Now Open event
2006/05/16 FINAL CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) event
2006/05/16 Re: Record.adjoin documentation wrong? Kevin Glynn
2006/05/16 UITP'06: Final Call for Papers event
2006/05/16 OnToContent 2006, Ontology Content and Evaluation in Enterprise Workshop, (Submission, June 30), call1 event
2006/05/16 Prefs 2006 -- CALL FOR PAPERS event
2006/05/16 PPDP 2006 - call for participation event
2006/05/16 *ATAC'2006: Extended deadline (May 28)* event
2006/05/16 Workshop on (logic-based) programming environments - DEADLINE EXTENSION Wim Vanhoof
2006/05/16 Re: Record.adjoin documentation wrong? Raphael Collet
2006/05/15 Record.adjoin documentation wrong? Paul Dufresne
2006/05/14 Announcing: Post-doc Position at Durham University, UK event
2006/05/14 Re: Oz Explorer and variables Torsten Anders
2006/05/14 *ALPSWS2006 Deadline Extended* event
2006/05/13 Oz Explorer and variables Mary Aranda Cabezas
2006/05/13 CFP - LaSh06 - Search and Logic: Answer Set Programming and SAT event
2006/05/13 Vacancy: logic for knowledge representation / multi-agent systems event
2006/05/13 CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming ian miguel
2006/05/13 FORMAL METHODS 2006: Call for Participation Jeffery Zucker
2006/05/12 CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006 Luis Gomes
2006/05/11 CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006) Carlos Areces
2006/05/11 Final Call for Participation: 2nd International Summer School of the Association for Constraint Programming: GLOBAL CONSTRAINTS ian miguel
2006/05/11 UNIF'06 second call for papers Jordi Levy
2006/05/10 Call for Participation: PLAS 2006 Steve Zdancewic
2006/05/10 CP 2006: Call for Tutorial Proposals Christian Schulte
2006/05/10 CFP: Workshop on Constraint Based Methods for Bioinformatics Gestione_Workshop_WCB06
2006/05/10 2nd CFP: Workshop on Generic Programming 2006 Ralf Hinze
2006/05/10 Re: Interface! Raphael Collet
2006/05/09 Interface! Mary Aranda Cabezas
2006/05/08 FCS-ARSPA'06: deadline extension vigano
2006/05/08 CISSE 2006 -- The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006)
2006/05/08 Re: Quick AtBang Query Sukit Tretriluxana
2006/05/08 Mac OS X build issue resolved Kevin Glynn
2006/05/08 Re: Quick Loop Feature Query Anthony Borla
2006/05/08 Re: Quick AtBang Query Anthony Borla
2006/05/08 CERTSOFT'06: CFP Jeffery Zucker
2006/05/08 [Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14 Ernesto Pimentel
2006/05/07 Mac OS X build issue resolved Paul R Brown
2006/05/07 build issue on Mac OS X Paul R Brown
2006/05/07 Re: Quick Loop Feature Query Yves Jaradin
2006/05/07 Re: Quick AtBang Query Yves Jaradin
2006/05/07 Quick AtBang Query Anthony Borla
2006/05/07 Quick Loop Feature Query Anthony Borla
2006/05/07 Quick Bit Manipilation Query Anthony Borla
2006/05/07 Re: Quick Regex Query Anthony Borla
2006/05/06 Re: Distribution Strategies Jorge . Pelizzoni
2006/05/06 Re: Distribution Strategies Kilian Sprotte
2006/05/06 Re: Distribution Strategies Luis Quesada
2006/05/06 Distribution Strategies Mary Aranda Cabezas
2006/05/05 Re: Quick Regex Query Kevin Glynn
2006/05/05 Re: Accessing Classes in Functors. Raphael Collet
2006/05/05 Accessing Classes in Functors. Alan Oswald
2006/05/05 Re: Accessing Classes in Functors. Peter Van Roy
2006/05/05 Accessing Classes in Functors. Alan Oswald
2006/05/05 Final CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) vigano
2006/05/04 DISPROVING '06 2nd Call f. Papers Wolfgang Ahrendt
2006/05/04 Re: memoization + search script Kilian Sprotte
2006/05/04 Re: memoization + search script Torsten Anders
2006/05/04 Re: memoization + search script Raphael Collet
2006/05/04 memoization + search script Kilian Sprotte
2006/05/04 ICFEM 2006: final call for contributions and extended deadline Chris George
2006/05/03 Re: Resignation from Mozart board Sukit Tretriluxana
2006/05/03 Soft real time (was Functional Reactive Programming in Oz) Torsten Anders
2006/05/03 LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION Miki Hermann
2006/05/02 Re: Path Boriss Mejias
2006/05/02 Re: The code block Raphael Collet
2006/05/02 CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) Santiago Escobar
2006/05/01 Re: The code block Sukit Tretriluxana
2006/05/01 Re: Resignation from Mozart board Peter Van Roy
2006/05/01 Re: Resignation from Mozart board Sukit Tretriluxana
2006/05/01 Re: Resignation from Mozart board Mark Engelberg
2006/05/01 RE: Resignation from Mozart board Christian Schulte
2006/05/01 RE: The code block Christian Schulte
2006/05/01 RE: The code block Jorge . Pelizzoni
2006/05/01 Resignation from Mozart board Christian Schulte
2006/05/01 RE: The code block Christian Schulte
2006/05/01 Re: The code block Sukit Tretriluxana
2006/05/01 Re: The code block Jorge . Pelizzoni
2006/05/01 The code block Sukit Tretriluxana
2006/05/01 'gc.free' Robert Van Dam
2006/05/01 Path Torsten Anders
2006/04/30 Quick Regex Query Anthony Borla
2006/04/30 Re: Vim coloration and indentation when editing oz files Filip Konvicka