2008 Archives by author

Messages sorted by: [ thread ] [ subject ] [ date ]
More info on this list...

Starting: Tue Jan 1 16:41:12 CEST 2008
Ending: Wed Aug 20 10:37:48 CEST 2008
Messages: 634

CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria -
Third Call for Papers: The 4th CISSE International Conference CISSE 07
ICLP'08 CALL FOR PAPERS ICLP 08
ICLP'08 CALL FOR PAPERS ICLP 08
ICLP'08 CALL FOR WORKSHOP PROPOSALS *** CALL FOR WORKSHOP PROPOSALS *** ICLP 08
ICLP'08 CALL FOR PAPERS ICLP 08
ICLP'08 CALL FOR PAPERS ICLP 08
ICLP'08 CALL FOR APPLICATION PAPERS ICLP 08
ICLP'08 CALL FOR WORKSHOP PROPOSALS ICLP 08
ICLP'08 CALL FOR PAPERS ICLP 08
ICLP'08 CFP: EXTENDED DEADLINES! ICLP 08
2008 ICLP Doctoral Consortium ICLP 08
ICLP'08 CALL FOR POSTER SUBMISSIONS ICLP 08
ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS ICLP 08
2008 ICLP Doctoral Consortium ICLP 08
BCI2008: Call for partecipation BCI 2008
BCI2008: Call for partecipation BCI 2008
BCI 2008 - early registration deadline extended BCI 2008
ESSLLI 2008 ESSLLI 2008
[ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21, 2008: Call For Papers ICSEng 2008
[ICSEng'08] ICSEng 2008, Submission deadline extended to March 16, 2008 ICSEng 2008
PAuL 2008 Call for Papers PAuL 2008
PAuL 2008 2nd Call for Papers PAuL 2008
PAuL 2008 CfP Deadline Extension PAuL 2008
QAPL 2008 Call for Presentations QAPL 2008
WACC 2008 - Call for Papers and Participation WACC 2008
Call for Participation RELMICS10/AKA5 Bernhard Möller
Numerical Computing with Mozart-Oz\Alice Петров Александр
FD constraint propagators Filip Konvička
JOB OPPORTUNITY Bertram FronhÃƒÂ¶fer
Summer School Announcement Bertram FronhÃ¶fer
EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC Bertram FronhÃ¶fer
JELIA - registration opened Bertram FronhÃ¶fer
Mozart 1.4.0 release David Kågedal
Mozart 1.4.0 release David Kågedal
Mozart 1.4.0 release David Kågedal
PhD Studentships at Kent A.M.King
PPDP'08: Call for Papers Elvira Albert
PPDP 2008 - 2nd Call for Papers Elvira Albert
PPDP'08: Last Call for Papers Elvira Albert
PPDP'08: Call for Participation Elvira Albert
Slight cleanup of documentation? Torsten Anders
Slight cleanup of documentation? Torsten Anders
generating standalone applications Torsten Anders
mozart-users Digest, Vol 15, Issue 19 Torsten Anders
Development environment for Oz Torsten Anders
Parallel Distributed Constraint Programming with Oz Torsten Anders
Collozeum project Torsten Anders
Collozeum project Torsten Anders
dynamic linkage with other environment ? Torsten Anders
Collozeum project Torsten Anders
Collozeum project Torsten Anders
official Mozart/Oz wiki? Torsten Anders
official Mozart/Oz wiki? Torsten Anders
official Mozart/Oz wiki? Torsten Anders
Collozeum project Torsten Anders
official Mozart/Oz wiki? Torsten Anders
Using libffi to call out to C Torsten Anders
Code navigation in Emacs Torsten Anders
Using libffi to call out to C Torsten Anders
Code navigation in Emacs Torsten Anders
How to measure memory consumption? Torsten Anders
Bug: Inspector cannot display determined FS variables Torsten Anders
How to measure memory consumption? Torsten Anders
Bug: Inspector cannot display determined FS variables Torsten Anders
Bug: Inspector cannot display determined FS variables Torsten Anders
Code navigation in Emacs Torsten Anders
Code navigation in Emacs Torsten Anders
(no subject) Torsten Anders
Exceptions and Concurrency Torsten Anders
Exceptions and Concurrency Torsten Anders
Exceptions and Concurrency Torsten Anders
ozfind: new version of "Code Navigation in Emacs" Torsten Anders
ozfind: new version of "Code Navigation in Emacs" Torsten Anders
ozfind: new version of "Code Navigation in Emacs" Torsten Anders
Creating a binary Mozart RPM without contributions Torsten Anders
Creating a binary Mozart RPM without contributions Torsten Anders
New to Mozart Torsten Anders
New mailing list Torsten Anders
New mailing list Torsten Anders
Mozart server down? Torsten Anders
trunc or 1.3.2 Torsten Anders
trunc or 1.3.2 Torsten Anders
exception mechanism in Oz Torsten Anders
exception mechanism in Oz Torsten Anders
exception mechanism in Oz Torsten Anders
Bug: Object.is blocks on undetermined FS variables Torsten Anders
Interresting findings in Mozart-Oz Torsten Anders
Does Combinator.'or' miss then-statements? Torsten Anders
Does Combinator.'or' miss then-statements? Torsten Anders
exception mechanism in Oz Torsten Anders
exception mechanism in Oz Torsten Anders
Does Combinator.'or' miss then-statements? Torsten Anders
exception mechanism in Oz Torsten Anders
Parallel search questions Torsten Anders
Parallel search and PATH Torsten Anders
Fwd: Parallel search questions Torsten Anders
Parallel search and PATH Torsten Anders
Parallel search and PATH Torsten Anders
Parallel search questions Torsten Anders
Parallel search and PATH Torsten Anders
FD constraints Torsten Anders
FD constraint propagators Torsten Anders
Executing code from within Mozart Torsten Anders
Executing code from within Mozart Torsten Anders
Executing code from within Mozart Torsten Anders
QTk textbox colour Torsten Anders
Functions like IsAtom block on kinded variables -- why? Torsten Anders
Functions like IsAtom block on kinded variables -- why? Torsten Anders
Functions like IsAtom block on kinded variables -- why? Torsten Anders
Mozart 1.4.0 release Torsten Anders
Mozart 1.4.0 release Torsten Anders
Parallel Search Torsten Anders
x-ozlib on Windows Torsten Anders
x-ozlib on Windows Torsten Anders
QTk load dialog Torsten Anders
Mozart Governance Torsten Anders
Numerical Computing with Mozart-Oz\Alice Torsten Anders
Documentation not generated, can't easily revise current docs in sgml Torsten Anders
Documentation not generated, can't easily revise current docs in sgml Torsten Anders
Mozart 1.4.0: pickle compatibility Torsten Anders
Mozart 1.4.0 Tk interface Torsten Anders
Documentation not generated, can't easily revise current docs in sgml Torsten Anders
N Queens problem. Torsten Anders
Mozart 1.4.0 and parallel search Torsten Anders
Mozart 1.4.0: pickle compatibility Torsten Anders
3rd SIPTA School on Imprecise Probabilities: 1st announcement Alessandro Antonucci
AiML-2008: Second Call for Papers Carlos Areces
[CFP] Advances in Modal Logic 2008 Carlos Areces
E. W. Beth Dissertation Prize: 2008 call for submissions Carlos Areces
Last Call for Papers: Advances in Modal Logic Carlos Areces
AiML 2008: Registration now open Carlos Areces
AiML08: Preliminary Program now Available Carlos Areces
WLPE'08 -- Call for Papers Puri Arenas
CP'08: Call for Papers Sebastian BRAND
CP 2008 - Doctoral Programme Sebastian BRAND
QTk window event queue Oleg Batrashev
QTk window event queue Oleg Batrashev
CiE08 - Extended Deadline Arnold Beckmann
Review of Symbolic Logic (RSL) Patrick Blackburn
CP 2008 - Call for Workshops Sebastian Brand
CP 2008 - Call for Tutorials Sebastian Brand
CP 2008 - Call for Application Papers Sebastian Brand
CP 2008: Submission is open Sebastian Brand
CP 2008: 2nd Call for Tutorials Sebastian Brand
CP 2008: 2nd Call for Workshops Sebastian Brand
CP 2008: 2nd Call for Tutorials Sebastian Brand
CP 2008: Final Call for Papers Sebastian Brand
CP 2008: Abstract deadline extension Sebastian Brand
CP 2008: Call for Doctoral Programme Applications Sebastian Brand
CP 2008: Call for Tutorials Sebastian Brand
ACP Research Award Sebastian Brand
ACP Doctoral Research Award Sebastian Brand
CP 2008: Call for Participation Sebastian Brand
CP 2008: 2nd Call for Participation Sebastian Brand
ICTAC call for papers Jeremy Bryans
Call for Papers: Formal Aspects of Virtual Organisations Jeremy Bryans
ICTAC Second Call for Papers Jeremy Bryans
ICTAC 2nd CFP: Invited speakers confirmed Jeremy Bryans
CfPArt: ICTAC 2008 Jeremy Bryans
Extended Deadline - Foundations of Computer Science as Logic-Related Jeremy Bryans
Random element selection during FD distribution? Daniel Burnett
Random element selection during FD distribution? Daniel Burnett
UTP08 call for work in progress papers Andrew Butterfield
CSR 2008 in Moscow: Call for Participation CSR-2008
Patch for Mozart on "Windows Vista" Bob Calco
Patch for Mozart on "Windows Vista" Bob Calco
Development environment for Oz Bob Calco
RR 2008 - 2nd Int. Conf. on Web Reasoning and Rule Systems - Call for Papers (revised) Diego Calvanese
PhD positions at KRDB Centre - Free Univ. of Bozen-Bolzano, Italy Diego Calvanese
RR 2008 - Last CfP - 3 days left for abstract submission Diego Calvanese
RR 2008 - extended deadlines Diego Calvanese
BPPC'08: Call for Papers Mats Carlsson
BPPC'08: 2nd Call for Papers Mats Carlsson
NN5 Time Series Forecasting Competition Forecasting Research Centre
[DSD08] [DSD'08] CALL FOR PARTICIPATION DSD'08 Program Chair
GlobalComp 2008 -- Call for Papers Gabriel Ciobanu
installing on Mac OS X David G Clark
mozart-users Digest, Vol 15, Issue 20 Raphael Collet
Parallel Distributed Constraint Programming with Oz Raphael Collet
Collozeum project Raphael Collet
Exceptions and Concurrency Raphael Collet
Exceptions and Concurrency Raphael Collet
CTM book covers (for fun) Raphael Collet
CTM book covers (for fun) Raphael Collet
parsing of command line arguments Raphael Collet
GC Bug on weak dictionaries? Raphael Collet
GC Bug on weak dictionaries? Raphael Collet
GC Bug on weak dictionaries? Raphael Collet
Distributed programming bug Raphael Collet
Distributed programming bug Raphael Collet
Distributed programming bug Raphael Collet
Distributed programming bug Raphael Collet
Distributed programming bug Raphael Collet
exception mechanism in Oz Raphael Collet
Does Combinator.'or' miss then-statements? Raphael Collet
exception mechanism in Oz Raphael Collet
Does Combinator.'or' miss then-statements? Raphael Collet
exception mechanism in Oz Raphael Collet
exception mechanism in Oz Raphael Collet
help with parallel search Raphael Collet
Parallel search questions Raphael Collet
Help: failed functor at a remote machine Raphael Collet
Parallel search and PATH Raphael Collet
Parallel search and PATH Raphael Collet
FD constraints Raphael Collet
Qtk canvas clearing Raphael Collet
Functions like IsAtom block on kinded variables -- why? Raphael Collet
Mozart 1.4.0 release Raphael Collet
Mozart 1.4.0 release Raphael Collet
Mozart 1.4.0 release Raphael Collet
Mozart 1.4.0 release Raphael Collet
Mozart Governance Raphael Collet
NN5 Special Session at WCCI 2008 NN5 Forecasting Competition
CHAOS2008 International Conference Poster and Information CHAOS2008 Conference
Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
Documentation not generated, can't easily revise current docs in sgml R. G. Cottrell
International Conference on Data Mining (DMIN'08), Las Vegas Sven F. Crone
CFP: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems SS DATICS
2nd CFP: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems SS DATICS
Extended deadline: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems SS DATICS
CFP SBMF 2008 Patricia Duarte de L Machado / Prof. DSC
CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems ss DTVCS
2nd CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems ss DTVCS
Extended deadline: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems ss DTVCS
Fw: New to Mozart Rouan van Dalen
trunc or 1.3.2 Rouan van Dalen
Borris: SVN access for /branches/mozart-1-3-0-fixes reqrequires authentication Rouan van Dalen
Compile time messages for branches/mozart-1-3-0-fixes Rouan van Dalen
exception mechanism in Oz Rouan van Dalen
Problem with FFI tutorial Rouan van Dalen
Problem with FFI tutorial Rouan van Dalen
Interresting findings in Mozart-Oz Rouan van Dalen
How to measure memory consumption? Robert Van Dam
Bug: Inspector cannot display determined FS variables Robert Van Dam
Bug: Inspector cannot display determined FS variables Robert Van Dam
hello world application Robert Van Dam
IWACO 2008 Call for Papers David.Clarke at cwi.nl
CFP: IWACO 2008 David.Clarke at cwi.nl
ECOOP 2008 Call for Participation David.Clarke at cwi.nl
ECOOP 2008 Call for Posters/Demos David.Clarke at cwi.nl
PhD Positions in Secure Software and Languages David.Clarke at cwi.nl
LaSh08 Call for Papers Marc Denecker
LaSh08 Call for Papers Marc Denecker
LaSh08 DEADLINE EXTENSION Marc Denecker
deadline extension for ESSLLI workshops to March 27 Hans van Ditmarsch
oz / emacs problems Chris Double
Using libffi to call out to C Chris Double
Using libffi to call out to C Chris Double
Using libffi to call out to C Chris Double
WCB08 Call for papers Agostino Dovier
static analysis? Raoul Duke
EASSS'08 - European Agent Systems Summer School - Registration is Open EASSS'08
EASSS'08 - European Agent Systems Summer School - Early Registration Deadline Approaching! EASSS'08
(EC)^2: Final Call for Papers EC2
MULTICONF-08 Final call for papers John E. Edward
MULTICONF-08 Final call for papers John E. Edward
AIPR-08 Final Call for papers John E. Edward
Draft paper deadline extended: MULTICONF-08 John E. Edward
Draft paper submission deadline is just few days from now: MULTICONF-08 John E. Edward
Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) Santiago Escobar
Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) Santiago Escobar
International Conference on Data Mining (DMIN'08), Las Vegas Deadline Extension
NN5 Forecasting Competition for Computational Intelligence Deadline Extension
[DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - CALL FOR PAPERS Luca Fanucci
[DSD08] Paper Submission Deadline Approaching, March 3rd, 2008 Luca Fanucci
[DSD08] Paper Submission Deadline extended to March 17th, 2008 Luca Fanucci
[DSD08] DSD08 - Paper Submission Deadline extended to March 17th, 2008 Luca Fanucci
2nd CfP - Special Issue on Forecasting with Computational Intelligence International Journal of Forecasting
European Master in Computational Logic - scholarships for European students Enrico Franconi
European Master in Computational Logic - scholarships for European students - last deadline Enrico Franconi
Problem with Browse on Linux (Redhat x86_64) Andreas Franke
QTk text box Andreas Franke
New to Mozart Andreas Franke
Problem with FFI tutorial Andreas Franke
Executing code from within Mozart Andreas Franke
Executing code from within Mozart Andreas Franke
Numerical Computing with Mozart-Oz\Alice Andreas Franke
Postdoc Opening, Nancy (France) Claire Gardent
PhD Studentship in Nancy (France) Claire Gardent
Postdoc position in NL Generation, Nancy, France Claire Gardent
PLID'08: 1st Call for Contributions Samir Genaim
(no subject) Samir Genaim
PLID'08 - 2nd Call for Contributions Samir Genaim
PLID'08 - Last Call for Contributions Samir Genaim
Knights' Tours, Walks etc. in Oz-Mozart Alex Gian
Knights' Tours, Walks etc. in Oz-Mozart Alex Gian
Mozart on Vista Alex Gian
mozart-gtk - Farewell? Kevin Glynn
mozart-gtk - Farewell? Kevin Glynn
Compile time messages for branches/mozart-1-3-0-fixes Kevin Glynn
ICNC'08-FSKD'08: Jinan, China; Papers due 25 March Mei Guo
Symposium on Practical Aspects of Declarative Languages (PADL'09) Gopal Gupta
Parallel Distributed Constraint Programming with Oz Gustavo Gutierrez
generating standalone applications Gustavo Gutierrez
generating standalone applications Gustavo Gutierrez
Mozart 'installation' query Gustavo Gutierrez
Problems running Mozart1.4.0 Gustavo Gutierrez
Problems running Mozart1.4.0 Gustavo Gutierrez
Documentation not generated, can't easily revise current docs in sgml Gustavo Gutierrez
Documentation not generated, can't easily revise current docs in sgml Gustavo Gutierrez
Binary for Solaris i386 Donald Halomoan
CFP: Workshop CEDAR 2008 Miki Hermann
Workshop on Generic Programming: Call for Papers (co-located w/ ICFP08) Ralf Hinze
Fwd: dynamic linkage with other environment ? Jean Holleville
Mailing list search David Hopwood
Call for Papers: The 2008 IEEE International Conference on Information Reuse and Integration IEEE-IRI-Publicity
Deadline Approaching: [CFP] IEEE IRI-2008 IEEE-IRI-Publicity
Call for Participation: IEEE IRI 2008 IEEE-IRI-Publicity
ICALP 2008: Last Call for Papers Icalp08
Collozeum project Yves Jaradin
Using libffi to call out to C Yves Jaradin
Using libffi to call out to C Yves Jaradin
Creating a binary Mozart RPM without contributions Yves Jaradin
Problems running Mozart1.4.0 Yves Jaradin
Problems running Mozart1.4.0 Yves Jaradin
Documentation not generated, can't easily revise current docs in sgml Yves Jaradin
Mozart 1.4.0: pickle compatibility Yves Jaradin
Documentation not generated, can't easily revise current docs in sgml Yves Jaradin
generating standalone applications Ed Keith
parallel search error Ryan Kelly
A little help, if possible. Ryan Kelly
CHINA 2008 Workshop 2nd CfP Jetty Kleijn
CHINA 2008 Workshop 3rd CfP Jetty Kleijn
Call for Presentations CHINA 2008 Jetty Kleijn
CFP: CIA 2008 Cooperative Information Agents Matthias Klusch
Extended Submission Deadline: CIA 2008 - Intelligent Information Agents Matthias Klusch
Final CFP: CIA 2008 - Cooperative Information Agents Matthias Klusch
CFP: Workshop on Quantification in Constraint Programming Arnaud Lallouet
QiCP'08 Workshop on Quantification in Constraint Programming (2nd cfp) Arnaud Lallouet
QiCP'08 Wks on Quantification in Constraint Programming: extended deadline Arnaud Lallouet
Problem with Browse on Linux (Redhat x86_64) Gary T. Leavens
Problem with Browse on Linux (Redhat x86_64) Gary T. Leavens
DL2008 Second Call for Papers Carsten Lutz
KR08 Doctoral Consortium Second Call for Application Carsten Lutz
MPOOL'08: Call for Papers MPOOL'08
[plt-scheme] POPL 2009 Call for Workshop and Co-located Event Proposals Yitzhak Mandelbaum
CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 Masoud.Mohammadian
Patch for Mozart on "Windows Vista" Boriss Mejias
Patch for Mozart on "Windows Vista" Boriss Mejias
Slight cleanup of documentation? Boriss Mejias
Patch for Mozart on "Windows Vista" Boriss Mejias
Patch for Mozart on "Windows Vista" Boriss Mejias
Patch for Mozart on "Windows Vista" Boriss Mejias
Patch for Mozart on "Windows Vista" Boriss Mejias
mozart-gtk - Farewell? Boriss Mejias
Mailing list search Boriss Mejias
Mailing list search Boriss Mejias
Mozart on Vista Boriss Mejias
Mozart on Vista Boriss Mejias
Problem compiling from checked-out svn sources Boriss Mejias
Collozeum project Boriss Mejias
Collozeum project Boriss Mejias
official Mozart/Oz wiki? Boriss Mejias
Collozeum project Boriss Mejias
Collozeum project Boriss Mejias
official Mozart/Oz wiki? Boriss Mejias
Mozart 1.3.2 on FreeBSD 7.0RC2 Boriss Mejias
hello world application Boriss Mejias
Distributed programming bug Boriss Mejias
Distributed programming bug Boriss Mejias
trunc or 1.3.2 Boriss Mejias
Mozart server down? Boriss Mejias
Borris: SVN access for /branches/mozart-1-3-0-fixes reqrequires authentication Boriss Mejias
Compile time messages for branches/mozart-1-3-0-fixes Boriss Mejias
Compile time messages for branches/mozart-1-3-0-fixes Boriss Mejias
trunc or 1.3.2 Boriss Mejias
trunc or 1.3.2 Boriss Mejias
Executing code from within Mozart Boriss Mejias
Problems running Mozart1.4.0 Boriss Mejias
Mozart Governance Boriss Mejias
Documentation not generated, can't easily revise current docs in sgml Boriss Mejias
Updated Call for Papers: KR 2008 Tommie Meyer
Updated Call for Papers: KR 2008 Tommie Meyer
KROW@KR2008: Call for Papers Tommie Meyer
Final Call For Papers: KR 2008 Tommie Meyer
KROW@KR2008: Final Call for Papers Tommie Meyer
FIRST CALL FOR PARTICIPATION: KR 2008 Tommie Meyer
KR2008: Early registration deadline approaching: July 31 Tommie Meyer
Patch for Mozart on "Windows Vista" Wolfgang Meyer
Mozart on Vista Wolfgang Meyer
Code navigation in Emacs Wolfgang Meyer
Using libffi to call out to C Wolfgang Meyer
Code navigation in Emacs Wolfgang Meyer
Code navigation in Emacs Wolfgang Meyer
How to measure memory consumption? Wolfgang Meyer
Bug: Inspector cannot display determined FS variables Wolfgang Meyer
Code navigation in Emacs Wolfgang Meyer
ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
ozfind: new version of "Code Navigation in Emacs" Wolfgang Meyer
Elmoz: a source code annotating debugger Wolfgang Meyer
QTk window event queue Wolfgang Meyer
Call for Papers: The 2008 International Conference on Data Mining (DMIN'08), USA, July 2008 Data Mining
generating standalone applications Oliver Mooney
mozart-users Digest, Vol 15, Issue 19 Oliver Mooney
mozart-users Digest, Vol 15, Issue 20 Oliver Mooney
mozart-users Digest, Vol 15, Issue 21 Oliver Mooney
parsing of command line arguments Oliver Mooney
ESSLLI 2009 Call for Proposals Richard Moot
ESSLLI 2009 - Second Call for Course and Workshop Proposals Richard Moot
VMCAI 2009: Call for Papers Markus Mueller-Olm
VMCAI 2009: Submission is open Markus Mueller-Olm
A little help, if possible. Neil Munro
A little help, if possible. Neil Munro
N Queens problem. Neil Munro
N Queens problem. Neil Munro
Oz and preferences-based argumentation (logic) Victor NOEL
Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school Martin Nordio
Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school Martin Nordio
CC 2009: abstracts due Oct 2 Oege.de.Moor at comlab.ox.ac.uk
[MPC'08] First call for participation MPC'08 Organizers
Problem with Browse on Linux (Redhat x86_64) A. P.
Second Call for Papers: PLAS 2008 PLAS2008
MPC 2008: SECOND CALL FOR PARTICIPATION Christine Paulin
mozart-gtk - Farewell? Pavel
Collozeum project Pavel
Collozeum project Pavel
generating standalone applications Pavel
New mailing list Pavel
Functions like IsAtom block on kinded variables -- why? Pavel
Mozart Governance Pavel
CFP: 5th Workshop on Model Checking and AI Doron Peled
Exceptions and Concurrency Jorge Marques Pelizzoni
Exceptions and Concurrency Jorge Marques Pelizzoni
exception mechanism in Oz Jorge Marques Pelizzoni
Slight cleanup of documentation? Graham Percival
hello world application Graham Percival
hello world application Graham Percival
Call for participation in the 2008 ACP Summer School - Modelling with Constraints: Theory and Practice Karen Elizabeth Petrie
FMCAD 2008 Call For Papers Lee Pike
FMCAD 2008: FINAL Call for Papers Lee Pike
FMCAD 2008 CFP Deadline Extension! (May 19th) Lee Pike
REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008 Potapov, Igor
NordSec 2008 - First Call For Papers Christian Probst
NordSec 2008 - Second Call For Papers Christian Probst
NordSec 2008 - Final Call for Papers Christian Probst
[CFP]Fourth International Workshop on Contexts and Ontologies Guilin Qi
[CFP] Deadline Extension: Fourth International Workshop on Contexts and Ontologies Guilin Qi
Random element selection during FD distribution? Luis Quesada
ISMM 2008: Call for papers deadline extended R.E.Jones
ISMM 2008: Call for papers deadline extended (CORRECTED) R.E.Jones
ISMM 2008 Call for participation R.E.Jones
ISMM 2008 Early registration closes 14 May R.E.Jones
Slight cleanup of documentation? RGC
Problem compiling from checked-out svn sources RGC
Problem compiling from checked-out svn sources RGC
Development environment for Oz Pierre Radermecker
Problems running Mozart1.4.0 Victor Rivera
PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler Marco Roveri
Post-Doc Positions in the Embedded System Unit of Fondazione Bruno Kessler Marco Roveri
Researcher position at UCL in MANCOOSI project Peter Van Roy
Updated slides for French programming course using Mozart Peter Van Roy
Development environment for Oz Peter Van Roy
Complete Oz BNF description? Peter Van Roy
Lambda the Ultimate discussions on CTM Peter Van Roy
CTM book covers (for fun) Peter Van Roy
Mozart Governance Peter Van Roy
Mozart Governance Peter Van Roy
Executing code from within Mozart Pavel Rozenblioum
N Queens problem. Pavel Rozenblioum
N Queens problem. Pavel Rozenblioum
Parallel Distributed Constraint Programming with Oz George Rudolph
Parallel Distributed Constraint Programming with Oz George Rudolph
generating standalone applications George Rudolph
Complete Oz BNF description? George Rudolph
Behavior of Parallel Search Engine George Rudolph
help with parallel search George Rudolph
Parallel search questions George Rudolph
Parallel Search George Rudolph
Help rewriting this as functor George Rudolph
CFP: Special issue of Journal of Scheduling Hana Rudova
CFP: Special issue of Journal of Scheduling Hana Rudova
CFP: Special issue of Journal of Scheduling Hana Rudova
official Mozart/Oz wiki? Benjamin L. Russell
generating standalone applications Benjamin L. Russell
official Mozart/Oz wiki? Benjamin L. Russell
CTM book covers (for fun) Benjamin L. Russell
installing on Mac OS X Benjamin L. Russell
SOFSEM 2009 - Call for Paper SOFSEM09
IEEE CSF 2008 call for participation Andrei Sabelfeld
Mozart 1.3.2 on FreeBSD 7.0RC2 Damien Saucez
GLOBAN 2008 Summer School Announcement GLOBAN 2008 Summer School
GLOBAN 2008 Summer School: Early Registration Open GLOBAN 2008 Summer School
WLP 2008 - Call for Papers Sibylle Schwarz
WLP 2008 - Second Call for Papers Sibylle Schwarz
WLP 2008 - Submission deadline extended Sibylle Schwarz
CFP: 1st International Workshop on Sensor Networks and Ambient Intelligence Boon-Chong Seet
Final CFP: Sensor Networks and Ambient Intelligence (July 21, 2008) Boon-Chong Seet
Data Mining for Time Series Data DMIN08 Special Session
Forecasting with Neural Networks ISF08 Special Session
Forecasting with Neural Networks Special Conference Session
Chaotic Modeling and Simulation International Conference (CHAOS2008) , Abstract submission Christos H. Skiadas
Dynamic placement of widgets with QTk Fred Spiessens
CfP: TTSS'08 - Harnessing Theories for Tool Support in Software Volker Stolz
Revised CfP: TTSS'08 - Harnessing Theories for Tool Support in Software, Istanbul/Turkey Volker Stolz
LPAR 2008 (Qatar) CFP Geoff Sutcliffe
IJCAR Calls and Awards Geoff Sutcliffe
Automated Reasoning in Mathematics Geoff Sutcliffe
LPAR Call for Papers Geoff Sutcliffe
LPAR submission deadline extended Geoff Sutcliffe
IJCAR 2008 in Australia Geoff Sutcliffe
IJCAR in Australia, 1 month to go Geoff Sutcliffe
LPAR'08 workshops Geoff Sutcliffe
CTM book covers (for fun) Yusei TAHARA
CFP: ACM SAC 09 Software Verification and Testing Tamara.Rezk at sophia.inria.fr
Last call for papers: ACM SAC 09 Software Verification and Testing Tamara.Rezk at sophia.inria.fr
GC Bug on weak dictionaries? Christophe Taton
GC Bug on weak dictionaries? Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Borris: SVN access for /branches/mozart-1-3-0-fixes reqrequires authentication Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Distributed programming bug Christophe Taton
Interresting findings in Mozart-Oz Christophe Taton
QAOOSE 2008 Call for Papers Workshop on Generative Technologies
CFP - PSC track at SAC 2009 Emiliano Tramontana
Last CFP - PSC track at SAC 2009 Emiliano Tramontana
SOFSEM'09 Call for Papers Frank Valencia
LaSh08: Last Call for Papers Joost Vennekens
WLPE'08 - First call for Papers WLPE-08
WLPE'08 - Call for Papers WLPE-08
[KM2009] Second Call for Workshop Proposals Wache,Holger
Help: failed functor at a remote machine HP Wei
Help: failed functor at a remote machine HP Wei
Parallel search and PATH HP Wei
Parallel search and PATH HP Wei
MOC-2008 - Call for Papers Armin Wolf
ECOOP 2008 Call for Student Volunteers Tobias Wrigstad
CFP: 4th Intl. WS on Program Comprehension through Dyn. Analysis (PCODA 2008) Andy Zaidman
Deadline Approaching - IEEE IRI-2008 Chengcui Zhang
CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security) ailab at leary.csoft.net
FCS-ARSPA-WITS'08: Second Call for Papers ailab at leary.csoft.net
FCS-ARSPA-WITS'08: deadline extension ailab at leary.csoft.net
FCS-ARSPA-WITS'08: deadline extension ailab at leary.csoft.net
AITA08 CALL FOR PARTICIPATION aita08 at krlab.cs.ttu.edu
3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic announce at krlab.cs.ttu.edu
Extended Deadline 10 April; ICNC'08-FSKD'08: Jinan, China lian ayu
WCAT @ ASE2008. Deadline extension. Coordination and AdaptationTechniques canal at lcc.uma.es
CFP: CICLOPS 2008 ciclops-org at clip.dia.fi.upm.es
CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 cimca
Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis at dimi.uniud.it
Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis at dimi.uniud.it
1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis at dimi.uniud.it
1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis at dimi.uniud.it
2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis at dimi.uniud.it
2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis at dimi.uniud.it
DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems demis at dimi.uniud.it
DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming demis at dimi.uniud.it
CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) demis at dimi.uniud.it
CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) demis at dimi.uniud.it
DMS 2008 Conference (Call For Paper) dms at ksi.edu
IJCAR, last Call for Papers geoff at cs.miami.edu
Problems running Mozart1.4.0 ggutierrez at cic.puj.edu.co
CFP: 24th IEEE ICSM - International Conference on Software Maintenance icsm-info at FernUni-Hagen.de
CfP: 8th IEEE Intl. Working Conference on Source Code Analysis and Manipulation icsm-info at FernUni-Hagen.de
SCAM2008: Reminder of Abstract submission Deadline April 21 icsm-info at FernUni-Hagen.de
[EUROSIS-AD] ISC'2008, June 9-11, 2008, Universite de Lyon, France, SUBMISSION DEADLINE COMING UP info at eurosis.org
[EUROSIS-AD] MESM 2008, August 26-28, 2008, Philadelphia University, Amman, Jordan 1st CFP info at eurosis.org
[EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre, Le Havre, France, 1ST CFP info at eurosis.org
CFP CRiSIS 2008 mohamed hadj kacem
parsing of command line arguments orbitz at ezabel.com
oz / emacs problems mark richardson
oz / emacs problems mark richardson
oz / emacs problems mark richardson
QTk text box widget mark richardson
QTk text box mark richardson
New mailing list mark richardson
New mailing list mark richardson
FD constraints mark richardson
FD constraints mark richardson
FD constraints mark richardson
FD constraint propagators mark richardson
FD constraint propagators mark richardson
Executing code from within Mozart mark richardson
Qtk canvas clearing mark richardson
Executing code from within Mozart mark richardson
Executing code from within Mozart mark richardson
QTk textbox colour mark richardson
QTk message box mark richardson
QTk message box mark richardson
QTk message box mark richardson
Dynamic placement of widgets with QTk mark richardson
Dynamic placement of widgets with QTk mark richardson
QTk load dialog mark richardson
N Queens problem. mark richardson
N Queens problem. mark richardson
WoLLIC 2008 - Call for Papers ruy at cin.ufpe.br
WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th ruy at cin.ufpe.br
WoLLIC 2008 - Call for Participation ruy at cin.ufpe.br
PhD position available at the CLIP group, UPM, Spain scube-phd-grants at clip.dia.fi.upm.es
exception mechanism in Oz seif
An Important Reminder - SEKE 2008 Int'l Conference Call For Paper sekeconf at ksi.edu
CFP: PAKDD 2009, Bangkok, Thailand, 27-30 April 2009, (submission deadline: 09 September 2008) kritsada sriphaew
Call for Papers TASE2008 tase08
Final Call for Papers TASE2008 tase08
Call for papers ICTAC 2008 tase08
HASE 2008 CALL FOR PAPERS tase08
HASE 2008 - Extended Deadline June 17 tase08
HASE 2008 - Last CfP - 3 days left for paper submission tase08
ECSI Workshop > TLM 2.0 New Standard Draft > January 29, 2008 - Paris, France training at ecsi.org
ECSI Workshop > TLM 2.0 New Standard Draft > January 29, 2008 - Paris, France training at ecsi.org
DATE 2008 Workshop: The New Wave of the High-Level Synthesis (Call for participation & submission) training at ecsi.org
ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany training at ecsi.org
EURASIP Journal on Embedded Systems - Call for Papers training at ecsi.org
DATE 2008 Friday Workshop on Impact of Process Variability on Design and Test - Call for Submissions training at ecsi.org
ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany training at ecsi.org
ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany training at ecsi.org
ECSI Workshop > System Debug - March 10, 2008 - Munich, Germany - Registration deadline tomorrow training at ecsi.org
DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008 training at ecsi.org
FDL 2008 > Call for Papers - Deadline March 31, 2008 training at ecsi.org
FDL08 > Call for Papers - Deadline Extension: April 7th, 2008 training at ecsi.org
DAC'08 Workshop > High-Level Synthesis: Back to the Future - June 8, 2008 - Call for Poster Submissions training at ecsi.org
DAC'08 Workshop > System & SoC Debug - June 8, 2008 - Call for Participation training at ecsi.org
DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008 training at ecsi.org
IP-XACT User's Group > Meeting at DAC'08 - June 10, 2008 training at ecsi.org
DASIP Conference 2008 > Call for Parpers - Deadline May 16, 2008 training at ecsi.org
DASIP Conference 2008 > Call for Parpers - Deadline Extension - May 30, 2008 training at ecsi.org
DAC'08 Workshop > System & SoC Debug - June 8, 2008 - Call for Participation with updated agenda training at ecsi.org
IP-XACT User's Group > Meeting at DAC'08 - June 10, 2008 training at ecsi.org
DASIP Conference 2008 > Call for Parpers - Deadline Extension - May 30, 2008 training at ecsi.org
FDL08 > Advance Program & Registration training at ecsi.org
FDL08 > Invitation to register! training at ecsi.org

Last message date: Wed Aug 20 10:37:48 CEST 2008
Archived on: Wed Aug 20 10:47:03 CEST 2008

Messages sorted by: [ thread ] [ subject ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).