Messages by Thread
-
FMICS, FINAL CFP, DL: 06/05/06
Martin Leucker
-
Re: New macro pre-processor for Oz
David Hopwood
-
HyLo 2006: Extended Deadline
Carlos Areces
-
CFP: 5th International Workshop on Constraint Modelling and Reformulation
ian miguel
-
ps.uni-sb.de is back online
Guido Tack
-
CFV'06: Call for Papers
Miroslav Velev
-
Time.system question
Chris Rathman
-
cfp CPSec 2006
Fred Spiessens
-
ICFP Programming Contest, 2006
Paul Dufresne
-
Call for Participation --- ICLP'06
A Serebrenik
-
CERTSOFT'06: Revised CFP
Jeffery Zucker
-
call for paper: workshop on constraints and security
Stefano Bistarelli
-
1st Asian Working Conference on Verified Software
Chris George
-
ICTAC 2006: Final call for tutorials
Chris George
-
Re: Mozart package for MacIntel
Fred Spiessens
-
release dates?
Robert Ritchey
-
ozmake --config
Fredrik Kronlid
-
Deadline extension RuleML2006
Michael Kifer, Thomas Eiter, Enrico Franconi, Susie Stephens, Ralph Hodgson
-
FLoC'06 -- Call for Participation
Kreutzer + Schweikardt
-
AIPR-07 Call for papers
Chase Williams
-
Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007
Carlos Areces
-
Thesis proofreading?
Torsten Anders
-
Overriding 'Dictionary' to avoid non-determinism
Kevin Glynn
-
Closing the Event@CIG list
event
-
VMCAI'07: Call for papers
Byron Cook
-
1 PhD and 1 Post-doc position at CWI, Amsterdam
Frank de Boer
-
Help with ozh
Marko Zerdin
-
Bit operations on integer
Sukit Tretriluxana
-
BCI2006: Call for partecipation
BCI2006
-
FS.distinct
Kilian Sprotte
-
FM06 - Doctoral Symposium - FINAL CALL
Augusto Sampaio
-
PATAT 2006: Call for Participation
PATAT 2006
-
CFP: ESAW 2006
event
-
deadline extension VERIFY'06
event
-
Final CFP: Qualitative Constraint Calculi [Deadline extended]
event
-
PDPAR'06 Call for Papers
event
-
Extended Deadline: RuleML 2006 - Rules and Rule Markup Languages for the Semantic Web
event
-
DCC06 Conference - Registration Now Open
event
-
FINAL CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)
event
-
UITP'06: Final Call for Papers
event
-
OnToContent 2006, Ontology Content and Evaluation in Enterprise Workshop, (Submission, June 30), call1
event
-
Prefs 2006 -- CALL FOR PAPERS
event
-
PPDP 2006 - call for participation
event
-
*ATAC'2006: Extended deadline (May 28)*
event
-
Workshop on (logic-based) programming environments - DEADLINE EXTENSION
Wim Vanhoof
-
Record.adjoin documentation wrong?
Paul Dufresne
-
Announcing: Post-doc Position at Durham University, UK
event
-
*ALPSWS2006 Deadline Extended*
event
-
Oz Explorer and variables
Mary Aranda Cabezas
-
CFP - LaSh06 - Search and Logic: Answer Set Programming and SAT
event
-
Vacancy: logic for knowledge representation / multi-agent systems
event
-
CFP: Constraints Journal Special Issue on Symmetry in Constraint Programming
ian miguel
-
FORMAL METHODS 2006: Call for Participation
Jeffery Zucker
-
CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006
Luis Gomes
-
Final Call for Participation: 2nd International Summer School of the Association for Constraint Programming: GLOBAL CONSTRAINTS
ian miguel
-
UNIF'06 second call for papers
Jordi Levy
-
Call for Participation: PLAS 2006
Steve Zdancewic
-
CP 2006: Call for Tutorial Proposals
Christian Schulte
-
CFP: Workshop on Constraint Based Methods for Bioinformatics
Gestione_Workshop_WCB06
-
2nd CFP: Workshop on Generic Programming 2006
Ralf Hinze
-
Interface!
Mary Aranda Cabezas
-
FCS-ARSPA'06: deadline extension
vigano
-
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)
-
CERTSOFT'06: CFP
Jeffery Zucker
-
[Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14
Ernesto Pimentel
-
Mac OS X build issue resolved
Paul R Brown
-
build issue on Mac OS X
Paul R Brown
-
Quick Loop Feature Query
Anthony Borla
-
Quick Bit Manipilation Query
Anthony Borla
-
Distribution Strategies
Mary Aranda Cabezas
-
Accessing Classes in Functors.
Alan Oswald
-
Final CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
vigano
-
DISPROVING '06 2nd Call f. Papers
Wolfgang Ahrendt
-
memoization + search script
Kilian Sprotte
-
ICFEM 2006: final call for contributions and extended deadline
Chris George
-
LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION
Miki Hermann
-
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Santiago Escobar
-
Resignation from Mozart board
Christian Schulte
-
The code block
Sukit Tretriluxana
-
'gc.free'
Robert Van Dam
-
Path
Torsten Anders
-
Quick Regex Query
Anthony Borla
-
Vim coloration and indentation when editing oz files
FSA
-
Functional Reactive Programming in Oz
Peter Van Roy
-
FMICS'06: Call for Papers
Martin Leucker
-
ESSLLI 2007 - Call for Course and Workshop Proposals
Tomaz Erjavec
-
[ESSLLI 2007] Calll for Course and Workshop Proposals
Carlos Areces
-
(2nd CFP) Workshop on Logic-based Methods in Programming Environments
Wim Vanhoof
-
ICALP 2006 - call for participation
ICALP 2006
-
FLORIDA - FLAIRS 2006 - Natural Language and Knowledge Representation
event
-
Logic programming 1
Alan Oswald