AMAST Mail 1998
Last updated: Thu Dec 31 18:51:34 98
301 messages in chronological order
-
ETAPS'98 - Call for participation
98/01/07 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
-
INFINITY '98: Call for Papers (reminder)
98/01/08 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
-
TOOLS USA'98: Conference Announcement and Preliminary Call for Papers
98/01/08 -- Yossi Gil <yogi@cs.technion.ac.il>
-
Conf. Prog.: CSMR98+REF98: Maintenance & Reengineering in Florence
98/01/12 -- csmr98@dsi.UNIFI.IT
-
CFP for MFCS
98/01/13 -- Irene.Guessarian@liafa.jussieu.fr (Irene GUESSARIAN)
-
(fwd:) Mathesius Lecture Series 12
98/01/14 -- scollo@cs.utwente.nl (Pippo Scollo)
-
Int. Workshop COCL'98 - first call for papers
98/01/15 -- P M Hill <hill@scs.leeds.ac.uk>
-
Master Class in Mathematical Logic
98/01/19 -- Jaap van Oosten <jvoosten@math.ruu.nl>
-
First Announcement
98/01/19 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
-
5th WoLLIC'98 - 2nd Call
98/01/20 -- Ruy de Queiroz <ruy@di.ufpe.br>
-
(fwd:) Federated Logic Conference (FLoC'99)
98/01/21 -- scollo@cs.utwente.nl (Pippo Scollo)
-
IRW/FMP'98&TPHOLs'98:Travel Bursaries and Other Announcements
98/01/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
Call For Papers -- IEEE Real-Time Systems Symposium 1998
98/01/29 -- Richard Gerber <rich@cs.umd.edu>
-
PROBMIV'98: 2nd CFP
98/01/30 -- M.Z.Kwiatkowska@cs.bham.ac.uk
-
Call for Papers: FORTE/PSTV'98
98/01/30 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
-
PA EXPO98
98/02/04 -- info@pap.com
-
Doc and Post-doc positions - Verimag, Grenoble
98/02/05 -- Oded Maler <Oded.Maler@imag.fr>
-
Hybrid Systems 98
98/02/09 -- tah@eecs.berkeley.edu (Tom Henzinger)
-
Federated Logic Conference (FLoC'99)
98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
-
FLoC'99: CALL FOR WORKSHOP PROPOSALS
98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
-
Topological Methods in Computer Science
98/02/12 -- Bob Flagg <flagg@usm.maine.edu>
-
ETAPS'98 - early registration until 28/2
98/02/19 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
-
CFP -- Coordination Technologies for Information Systems (CTIS'98)
98/02/20 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
-
Call for Papers: Formal Methods in CAD (FMCAD'98)
98/02/21 -- ganesh@facility.cs.utah.edu
-
ACoS'98/VISUAL'98 - early registration until 28/2
98/02/21 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
-
MFPS 14 Second Announcement
98/02/22 -- Michael Mislove <mwm@math.tulane.edu>
-
CFP: ISLIP'98
98/02/23 -- Mehmet ORGUN <mehmet@mpce.mq.edu.au>
-
CONCUR98: final CFP (EXTENDED deadline)
98/02/26 -- Davide.Sangiorgi@sophia.inria.fr
-
CFP - Computer Communications Special issue on FDTs in Practice
98/03/02 -- Dr Richard Lai <lai@ubd.edu.bn>
-
FSTTCS 98, 1st Call for Papers
98/03/02 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
-
CFP: Sixth CALCULEMUS and TYPES Workshop
98/03/06 -- Calculemus and Types 98 <calc@win.tue.nl>
-
PROBMIV'98: Final CFP
98/03/06 -- M.Z.Kwiatkowska@cs.bham.ac.uk
-
(fwd) ANNOUNCING: Xy-pic version 3.6 released!
98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
-
(fwd) Two Assistant Professor positions at IT Dept. of DTU, Lyngby, Denmark
98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
-
(fwd) 2nd CfP: *** FM-TRENDS 98 ***
98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
-
PA EXPO98-Final Call for Participation
98/03/10 -- info@pap.com
-
INFINITY'98: last call for papers
98/03/10 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
-
SAS and PLILP/ALP 98, 2nd CFP
98/03/11 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
-
FORTE/PSTV'98 -- 2nd Call for Papers
98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
-
5th WoLLIC'98 - 3rd Call
98/03/11 -- Ruy de Queiroz <ruy@di.ufpe.br>
-
CFP - Special session in FORTE/PSTV'98
98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
-
XIII SBMicro
98/03/11 -- Ivan Jorge Chueiri <chueiri@lac.copel.br>
-
Revised CFP TARK98
98/03/13 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
-
(fwd) 10th Int'l Lipari School: Distributed Systems and Security
98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
-
(fwd) AMAST'98 FIRST CFP (Spread the news)
98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
-
CFP Graph Drawing '98
98/03/16 -- Roberto Tamassia <rt@cs.brown.edu>
-
2nd CFP - IEEE Real-Time Systems Symposium 1998 (RTSS '98)
98/03/16 -- Richard Gerber <rich@cs.umd.edu>
-
Ann: School on Specification, Refinement, and Verification
98/03/16 -- Johan.Lilius@abo.fi
-
FLoC'99
98/03/16 -- Alan Hu <ajh@cs.ubc.ca>
-
PA EXPO98 Conference and Exhibition Details
98/03/16 -- info@pap.com
-
CSL-98 Call For Papers
98/03/17 -- Computer Science Logic <csl@dbai.tuwien.ac.at>
-
ICALP '98: List of Accepted Papers
98/03/17 -- Uffe Henrik Engberg <engberg@brics.dk>
-
(fwd) Having an influence on funding for basic research in Framework 5
98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
-
(fwd) Call for participation: MPC'98
98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
-
CfP: Estelle'98 - Int. Workshop on the FDT Estelle
98/03/17 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
-
(fwd) AMAST'98 First CFP, Corrected Dates
98/03/18 -- scollo@cs.utwente.nl (Pippo Scollo)
-
WESIC'98 - Call for participation
98/03/18 -- Joaquim Armengol Llobet <armengol@silver.udg.es>
-
FMOODS '99: call for papers
98/03/19 -- mascolo@CS.UniBO.IT (Cecilia Mascolo)
-
2nd CfP PAPM98
98/03/20 -- Corrado Priami <priami@biotech.sci.univr.it>
-
WRLA'98 CALL FOR PAPERS
98/03/26 -- Helene Kirchner <Helene.Kirchner@loria.fr>
-
Second Call for Participation TABLEAUX'98
98/03/26 -- "H. de Swart" <H.C.M.deSwart@kub.nl>
-
FV benchmarks - http://godel.ece.utexas.edu/texas97-benchmarks/
98/03/26 -- Adnan Aziz <adnan@tarski.ece.utexas.edu>
-
IRW/FMP'98 Final Call For Papers (Completed Work Category)
98/03/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
IRW/FMP'98 Correction Final Call For Papers (Completed Work Category)
98/03/30 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
WoLLIC'98 - Extended Deadline
98/04/01 -- Ruy de Queiroz <ruy@di.ufpe.br>
-
SAS'98 extended deadline
98/04/08 -- Giorgio Levi <levi@DI.Unipi.IT>
-
COCL'98 second call for papers
98/04/09 -- P M Hill <hill@scs.leeds.ac.uk>
-
RealComp'98 - Call for Participation
98/04/10 -- Philipp Sunderhauf <ps15@doc.ic.ac.uk>
-
STTT'98 - Int. Workshop on Software Tools for Technology Transfer
98/04/15 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
-
Reminder LOFT3 conference
98/04/15 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
-
PROCOMET '98---Call for participation
98/04/15 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
-
COCL'98 2nd call for papers
98/04/16 -- P M Hill <hill@scs.leeds.ac.uk>
-
CFP INAP98
98/04/17 -- Oskar Bartenstein <oskar@IFComputer.co.jp>
-
CAV'98 Advance Program
98/04/19 -- Alan Hu <ajh@cs.ubc.ca>
-
FSTTCS 98, Second Call for Papers (ASCII)
98/04/20 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
-
Workshop on ``Verification, model checking....''
98/04/21 -- Francesca Levi <levifran@DI.Unipi.IT>
-
COTIC98
98/04/22 -- Frank de Boer <frankb@cs.ruu.nl>
-
PA EXPO98 Report
98/04/22 -- info@pap.com
-
CFP: Tool Support for System Specification, Development and Verification
98/04/24 -- Tool Support 1998 <tools98@informatik.uni-kiel.de>
-
Final CFP: CALCULEMUS AND TYPES 98
98/04/24 -- Calculemus and Types 98 <calc@win.tue.nl>
-
Prolamat 98: Call for participation and Program
98/04/24 -- Prolamat 1998 <prolamat_owner@lii.unitn.it>
-
(latex) ARTS'99 Preliminary Call for Papers
98/04/29 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
-
Second Call for Papers
98/04/30 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
-
Academic Positions - CS Dept - Univ of Cyprus
98/04/30 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
-
ARTS'99 Preliminary Call for Papers (plain text)
98/05/01 -- scollo@cs.utwente.nl (Pippo Scollo)
-
PROBMIV'98: Call for Participation
98/05/01 -- M.Z.Kwiatkowska@cs.bham.ac.uk
-
CFP: ACM SAC'99 - Track on Coordination
98/05/05 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
-
FSTTCS 98, Deadline Extended, Final Call for Papers (ASCII)
98/05/06 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
-
PROCOMET'98 registration extended
98/05/07 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
-
ICALP'98: Call for Participation
98/05/07 -- Uffe Henrik Engberg <engberg@brics.dk>
-
RealComp'98: CFP and preliminary programme
98/05/08 -- Philipp Suenderhauf <suenderh@dag.uni-sb.de>
-
Reminders: FLoC'99 call for workshops and LICS'98 early registration
98/05/08 -- Leonid Libkin <libkin@research.bell-labs.com>
-
WRLA'98 last call
98/05/10 -- Helene Kirchner <Helene.Kirchner@loria.fr>
-
POPL99 Call for Papers
98/05/11 -- Alex Aiken <aiken@cs.berkeley.edu>
-
PAPM98 - Last Remainder
98/05/11 -- Corrado Priami <priami@sci.univr.it>
-
FEmSys'99 - First Announcement/Call for Exhibitors
98/05/12 -- Axel Poigne <ap@borneo.gmd.de>
-
Announce 3 AFP
98/05/12 -- lsb@di.uminho.pt (Luis Soares Barbosa)
-
CAV'98 Tutorials
98/05/14 -- Alan Hu <ajh@cs.ubc.ca>
-
CONCUR '98: ACCEPTED PAPERS (and general infos)
98/05/20 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
-
School Announcement
98/05/21 -- Sergio Yovine <sergio@PATH.Berkeley.EDU>
-
COCL'98 Final Call for Papers
98/05/22 -- P M Hill <hill@scs.leeds.ac.uk>
-
Tool exhibition STTT'98 - Int. Workshop on Software Tools for Technology Transfer
98/05/22 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
-
ICALP'98: 2nd Call for Participation
98/05/25 -- Uffe Henrik Engberg <engberg@brics.dk>
-
FSTTCS 98, Final Reminder
98/05/26 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
-
No Subject
98/05/28 -- Francesca Levi <flevi@sophia.inria.fr>
-
Design of Intelligent Multi-Agent Systems
98/05/28 -- jonker@cs.vu.nl (CM Jonker)
-
COCL'98 EXTENDED DEADLINE
98/05/28 -- P M Hill <hill@scs.leeds.ac.uk>
-
Preliminary Announcement and CFP: COORDINATION 99
98/05/29 -- Farhad.Arbab@cwi.nl
-
Semantics of Objects as Processes - SOAP (satellite of ICALP'98)
98/05/29 -- Uwe Nestmann <uwe@cs.auc.dk>
-
FM'99: World Congress on Formal Methods
98/05/29 -- Dines Bjorner <db@it.dtu.dk>
-
Last CFP: WS on Principles of Abstract Machines
98/05/29 -- Stephan Diehl <diehl@cs.uni-sb.de>
-
Guest Positions
98/05/29 -- Steffen Hoelldobler <sh@star7.inf.tu-dresden.de>
-
TARK VII - CALL FOR PARTICIPATION
98/05/29 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
-
Calculemus and Types 98: Call for Participation and Program
98/06/02 -- Calculemus and Types 98 <calc@win.tue.nl>
-
CFP COTIC98
98/06/02 -- Frank de Boer <frankb@cs.uu.nl>
-
TACAS '99 Call for papers
98/06/04 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
-
Postdoctoral Research Fellowship
98/06/04 -- M.Z.Kwiatkowska@cs.bham.ac.uk
-
CONCUR'98: PROGRAMME and CALL for PARTICIPATION
98/06/06 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
-
PAAM99 CFP
98/06/06 -- info@pap.com
-
Formal Underpinnings of Java
98/06/07 -- Susan Eisenbach <se@doc.ic.ac.uk>
-
fmoods '99 cfp
98/06/10 -- Mario Bravetti <bravetti@cs.unibo.it>
-
AMAST'98 Last Call for Papers
98/06/10 -- Marcelo Frias <mfrias@inf.puc-rio.br>
-
FM'99: World Congress on Formal Methods, Toulouse, 20-24 Sept.1999
98/06/11 -- Dines Bjorner <db@it.dtu.dk>
-
ETAPS'99
98/06/11 -- Simone Panka <Simone.Panka@cwi.nl>
-
No Subject
98/06/11 -- Kaisa Sere IB <kaisa@ra.abo.fi>
-
Chair in computer science at Birmingham University
98/06/15 -- A.Sloman@cs.bham.ac.uk
-
WD4: Extended Deadline
98/06/15 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
-
No Subject
98/06/15 -- Francesca Levi <flevi@sophia.inria.fr>
-
Research Posts Available in Glasgow
98/06/17 -- "Dr. Muffy Thomas, Dept. of Computing Science, University of Glasgow" <muffy@dcs.gla.ac.uk>
-
MONA: WS1S and WS2S decision procedure
98/06/19 -- Anders Moller <amoeller@daimi.aau.dk>
-
Academic Positions - CS Dept - Univ of Cyprus
98/06/24 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
-
PAPM'98 Accepted Papers
98/06/25 -- Corrado Priami <priami@sci.univr.it>
-
PADD99 CFP
98/06/27 -- info@pap.com
-
Lectureship in Theoretical Computer Science
98/06/29 -- Matthew Hennessy <matthewh@cogs.susx.ac.uk>
-
AFP 2nd Call
98/06/29 -- lsb@di.uminho.pt (Luis Soares Barbosa)
-
POPL'99 Final Call for Papers
98/07/02 -- Alex Aiken <aiken@cs.berkeley.edu>
-
PAPM98 - Preliminary Programme
98/07/02 -- Corrado Priami <priami@sci.univr.it>
-
IRW/FMP'98 Call For Participation
98/07/05 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
research studentships at Oxford
98/07/06 -- "Oege de Moor" <Oege.de.Moor@comlab.ox.ac.uk>
-
Call for Papers: PADL'99
98/07/07 -- Logic Programming Rsrch Association <complog@cs.nmsu.edu>
-
ARTS'99 on AMAST web-site
98/07/07 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
-
INAP98 Program Preview and last CFP
98/07/08 -- oskar@pikas.inf.tu-dresden.de
-
Lectureship in Birmingham
98/07/08 -- Achim Jung <axj@cs.bham.ac.uk>
-
CSL'99 First Call for Papers (Text and LaTex Versions)
98/07/08 -- Eva Ullan <evah@eucmax.sim.ucm.es>
-
RA-position in Birmingham
98/07/09 -- Eike Ritter <E.Ritter@cs.bham.ac.uk>
-
Kanellakis Award
98/07/10 -- Moshe Vardi <vardi@cs.rice.edu>
-
PLILP/ALP and SAS 98 Registration
98/07/10 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
-
TR: Trust and Partial Typing in Open Systems of Mobile Agents
98/07/13 -- James Riely <jamesri@cogs.susx.ac.uk>
-
SAS and PLILP/ALP 98 Call for Participation
98/07/14 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
-
Last CFP: ACM SAC'99 - Track on Coordination
98/07/16 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
-
TABLEAUX'99
98/07/16 -- Neil Murray <nvm@cs.albany.edu>
-
IRW/FMP'98 Call For Work in Progress Papers
98/07/17 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
Functional Verification Job Opportunity
98/07/18 -- kukula@synopsys.com
-
PA JAVA99 - Call for Papers
98/07/18 -- info@pap.com
-
WRLA'98 Call for Participation
98/07/21 -- Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
-
java Workshop Reminder
98/07/21 -- Susan Eisenbach <se@doc.ic.ac.uk>
-
AI-ED99 Le-Mans France
98/07/22 -- Jacques Bonet <jhbonet@club-internet.fr>
-
FM'99 World Congress on Formal methods, 20-24 Sept. 1999, Toulouse, France
98/07/22 -- Dines Bjorner <db@it.dtu.dk>
-
PACLP99 CFP
98/07/22 -- info@pap.com
-
COONCUR'98 Last Call for Participation
98/07/23 -- Robert Desimone <Robert.De_Simone@sophia.inria.fr>
-
Call for Submission CMCS '99
98/07/23 -- Simone Panka <Simone.Panka@cwi.nl>
-
Reminder: DCCA deadline approaching
98/07/24 -- John Rushby <rushby@csl.sri.com>
-
Graph Drawing '98 program and late registration
98/07/24 -- "Prof. Sue WHITESIDES" <sue@CS.McGill.CA>
-
FM'99: World Congress on Formal Methods,20-24 Sept.1999, Toulouse, France
98/07/24 -- Dines Bjorner <db@it.dtu.dk>
-
ICEIS 99 Call for Papers
98/07/25 -- "=?iso-8859-1?Q?Jos=E9_M._L._Braz_Pereira?=" <j.braz@mail.EUnet.pt>
-
PAKeM99 CFP
98/07/25 -- info@pap.com
-
Visiting Position
98/07/25 -- Klaus Keimel <keimel@mathematik.tu-darmstadt.de>
-
PADL 99
98/07/27 -- Logic Programming Rsrch Association <complog@cs.nmsu.edu>
-
CALL FOR PARTICIPATION: COCL'98
98/07/27 -- P M Hill <hill@scs.leeds.ac.uk>
-
Postdoctoral Position
98/07/29 -- Sofiene Tahar <tahar@ece.concordia.ca>
-
Kanellakis Award
98/07/29 -- Moshe Vardi <vardi@cs.rice.edu>
-
postdoctoral position at Oxford
98/07/29 -- "Oege de Moor" <Oege.de.Moor@comlab.ox.ac.uk>
-
14th WADT - Please pre-register !
98/07/29 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
-
Lectureships at Queen Mary and Westfield
98/07/30 -- Edmund Robinson <edmundr@dcs.qmw.ac.uk>
-
School on Computational Aspects and Applications of Hybrid Systems
98/07/31 -- Sergio Yovine <sergio@PATH.Berkeley.EDU>
-
OW London `98
98/08/03 -- Roberto Zicari <zicari@ltt.de>
-
FSTTCS 98, List of Accepted Papers
98/08/04 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
-
NWPT'98: Call for Abstracts
98/08/04 -- Kaisa Sere IB <kaisa@ra.abo.fi>
-
COTIC 98, Call for Participation
98/08/04 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
-
FMCAD '98 ANNOUNCEMENT
98/08/08 -- "Jacqueline Brakey" <jbrakey@admin.dce.utah.edu>
-
Last call for participation: WRLA'98
98/08/10 -- Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
-
1999 AAAI Symposium on Hybrid Systems and AI
98/08/15 -- Howard Wong-Toi <howard@Cadence.COM>
-
IRW/FMP'98 Early Registration Closing
98/08/17 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
-
TACAS 99 Call for Papers
98/08/18 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
-
MFPS Call for Papers
98/08/18 -- Michael Mislove <mwm@math.tulane.edu>
-
ICFEM'98 Call for Tutorials and Preliminary Programme
98/08/19 -- Colin Fidge <cjf@it.uq.edu.au>
-
Call for papers
98/08/21 -- Simone Panka <Simone.Panka@cwi.nl>
-
Research Associate Post: Hardware Verification
98/08/21 -- Alan Williams <alanw@cs.man.ac.uk>
-
RTSS '98 - Call for Participation
98/08/24 -- rich@cs.umd.edu (Richard Gerber)
-
conference announcement
98/08/25 -- "Alexandre Zamulin" <zam@iis.nsk.su>
-
Call for Papers -- ARTS'99
98/08/26 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
-
14th WADT - Please pre-register !
98/08/28 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
-
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>
-
SUPERVISOR/RESEARCH ENGINEER POSITION
98/10/01 -- burns@raid.cas.mcmaster.ca (Doris Burns)
-
FMCAD Lodging Reservation phone/fax number change
98/10/01 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
-
postdoc funded by Microsoft
98/10/02 -- Oege de Moor <oege@comlab.ox.ac.uk>
-
IEEE RTSS'98 - Program, Registration Info, Related Events
98/10/06 -- rich@cs.umd.edu (Richard Gerber)
-
submission
98/10/06 -- "Alice E. Smith" <aesmith@engrng.pitt.edu>
-
ICSEA 98
98/10/07 -- rault@cnam.fr (Jean-Claude RAULT)
-
CFP2 for PSI'99
98/10/08 -- "Alexandre Zamulin" <zam@iis.nsk.su>
-
AMAST Mini-Track at FM'99
98/10/12 -- Teodor Rus <rus@cs.uiowa.edu>
-
(fwd) Call for Participation: FORTE/PSTV'98, Estelle'98, SPIN'98
98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
-
(fwd) Welcome [PAPM mailing list]
98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
-
CfParticipation: ICFEM'98, Australia, December
98/10/20 -- Colin Fidge <cjf@it.uq.edu.au>
-
Lipari School 99 on "Computational Biology"
98/10/20 -- "ferro alfredo" <ferro@dipmat.unict.it>
-
International Masters Programme in Computational Logic
98/10/20 -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
-
Two PhD Studentships in Logic and Theorem Proving
98/10/20 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
-
Workshop Announcement & First Call for Papers
98/10/21 -- pkuehnle@lili.uni-bielefeld.de
-
Second call for submission/participation
98/10/22 -- Simone Panka <Simone.Panka@cwi.nl>
-
Faculty Positions
98/10/26 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
-
LOPSTR'99: call-for-papers
98/10/26 -- Annalisa Bossi <bossi@dsi.unive.it>
-
6th WoLLIC'99 - 2nd CFP
98/10/27 -- Ruy de Queiroz <ruy@di.ufpe.br>
-
PaCT-99 Conference
98/10/28 -- PaCT-99 Conference <pact99@ssd2.sscc.ru>
-
Research Positions at BRICS Research Centre and Int. PhD School
98/10/29 -- Uffe Henrik Engberg <engberg@brics.dk>
-
9th SDL FORUM/ Call For Papers
98/10/29 -- dssouli@IRO.UMontreal.CA (Rachida Dssouli)
-
Extension deadline ARTS'99
98/10/30 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
-
AI-ED99 news # 1 october 98 (Artificial intelligence and education conference in Le Mans France)
98/10/30 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
-
(fwd) SPIN98 Workshop -- final details
98/10/30 -- scollo@cs.utwente.nl (Pippo Scollo)
-
PACLP99 Final CFP
98/10/31 -- info@pap.com
-
CRL Report Announcement
98/11/03 -- burns@raid.cas.mcmaster.ca (Doris Burns)
-
FLOPS'99 Call for Papers
98/11/04 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
-
PAKeM99 Final CFP
98/11/04 -- info@pap.com
-
AMAST'98 - Call for Participation
98/11/04 -- Daniela Cardoso <daniela@inf.puc-rio.br>
-
Submission deadline
98/11/04 -- mfps account <mfps@math.tulane.edu>
-
Announcement
98/11/05 -- "ramon jansana" <jansana@mat.ub.es>
-
AMAST'98 Tentative Program for Accompanying persons
98/11/11 -- Armando Haeberer <armando@inf.puc-rio.br>
-
PAAM99 Call for Papers
98/11/11 -- practical-applications@pap.com
-
FMOODS99 Preliminary programme
98/11/14 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
-
(fwd) TWLT 14: Language Technology in Multimedia Information Retrieval
98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
-
(fwd) Info. on visa requirement for Brazil
98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
-
CFP: CAV'99
98/11/18 -- Cav99 <cav99@glandasse.imag.fr>
-
Special Seminar: Reactive Systems
98/11/18 -- Oded Maler <Oded.Maler@imag.fr>
-
CfParticipation: FMDS'98
98/11/19 -- Colin Fidge <cjf@it.uq.edu.au>
-
ERCIM Fellowship Programme - Formal methods in embedded systems
98/11/20 -- Axel Poigne <poigne@gmd.de>
-
Professorship in Programming Theory, University of Bergen
98/11/20 -- magne@ii.uib.no (Magne Haveraaen local)
-
BRICS Int. PhD School: Call for Admission and Grant Applications
98/11/20 -- Uffe Henrik Engberg <engberg@brics.dk>
-
Open positions: Scientific Assistantships in Formal Methods
98/11/24 -- Bernhard Beckert <beckert@ira.uka.de>
-
GETGRATS grants: Call for Applications
98/11/27 -- Andrea Corradini <andrea@di.unipi.it>
-
PAAM99 CFP and Conference Update
98/12/01 -- practical-applications@pap.com
-
FMOODS'99 - Grants and Early registration deadlines - REMINDER
98/12/01 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
-
IJCNN'99
98/12/01 -- "Kitty Ko" <kittyko@commerce.otago.ac.nz>
-
CF99
98/12/01 -- "Kitty Ko" <kittyko@commerce.otago.ac.nz>
-
"FEmSys99:_Final_Program"
98/12/02 -- Axel Poigne <ap@borneo.gmd.de>
-
Final Call for Submission CMCS '99
98/12/02 -- Simone Panka <Simone.Panka@cwi.nl>
-
Call for papers CONCUR'99
98/12/03 -- sjouke@win.tue.nl (Sjouke Mauw)
-
Call for Papers CHARME'99
98/12/04 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
-
Positions in Programming Theory, University of Bergen
98/12/09 -- magne@ii.uib.no (Magne Haveraaen local)
-
ELAN
98/12/09 -- Helene Kirchner <Helene.Kirchner@loria.fr>
-
TACAS '99 Accepted Papers
98/12/10 -- Rance Cleaveland <rance@cs.sunysb.edu>
-
FCT'99 Announcement and Call For Papers
98/12/10 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
-
[CFP] UML'99
98/12/11 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
-
AI-ED99 Le Mans France July 19-23
98/12/11 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
-
(fwd) PAPM'99
98/12/12 -- scollo@cs.utwente.nl (Pippo Scollo)
-
Reminder, CEC99 Deadline Jan 15, 1999
98/12/14 -- Bill Punch <punch@cse.msu.edu>
-
LOPSTR'99: call-for-papers
98/12/14 -- Annalisa Bossi <bossi@dsi.unive.it>
-
FCT'99 Announcement and Call For Papers
98/12/14 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
-
Research Associate Post, Manchester UK: Hardware Verification
98/12/16 -- Alan Williams <alanw@cs.man.ac.uk>
-
EuroPar 99 / Toulouse
98/12/17 -- Gilles Motet <motet@dge.insa-tlse.fr>
-
CFP - AGTIVE Workshop on Graph Transformation
98/12/17 -- schuerr@hermes.informatik.unibw-muenchen.de (Andy Schuerr)
-
LPNMR'99 Dec 2-4, 1999 (changed date!) CFP
98/12/18 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
-
CONCUR'99 CFP
98/12/21 -- sjouke@win.tue.nl (Sjouke Mauw)
-
WAIT99 - Preliminary Call for Papers
98/12/21 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
-
Book Announcement: Program Development by Refinement - Case Studies using B
98/12/22 -- Emil Sekerinski <emil@mcmaster.ca>
-
PA Expo99 Final Call for Papers
98/12/31 -- practical-applications@pap.com
[
Latest Update |
AMAST Mail Meta-Index |
AMAST
]
Mail converted by MHonArc 1.2.3