From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2102 Path: news.gmane.org!not-for-mail From: etaps03@mimuw.edu.pl (Konferencja ETAPS'03) Newsgroups: gmane.science.mathematics.categories Subject: ETAPS 2003 - call for participation Date: Tue, 14 Jan 2003 16:31:07 +0100 Message-ID: <20030114153107.66E73592D@duch.mimuw.edu.pl> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018413 2496 80.91.229.2 (29 Apr 2009 15:20:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:20:13 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jan 15 14:16:55 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 15 Jan 2003 14:16:55 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18Ys0y-0007MC-00 for categories-list@mta.ca; Wed, 15 Jan 2003 14:11:48 -0400 X-Virus-Scanned: by amavisd-new Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 127 Xref: news.gmane.org gmane.science.mathematics.categories:2102 Archived-At: We apologize if you receive multiple copies of this message. ********************************************************** *** *** *** ETAPS 2003 *** *** Warsaw, Poland, April, 5-13, 2003 *** *** *** *** CALL FOR PARTICIPATION *** *** *** *** !!!! REGISTER NOW !!!! *** *** *** *** http://www.mimuw.edu.pl/etaps03/ *** *** *** ********************************************************** ********************************************************** *** *** *** Important Dates *** *** *** *** January 31 - Grant Application Deadline *** *** February 5 - Discount Registration Deadline *** *** March 3 - Early Registration Deadline *** *** March 31 - End of Online Registration *** *** *** *** April 5-13 - ETAPS 03 *** *** *** ********************************************************** ----------------------------------------------------------------------- 5 Conferences - 15 Workshops - 7 Tutorials ----------------------------------------------------------------------- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2003: International Conference on Compiler Construction http://www.cs.lth.se/~gorel/cc03/ Chair: Gorel Hedin (Lund, Sweden), gorel@cs.lth.se ESOP 2003, European Symposium on Programming http://www.di.unipi.it/ESOP03/ Chair: Pierpaolo Degano (Pisa, Italy), degano@di.unipi.it FASE 2003, Fundamental Approaches to Software Engineering http://www.lta.disco.unimib.it/fase2003/ Chair: Mauro Pezz`e (Italy), pezze@disco.unimib.it FOSSACS 2003 Foundations of Software Science and Computation Structures http://research.microsoft.com/~adg/FOSSACS03/ Chair: Andrew Gordon (Microsoft Research, UK), adg@microsoft.com TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems ttp://www.inrialpes.fr/vasy/tacas03/ Co-Chairs: Hubert Garavel (INRIA, France), Hubert.Garavel@inria.fr John Hatcliff (Kansas State, USA), hatcliff@cis.ksu.edu ----------------------------------------------------------------------- Invited Speakers: ----------------------------------------------------------------------- Samson Abramsky, Oxford University, UK Tony Hoare, Microsoft Research, Cambridge, UK Peter Lee, Carnegie Mellon University, USA Xavier Leroy, INRIA and Trusted Logic, France Catherine Meadows, Naval Research Laboratory, USA Barbara Ryder, Rutgers University, USA Michal Young, Oregon University, USA ----------------------------------------------------------------------- Workshops ----------------------------------------------------------------------- SE-WMT = Structured Programming: The Hard Core of Software Engineering (special event to honour Prof. W.M.Turski's 65th birthday) AVIS = Automated Verification of Infinite-State Systems CMCS = Coalgebraic Methods in Computer Science COCV = Compiler Optimization Meets Compiler Verification Feyerabend = Feyerabend - Redefining Computing FAMAS = Formal Approaches to Multi-Agent Systems FICS = Fixed Points in Computer Science LDTA = Language Description, Tools and Applications RSKD = Rough Sets in Knowledge Discovery and Soft Computing SC = Software Composition TACoS = Test and Analysis of Component Based Systems USE = Unanticipated Software Evolution UniGra = Uniform Approaches to Graphical Specification Techniques WITS = Workshop on Issues in the Theory of Security WOOD = Workshop on Object-Oriented Developments ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- + Foundations of Constraint Programming + XML Documents Using Tree Automata + Multi-Media Instruction in Safe and Secure Systems + Advanced Compilation Techniques for the Itanium Processor Family + Formal Development of Critical Systems with UML + An Inside Look at Rotor, Microsoft's "Shared Source" Implementation of the Common Language Infrastructure + Theory and Practice of Co-Verification Process: UniTesk Story ********************************************************** *** *** *** More information and registration form at *** *** *** *** www.mimuw.edu.pl/etaps03 *** *** *** *** !!!! REGISTER NOW !!!! *** *** *** ********************************************************** ----------- you received this e-mail via the individual or collective address categories@mta.ca to unsubscribe from ETAPS list: contact etaps03@mimuw.edu.pl -----------