cofi-language Mail Archive Threads 2001
Thread index
Last updated: Tue Feb 26 18:12:47 2002
22 messages
WADT/CoFI 2001 - FINAL CALL FOR ABSTRACTS,
wadt2001
WADT/CoFI 2001 - DEADLINE EXTENSION,
TR
Reminder: Basic datatypes,
till
Research assistant positions in Bremen,
till
Re: Towards a new version of the CASL Basic Datatypes,
Peter D. Mosses
More on the Basic Datatypes,
till
Deadline for CASL 1.0.1 changes,
Till Mossakowski
ETAPS 2001: SECOND CALL FOR PARTICIPATION,
Etaps 2001
CASL v1.0.1 released,
Peter D. Mosses
New version of the CASL Basic Datatypes,
Till Mossakowski
[CoFI] Language Design Task Group Meeting, 3 April, Genova,
Peter D. Mosses
URGENT - CoFI Language Design publications,
pdmosses
[CoFI] Language Design Task Group Meeting - Minutes,
pdmosses
CASL - Basic Datatypes,
Markus Roggenbach
CASL - Symbol maps with default mechanism,
Till Mossakowski
ETAPS 2003: CALL FOR SATELLITE EVENT PROPOSALS,
etaps03
ETAPS 2002, CALL FOR SUBMISSIONS - TOOL DEMOS, ...,
etaps02.VERIMAG
Mail converted by MHonArc 2.4.6