AMAST Mail - April 2000
Last updated: Tue May 02 22:50:40 100
38 messages in chronological order
-
MPC2000: call for participation
Mon, 3 Apr 2000 11:04:45 +0200 (MET DST) -- Jose Bernardo Barros <jbb@di.uminho.pt>
-
ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
Mon, 3 Apr 2000 11:54:05 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
-
Verteiler
Mon, 3 Apr 2000 12:28:40 +0200 (MET DST) -- Ralf Ziegenbein <24razi@wiwi.uni-muenster.de>
-
Extended Deadline for FTRTFT
Mon, 3 Apr 2000 14:29:13 +0200 (MET DST) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
-
offre d'emploi
Mon, 3 Apr 2000 17:19:51 +0200 (MET DST) -- Maryse Renaud <Maryse.Renaud@sophia.inria.fr>
-
WITS'00 -- last call for paper
Wed, 5 Apr 2000 12:39:22 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
-
CFPs: IEEE ICECCS
Wed, 5 Apr 2000 13:02:23 +0200 (MET DST) -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
-
No Subject
Thu, 6 Apr 2000 08:36:28 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
-
TOOLS Europe 2000 - Call for participation
Thu, 6 Apr 2000 09:56:21 +0200 (MET DST) -- Jean-Marc Jezequel <Jean-Marc.Jezequel@irisa.fr>
-
CADE-17: Call for Participation
Thu, 6 Apr 2000 19:14:39 +0200 (MET DST) -- Frank Pfenning <Frank_Pfenning@raw.fox.cs.cmu.edu>
-
(CFP) TRICS: Techniques foR Implementing Constraint programming Systems
Fri, 7 Apr 2000 00:56:12 +0200 (MET DST) -- Christian Schulte <schulte@ps.uni-sb.de>
-
CFP: EXPRESS'00 workshop
Fri, 7 Apr 2000 08:56:46 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
-
Rewriting Logic Workshop (WRLA) 2000, cfp
Sat, 8 Apr 2000 07:15:41 +0200 (MET DST) -- "Ataru T. Nakagawa" <nakagawa@sra.co.jp>
-
Deadline Extension: ESAW'00 Workshop at ECAI 2000
Mon, 10 Apr 2000 18:54:38 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
-
CFP: ASM 2001 Workshop
Fri, 14 Apr 2000 10:05:06 +0200 (MET DST) -- =?iso-8859-1?Q?Uwe_Gl=E4sser?= <glaesser@uni-paderborn.de>
-
LPAR'2000: call for papers
Fri, 14 Apr 2000 16:21:43 +0200 (MET DST) -- parigot@logique.jussieu.fr
-
FMICS proceedings online
Mon, 17 Apr 2000 17:18:58 +0200 (MET DST) -- "A. Rennoch" <rennoch@fokus.gmd.de>
-
Final CFP: FMCAD 2000 -- Formal Methods in Computer-aided design
Mon, 17 Apr 2000 19:19:17 +0200 (MET DST) -- Steve Johnson <sjohnson@cs.indiana.edu>
-
AMiLP 2000: Programme
Mon, 17 Apr 2000 23:57:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
-
AMAST 2000: Call for Participation
Mon, 17 Apr 2000 23:57:48 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
-
IPL special issue on process algebra
Tue, 18 Apr 2000 13:05:04 +0200 (MET DST) -- Wan.Fokkink@cwi.nl
-
JoRMiCS - electronic Journal on Relational Methods in Computer Science
Tue, 18 Apr 2000 14:15:22 +0200 (MET DST) -- Gunther Schmidt <schmidt@informatik.unibw-muenchen.de>
-
Call for 10 minute slots: Workshop on Generic Programming 2000
Wed, 19 Apr 2000 16:19:18 +0200 (MET DST) -- Johan Jeuring <johanj@cs.uu.nl>
-
IFIP TCS2000 INFORMATION
Thu, 20 Apr 2000 04:28:49 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
-
1st CFP FLOPS2001
Thu, 20 Apr 2000 09:56:28 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
-
Lectureships in Computer Science at Birmingham
Thu, 20 Apr 2000 16:48:49 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
-
Final CFP: Workshop on Advances in VErification (Post-CAV 2000)
Thu, 20 Apr 2000 21:48:11 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
-
No Subject
Fri, 21 Apr 2000 04:07:46 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
-
FORMAL METHODS *ELSEwHeRE* --second CfP
Fri, 21 Apr 2000 16:19:56 +0200 (MET DST) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
-
Extended Deadline for early registration to APPSEM'2000 Summer school
Fri, 21 Apr 2000 17:19:26 +0200 (MET DST) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
-
LICS 2000 Call for Participation and Preliminary Program
Sat, 22 Apr 2000 17:08:58 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
-
JELIA 2000 Final call
Mon, 24 Apr 2000 14:53:52 +0200 (MET DST) -- "JELIA'2000" <jelia@ctima.uma.es>
-
FMCS Deadline Extended
Mon, 24 Apr 2000 17:44:24 +0200 (MET DST) -- Helmut Veith <veith@ux8.sp.cs.cmu.edu>
-
SAS2000: Call for Participation
Tue, 25 Apr 2000 02:29:37 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
-
workshop Autrans (France) June 14th-15th Specification and Validation of reactive systems
Tue, 25 Apr 2000 14:56:03 +0200 (MET DST) -- Andre MARTIN <Andre.Martin@imag.fr>
-
TABLEAUX 2000: Call for Participation
Wed, 26 Apr 2000 12:28:25 +0200 (MET DST) -- Roy Dyckhoff <rd@dcs.st-and.ac.uk>
-
Associate Professorship in Logic in Computer Science, Aarhus, DK
Wed, 26 Apr 2000 16:22:04 +0200 (MET DST) -- Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?= <karenkm@daimi.au.dk>
-
WFLP'2000 (Extended Deadline)
Thu, 27 Apr 2000 14:10:59 +0200 (MET DST) -- Salvador Lucas Alba <slucas@dsic.upv.es>
[
March 2000 |
May 2000 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 2000 |
AMAST
]
Mail converted by MHonArc 1.2.3