AMAST Mail - September 1998
Last updated: Fri Oct 02 12:27:10 98
38 messages in chronological order
LPNMR'99 Call for Papers
98/09/02 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
Re: STACS'99: Call for Papers
98/09/03 -- <Sophie.Tison@lifl.fr>
PAPM'99 -- Preliminary call for papers
98/09/03 -- Jane Hillston <jeh@dcs.ed.ac.uk>
Final call for participation for COCL98
98/09/03 -- P M Hill <hill@scs.leeds.ac.uk>
14th WADT - Please pre-register !
98/09/03 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
TACAS'99 - Call for Contributions
98/09/06 -- Tiziana Margaria <tiziana@guiness.informatik.uni-dortmund.de>
(fwd) Job Opportunity
98/09/07 -- scollo@cs.utwente.nl (Pippo Scollo)
PA Expo99
98/09/09 -- info@pap.com
"FEmSys99_SECOND_Announcement"
98/09/09 -- Axel Poigne <ap@borneo.gmd.de>
AMAST'98 Preliminary Call for Participation
98/09/09 -- scollo@cs.utwente.nl (Pippo Scollo)
Registration ICFEM'98 and Call for Papers FMDS'98
98/09/11 -- Colin Fidge <cjf@it.uq.edu.au>
Call for Participation: FM-TRENDS 98
98/09/11 -- Dieter Hutter <hutter@dfki.de>
CFP: CAV'99
98/09/11 -- Cav99 <cav99@glandasse.imag.fr>
PA Expo99
98/09/12 -- info@pap.com
LICS'99: Call for Papers (text & LaTeX)
98/09/13 -- Leonid Libkin <libkin@research.bell-labs.com>
Please Post
98/09/15 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
Tools from Language Definitions (GTLD'99)
98/09/15 -- Arie van Deursen <Arie.van.Deursen@cwi.nl>
(fwd) CFP - Computer Communications Special Issue on FDTs in Practice
98/09/15 -- scollo@cs.utwente.nl (Pippo Scollo)
SGM: A New Verification Tool
98/09/16 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
ARTS'99 -- Final Call for Papers
98/09/16 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
CFP, CEC 99
98/09/16 -- Bill Punch <punch@cse.msu.edu>
CRL Report Announcement
98/09/16 -- burns@raid.cas.mcmaster.ca (Doris Burns)
Remdinder ETAPS 99
98/09/17 -- Simone Panka <Simone.Panka@cwi.nl>
Book announcement
98/09/17 -- scollo@cs.utwente.nl (Pippo Scollo)
(fwd) Applied Logic PhD
98/09/17 -- scollo@cs.utwente.nl (Pippo Scollo)
Announcing A Computing Research Repository
98/09/17 -- Joseph Halpern <halpern@CS.Cornell.EDU>
(fwd) Positions at Concordia
98/09/18 -- scollo@cs.utwente.nl (Pippo Scollo)
Ph.D. student places and grants available in TUCS
98/09/18 -- Johan.Lilius@abo.fi
Announcement: CEC99 Contests.
98/09/22 -- "Dan Ashlock, 438 Carver, 294-7965" <danwell@iastate.edu>
ICTCS98
98/09/22 -- pirillo <pirillo@udini.math.unifi.it>
FSTTCS 98, Call for Participation
98/09/24 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
ICTCS98 addendum fellowships PhD students
98/09/24 -- GIUSEPPE PIRILLO <PIRILLO@udini.math.unifi.it>
Book: "Theorem Proving with the Real Numbers"
98/09/25 -- John Harrison <John.Harrison@cl.cam.ac.uk>
cfp: WAGA99
98/09/25 -- Marjan Mernik <marjan.mernik@uni-mb.si>
CSL'99 2nd CFP *deadlines modified* (Text & LaTex versions)
98/09/25 -- Eva Ullan <evah@eucmax.sim.ucm.es>
FM CAD 98 UPDATE
98/09/25 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
(fwd) Call for Participation: FORTE/PSTV'98, Estelle'98, SPIN'98
98/09/30 -- scollo@cs.utwente.nl (Pippo Scollo)
FMCAD 98 UPDATE 9/30
98/09/30 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
[
August 1998
|
October 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1998
|
AMAST
]
Mail converted by
MHonArc
1.2.3