AMAST Mail - May 2000
Last updated: Mon Jun 05 01:38:56 100
46 messages in chronological order
-
AiML-ICTL 2000: Final Call for Papers
Mon, 1 May 2000 22:33:19 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
-
MPC2000 - 2nd Call for Participation
Tue, 2 May 2000 17:27:56 +0200 (MET DST) -- lsb@di.uminho.pt
-
two new books by L. Wos and G.W. Pieper
Tue, 2 May 2000 17:59:00 +0200 (MET DST) -- wei chen <wchen@wspc.com>
-
Extended Deadline: ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
Tue, 2 May 2000 18:32:26 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
-
reminder: AMiLP 2000 getting close
Tue, 2 May 2000 22:33:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
-
reminder: AMAST 2000 getting close
Tue, 2 May 2000 22:33:41 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
-
SPIN'2000
Tue, 2 May 2000 23:11:20 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
-
LINEAR Summer School (2nd call)
Wed, 3 May 2000 05:33:37 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
-
CSL2000 - 1st call for participation
Wed, 3 May 2000 14:09:23 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
-
NOTERE'2000 : Premier appel a contributions
Fri, 5 May 2000 20:04:14 +0200 (MET DST) -- Notere 2000 <notere@ENST.fr>
-
Knowledge and Information Systems: Vol 2 No 2 (2000)
Sun, 7 May 2000 21:08:27 +0200 (MET DST) -- Xindong Wu <xwu@gauss.Mines.EDU>
-
the deadline of WRLA2000 paper submission is extended]
Mon, 8 May 2000 03:42:32 +0200 (MET DST) -- kokichi@jaist.ac.jp
-
CFCs - SW Arch., Components, and Frameworks
Mon, 8 May 2000 04:56:55 +0200 (MET DST) -- Mohamed Fayad <fayad@cse.unl.edu>
-
CFP: Workshop on Program Generation
Mon, 8 May 2000 13:26:58 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
-
DTP00---Call for Participation
Tue, 9 May 2000 12:45:29 +0200 (MET DST) -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
-
Please update TOOLS references on your pages
Tue, 9 May 2000 23:11:54 +0200 (MET DST) -- Bertrand_Meyer@eiffel.com
-
Call for Papers: CATS 2001
Thu, 11 May 2000 09:36:06 +0200 (MET DST) -- CATS 01 Conference <cats01@it.uq.edu.au>
-
MSCS special issue
Thu, 11 May 2000 12:47:51 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
-
ASIAN'00: Call for Papers
Fri, 12 May 2000 07:08:06 +0200 (MET DST) -- masahiko@kuis.kyoto-u.ac.jp
-
FME 2001: Call for Papers
Fri, 12 May 2000 20:04:38 +0200 (MET DST) -- "Jose N. Oliveira" <jno@di.uminho.pt>
-
TOOLS EUROPE & TOOLS USA Conference Programs
Tue, 16 May 2000 19:31:15 +0200 (MET DST) -- TOOLS Conferences <info@tools-conferences.com>
-
AMAST 2000 latest news
Tue, 16 May 2000 22:31:35 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
-
IFIP TCS2000
Wed, 17 May 2000 09:01:48 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
-
International Masters Programme in COMPUTATIONAL LOGIC
Wed, 17 May 2000 11:50:14 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
-
Project PhD studentship available at Birmingham
Wed, 17 May 2000 18:31:25 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
-
CGIM 2000 (Symposium on GEOMETRIC DESIGN)
Thu, 18 May 2000 09:36:32 +0200 (MET DST) -- "M. Sarfraz" <sarfraz@kfupm.edu.sa>
-
LINEAR Summer School
Fri, 19 May 2000 01:14:41 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
-
FSTTCS 2000: revised Call for Papers
Fri, 19 May 2000 14:08:05 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
-
CADE-17 - 2nd Call for Participation
Fri, 19 May 2000 14:20:56 +0200 (MET DST) -- Frank Pfenning <fp@cs.cmu.edu>
-
the final CFP for WRLA2000
Sun, 21 May 2000 18:24:21 +0200 (MET DST) -- kokichi@jaist.ac.jp
-
FTP 2000 and TABLEAUX 2000 - Call for Participation
Mon, 22 May 2000 14:36:07 +0200 (MET DST) -- Peter Baumgartner <peter@uni-koblenz.de>
-
SAM2000 - June,26-28,2000 Grenoble - Call for Participation
Tue, 23 May 2000 13:51:44 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
-
Call for participation
Tue, 23 May 2000 14:33:50 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
-
CAV 2000 advance program and registration info
Wed, 24 May 2000 07:01:03 +0200 (MET DST) -- "E. Allen Emerson" <emerson@cs.utexas.edu>
-
Faculty Positions
Wed, 24 May 2000 10:10:57 +0200 (MET DST) -- "Ian Cloete" <ian.cloete@i-u.de>
-
ICALP'2000:registration reminder
Wed, 24 May 2000 10:18:20 +0200 (MET DST) -- POWELL Olivier <olivier.powell@cui.unige.ch>
-
SAIG Deadline Extended to June 5th
Wed, 24 May 2000 18:19:08 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
-
SERG Report Announcement
Wed, 24 May 2000 20:54:13 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
-
NWPT'00 - 12th Nordic workshop on programming theory
Thu, 25 May 2000 10:46:39 +0200 (MET DST) -- nwpt00@ii.uib.no
-
Distributed Constraint Satisfaction (Workshop CFP Reminder)
Fri, 26 May 2000 11:50:01 +0200 (MET DST) -- Marius-Calin Silaghi <silaghi@lia.di.epfl.ch>
-
CFP: LPAR'2000, Reunion Island, France
Fri, 26 May 2000 18:54:25 +0200 (MET DST) -- Andrei Voronkov <voronkov@cs.man.ac.uk>
-
RULE 2000
Mon, 29 May 2000 19:09:36 +0200 (MET DST) -- Horatiu Cirstea <Horatiu.Cirstea@loria.fr>
-
FST TCS 2000: One week extension on the submission deadline
Tue, 30 May 2000 14:27:10 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
-
Special Issues of JASS journal
Tue, 30 May 2000 15:37:46 +0200 (MET DST) -- Nikitas Assimakopoulos <assinik@unipi.gr>
-
Postdoc Position in Automated Verification
Tue, 30 May 2000 17:42:31 +0200 (MET DST) -- Ulrich Ultes-Nitsche <uun@ecs.soton.ac.uk>
-
announcement
Wed, 31 May 2000 09:24:50 +0200 (MET DST) -- Chikoidze <chiko@contsys.acnet.ge>
[
April 2000 |
June 2000 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 2000 |
AMAST
]
Mail converted by MHonArc 1.2.3