From: etaps03@mimuw.edu.pl (Konferencja ETAPS'03)
To: categories@mta.ca
Subject: ETAPS 2003 - call for participation
Date: Tue, 14 Jan 2003 16:31:07 +0100 [thread overview]
Message-ID: <20030114153107.66E73592D@duch.mimuw.edu.pl> (raw)
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
-----------
reply other threads:[~2003-01-14 15:31 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20030114153107.66E73592D@duch.mimuw.edu.pl \
--to=etaps03@mimuw.edu.pl \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).