From: =3D?ISO-8859-1?Q?Jo=3DE3o?=3D Saraiva <jas@di.uminho.pt>
To: categories@mta.ca
Subject: ETAPS 2007: Call for Participation
Date: Tue, 30 Jan 2007 11:14:02 +0000 [thread overview]
Message-ID: <E1HC3CF-0005Y5-DR@mailserv.mta.ca> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=3DUTF-8, Size: 7279 bytes --]
*****************************************************************
*** ***
*** ETAPS 2007 ***
*** March 24 - April 1, 2007 ***
*** Braga, Portugal ***
*** ***
*** http://www.di.uminho.pt/etaps07/ ***
*** ***
*** CALL FOR PARTICIPATION ***
*** ***
*** Early Registration Deadline: 12th February, 2007 ***
*** ***
*****************************************************************
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, several satellite workshops
and other events.
ETAPS 2007 is taking place in Braga, Portugal. Braga, capital of the
Minho province, is an ancient city in the heart of the green and
fertile region known as the Costa Verde. The region is known for its
attractiveness in terms of climate, gastronomy, prices, and
culture. Braga is known for its barroque churches and splendid 18th
century houses. The old city is solemn and antique, but animated with
commercial activity and academic life.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
5 Conferences - 18 Satellite Workshops - 3 Tutorials - Tool
Demonstrations
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
-------------------------------------------------------------------------
Main Conferences
-------------------------------------------------------------------------
CC 2007: International Conference on Compiler Construction
http://cc2007.cs.brown.edu/
ESOP 2007: European Symposium on Programming
http://rap.dsi.unifi.it/esop07/
FASE 2007: Fundamental Approaches to Software Engineering
http://fase07.di.fc.ul.pt
FOSSACS 2007: Foundations of Software Science and Computation
Structures
http://www2.in.tum.de/~seidl/fossacs07/
TACAS 2007: Tools and Algorithms for the Construction and Analysis
of Systems
http://www.doc.ic.ac.uk/tacas07/
-----------------------------------------------------------------------
Invited Speakers
-----------------------------------------------------------------------
ETAPS 2007: Rance Cleaveland - University of Maryland, USA
ETAPS 2007: Bertrand Meyer - ETH Z=C3=BCrich, Switzerland
CC 2007: Don Batory - University of Texas at Austin, USA
ESOP 2007: Andrew Pitts - Cambridge University, UK
FASE 2007: Jan Bosch - Nokia, Finland
FOSSACS 2007: Radha Jagadeesan - DePaul University, USA
TACAS 2007: K. Rustan M. Leino - Microsoft Research, USA
Further invited speakers are giving talks in the satellite workshops.
-----------------------------------------------------------------------
Satellite Workshops
-----------------------------------------------------------------------
ACCAT: Applied and Computational Category Theory
http://tfs.cs.tu-berlin.de/workshops/accat2007/
AVIS: Int. Workshop on Automated Verification of Infinite-State
Systems
http://chacs.nrl.navy.mil/AVIS07
Bytecode: Bytecode Semantics, Verification, Analysis and Transformation
http://www.sci.univr.it/~spoto/Bytecode07/
COCV: Sixth Workshop on Compiler Optimization Meets
Compiler Verification
http://pes.cs.tu-berlin.de/cocv2007/
FESCA: Formal Foundations of Embedded Software and
Component-Based Software Architectures
http://palab.dcs.kcl.ac.uk/fesca/
FinCo: Foundations of Interactive Computation
http://www.cs.brown.edu/sites/finco07/
GT-VMT: Int. Workshop on Graph Transformation and Visual
Modeling Techniques
http://www.cs.le.ac.uk/events/GTVMT07/
HAV: Heap Analysis and Verification
http://www.cs.tau.ac.il/~msagiv/hav.html
HFL: Hardware design using Functional Languages
http://hfl07.hflworkshop.org/
LDTA: Seventh Workshop on Language Descriptions, Tools and
Applications
http://www.di.uminho.pt/ldta07
MBT: Third Workshop on Model Based Testing
http://react.cs.uni-sb.de/mbt2007/
MOMPES: Model-based Methodologies for Pervasive and
Embedded Software
http://www.di.uminho.pt/mompes
OpenCert: Foundations and Techniques for Open Source Software
Certification
http://opencert.iist.unu.edu/
QAPL: Fifth Workshop on Quantitative Aspects of Programming
Languages
http://www.cse.yorku.ca/qapl07
SC: Software Composition
http://ssel.vub.ac.be/sc2007
SLA++P: Model-driven High-level Programming of Embedded Systems
http://web.uni-bamberg.de/wiai/gdi/SLAP07/
TERMGRAPH: Fourth International Workshop on Computing with
Terms and Graphs
http://www.termgraph.org.uk
WITS: Seventh Workshop on Issues in the Theory of Security
http://www.dsi.unive.it/IFIPWG1_7/wits2007.html
-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------
Program Transformation with Stratego/XT
Martin Bravenboer (Utrecht University) and
Eelco Visser (Delft University of Technology)
Beyond the Generators: Practical Techniques for Real-World Software
Generation
Anthony M. Sloane (Macquarie University)
Mobility, Ubiquity, and Security
Gilles Barthe (INRIA), David Pichardie (IRISA),
David Aspinall (Univ. of Edinburgh), Peter M=C3=BCller (ETH Zurich),
Lennart Beringer (LMU Munich) and Joe Kiniry (UC Dublin)
-----------------------------------------------------------------------
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art
have been selected and are integrated in the programmes of the main
conferences.
-----------------------------------------------------------------------
Registration and Contact Details
-----------------------------------------------------------------------
For online registration, please visit
http://www.di.uminho.pt/etaps07/
and go to menu item "Registration".
Contact details are available at the menu item "Contact us". In case
of any questions not addressed on the web pages, please email
etaps07@di.uminho.pt.
reply other threads:[~2007-01-30 11:14 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=E1HC3CF-0005Y5-DR@mailserv.mta.ca \
--to=jas@di.uminho.pt \
--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).