AMAST Mail - March 1999
Last updated: Mon Apr 12 03:17:37 99
43 messages in chronological order
OOSDS'99 CALL FOR PAPERS
99/03/01 -- Natalia Ioustinova <ustin@informatik.uni-rostock.de>
Extended Deadline: PDPTA-99 Codesign Session
99/03/02 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
FSTTCS '99, First Call for Papers
99/03/02 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
2nd announcement Meeting in Barcelona
99/03/04 -- Rafel Farre <farre@grec.upc.es>
Call-for-Paper JIT99
99/03/04 -- Jit Conference <jit99@informatik.uni-rostock.de>
cfp SAS'99 - Venice
99/03/04 -- Agostino Cortesi <cortesi@dsi.unive.it>
extended deadline/session on coordination in PDPTA'99
99/03/05 -- Khalil Drira <khalil@laas.fr>
14th WADT - Call for Abstracts
99/03/05 -- Christine Choppy <christine.choppy@lipn.univ-paris13.fr>
CHARME'99 - Final Call for Papers
99/03/05 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
I need information on constraint satisfaction
99/03/05 -- Gabriela Figueroa Quiroz <gfq@praxis.com.mx>
FORTE/PSTV'99 - Last Call for Papers
99/03/08 -- Samuel Chanson <chanson@cs.ust.hk>
Computer Science Logic Conference (CSL'99)
99/03/08 -- Eva Ullan <evah@eucmax.sim.ucm.es>
[CFP:] UML'99 (2nd Call For Paper)
99/03/08 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
6thSPIN99: The 6th International SPIN Workshop on Practical Aspects of Model Checking
99/03/08 -- Stefan Leue <sleue@fee.uwaterloo.ca>
Report on verification of unknown number of processes
99/03/10 -- farn@iis.sinica.edu.tw (Farn Wang)
[CFP:] Special Session on Coordination in Parallel and Distributed Aplications and Activities
99/03/11 -- Philippe.Hunel@univ-pau.fr (Philippe HUNEL)
CFPs: METICS99
99/03/11 -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
CRL Report Announcement
99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
CRL Report 371
99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
FCT'99 Final CFP
99/03/13 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
*** FLOC-99 --- WORKSHOP AND CONTEST ON INDUCTIVE THEOREM PROVING ***
99/03/15 -- Dieter Hutter <hutter@dfki.de>
PA Expo99 (PAAM, PACLP, PAKeM, PA Java, PADD): Call for Participation
99/03/15 -- info@pap.com
2nd CfP: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
99/03/15 -- Dennis Dams <D.R.Dams@ele.tue.nl>
Research scholarships available at Birmingham
99/03/16 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
CFP: School on Modeling and Verification
99/03/17 -- Roberto Amadio <amadio@gyptis.univ-mrs.fr>
PhD grants - GKLI in Munich
99/03/17 -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
No Subject
99/03/17 -- Maddux <maddux@iastate.edu>
PROBMIV'99: Call for Papers
99/03/18 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
Final CFP: SMC99
99/03/19 -- Alessandro Cimatti <cimatti@irst.itc.it>
CFP: High Assurance Systems Engineering (April 7 Deadline)
99/03/20 -- "David B. Stewart" <dstewart@eng.umd.edu>
For Amast
99/03/21 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
Postdoctorate Grant at Dresden University of Technology
99/03/21 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
extended deadline ESSLLI'99 Student Session - Computation and Logic&Computation sections
99/03/22 -- amalia@liia.u-strasbg.fr
FCT'99 - Deadline Extension !
99/03/24 -- "FCT'99 Organizing Committee" <fct99@infoiasi.ro>
Two PhD Studentships in Logic and Theorem Proving
99/03/25 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
WAIT99 - Call for Papers
99/03/25 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
CRL Report Announcement
99/03/25 -- burns@raid.cas.mcmaster.ca (Doris Burns)
FLoC'99 (Federated Logic Conference): Call for Participation
99/03/29 -- Leonid Libkin <Leonid.Libkin@inria.fr>
Call for Participation ARTS'99
99/03/30 -- Tagung Arts99 <arts99@immd7.informatik.uni-erlangen.de>
DEADLINE EXTENDED: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
99/03/31 -- Dennis Dams <D.R.Dams@ele.tue.nl>
FLOPS'99 - Second Call for Papers
99/03/31 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
[SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP-Reminder)
99/03/31 -- Uwe Nestmann <uwe@cs.auc.dk>
HASE 99: Deadline Extension for Submissions
99/03/31 -- "David B. Stewart" <dstewart@eng.umd.edu>
[
February 1999
|
April 1999
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1999
|
AMAST
]
Mail converted by
MHonArc
1.2.3