|
Number |
Title |
Web page |
Contact |
Prelimnary version |
|
CONCUR'06 |
|
CONCUR 2006 Satellite Workshops |
|
|
|
GETCO
Satellite Workshop |
Geometric and Topological Methods in Concurrency 2006 Home
Page |
Eric Goubault
|
prentcsmacro.sty
|
|
MFCSIT'06 |
|
Mathematical
Foundations of Computer Science
and
Information Technology Workshop 2006
|
Anthony Seda,
Ted Hurley,
Michel Schellekens
and
Micheal Mac an Airchinnigh |
prentcsmacro.sty |
|
ETAPS 2007 Workshops |
|
ETAPS 2007 Satellite Workshops | | |
|
ACCAT |
Applied and Computational Category Theory |
Ulrike Prange |
prentcsmacro.sty |
|
AVIS |
Automated Verification of Infinite-State Systems Workshop |
Ramesh Bharadwaj |
prentcsmacro.sty |
|
FESCA |
FESCA - Formal Foundations of
Embedded Software and
Component-Based Software Architectures |
Iman Poernomo |
prentcsmacro.sty |
|
FInCo |
Workshop on the Foundations of Interactive Computation |
Dina Golden |
prentcsmacro.sty |
|
LDTA |
Seventh Workshop on
Language Descriptions, Tools and Applications |
Erik Van Wyke |
prentcsmacro.sty |
|
SLA++P 2007 |
Workshop on Model-driven High-level Programming of Embedded Systems |
Michael Mendler
and
Joaquin Aguado |
prentcsmacro.sty |
|
TERMGRAPH 2007 |
Fourth International Workshop on Term Graph Rewriting |
Ian Mackie |
prentcsmacro.sty |
|
FMGALS 2007
|
|
Formal Methods for Globally
Asynchronous Locally Synchronous Design |
Jean-Pierre Talpin |
prentcsmacro.sty |
|
WRS 2007
|
|
7th International Workshop on Reduction Strategies
in Rewriting and Programming |
Jürgen Giesl |
prentcsmacro.sty |
|
FACS 2007
|
|
4th International Workshop on Formal Aspects of Component Software |
Eric Madelaine |
prentcsmacro.sty |
|
REFINE 2007 |
|
2007 Workshop on Refinement |
Eerke Boiten,
John Derrick
and Graeme Smith |
prentcsmacro.sty |
|
LIX Collqouium
2006 |
|
Emerging Trends in Concurrency Theory |
Catuscia Palamidessi
and
Frank Valencia
|
prentcsmacro.sty |
|
RDP 2007 Workshops |
|
Federated Conference on Rewriting, Deduction, and Programming |
|
|
|
|
RULE 2007 |
The Eighth International Workshop on Rule-Based Programming |
Joost Visser
and
Victor Winter
|
prentcsmacro.sty |
|
|
WFLP 2007 |
16th Workshop on Functional and (Constraint) Logic Programming |
Rachid Echahed
|
prentcsmacro.sty |
|
|
WRS 2007 |
7th International Workshop on Reduction Strategies in Rewriting and Programming
|
Jürgen Giesl
|
prentcsmacro.sty |
|
ESORICS 2007 Workshops |
|
European Symposium On Research In Computer Security |
|
|
|
|
REM 2007 |
The First International Workshop on Run Time
Enforcement for Mobile and Distributed System
|
Fabio Massacci
and
Frank Piessens
|
prentcsmacro.sty |
|
|
STM 2007 |
3rd International Workshop on Security and Trust Management |
Volkmar Lotz
and
Fabio Massacci
|
prentcsmacro.sty |
|
LSFA 2007 |
|
Second Workshop on Logical and
Semantic Frameworks, with Applications
|
Mauricio Ayala-Rincon |
prentcsmacro.sty |
|
SBMF 2007 |
|
Tenth Brazilian Symposium on Formal Methods |
Ana C V de Melo
and
Alvaro Moreira
|
prentcsmacro.sty |
|
M4M 2007 |
|
Fifth Workshop on Methods for Modalities
|
Stéphane Demri
and
Carlos Areces
|
prentcsmacro.sty |
|
CAV 2007 |
|
Computer Aided Verification 2007
Satellite Workshops |
|
|
|
PDMC 2007
Satellite Workshop |
6th International Workshop on
Parallel and Distributed Methods in verifiCation
Home Page |
Ivana Cerná
and
Boudewijn R. Haverkort |
prentcsmacro.sty |
|
SMT 2007
Satellite Workshop |
5th International Workshop on Satisfiability Modulo Theories |
Sava Krstic
and
Albert Oliveras |
prentcsmacro.sty |
|
CONCUR'07 |
|
CONCUR 2007 Satellite
Workshops |
|
|
|
EXPRESS Satellite Workshop |
EXPRESS 2007 Home Page |
Roberto Amadio
and
Thomas Hildebrandt |
prentcsmacro.sty |
|
FOCLASA
Satellite Workshop |
Foundations of Coordination Languages and Software Architectures
2007 Home Page |
Carlos Canal,
Pascal Poizat,
and
Mirko Viroli
|
prentcsmacro.sty |
|
FBTC
Satellite Workshop |
From Biology To Concurrency and Back Home
Page |
Nicola Cannata
and
Emanuela Merelli |
prentcsmacro.sty |
|
GT-VC
Satellite Workshop |
Graph Transformation for Verification and Concurrency 2007 Home Page |
Arendt Rensink,
Reiko Heckel
and
Barbara König
|
prentcsmacro.sty |
|
INFINITY Satellite Workshop |
INFINITY 2007 Home Page |
P. Madhusudan
and
V. Kahlon
|
prentcsmacro.sty |
|
SECCO
Satellite Workshop |
Security Issues in Concurrency 2007 Home
Page |
Daniele Gorla
and
Catuscia Palamidessi |
prentcsmacro.sty |
|
VAMP
Satellite Workshop |
Verification and Analysis of Multi-threaded Java-like Programs 2007 Home
Page |
Christian Haack
|
prentcsmacro.sty |
|
AVoCS |
|
2007 International Workshop on Automated Verification of Critical Systems |
Michael Goldsmith
|
prentcsmacro.sty |
|
VerAS |
|
2007 DASMOD Workshop on Formal Verification of Adaptive Systems |
Klaus Schneider
|
prentcsmacro.sty |
|
InterDB |
|
Third International Workshop on Database Interoperability |
Philippe Thiran
|
prentcsmacro.sty |
|
ICALP, LICS, LC & PPDP 2007 |
|
ICALP 2007. LICS 2007,
LC 2007 and PPDP 2007 Satellite Workshops |
|
|
|
DCM 2007
|
Third Workshop on New Developments in Computational Models Home Page |
Vincent Danos
and
Mariangiola Dezani |
prentcsmacro.sty |
|
FMIS |
|
Second International Workshop on Formal Methods for Interactive Systems |
Paul Curzon
and
Antonio Cerone
|
prentcsmacro.sty |
|
LFMTP'07 |
|
International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice |
Brigitte Pientka
and
Carsten Schürmann
|
prentcsmacro.sty |
|
WWV'07 |
|
3rd International Workshop on Automated Specification and Verification
of Web Systems |
Santiago Escobar
and
Massimo Marchiori
|
prentcsmacro.sty |
|
WRS 2008
|
|
8th International Workshop on Reduction Strategies
in Rewriting and Programming |
Aart Middeldorp |
prentcsmacro.sty |
|
ETAPS 2008 Workshops |
|
ETAPS 2008 Satellite Workshops | | |
|
ByteCode |
Third Workshop on Bytecode Semantics, Verification, Analysis and Transformation |
Francesco Logozzo |
prentcsmacro.sty |
|
CMCS |
Ninth Workshop on Coalgebraic Methods in Computer Science |
Jan Rutten |
prentcsmacro.sty |
|
COCV |
7th Workshop on Compiler Optimization Meets Compiler Verification |
Jens Knoop |
prentcsmacro.sty |
|
FESCA |
FESCA - Formal Foundations of
Embedded Software and
Component-Based Software Architectures |
Iman Poernomo |
prentcsmacro.sty |
|
FORMED |
Workshop on the Formal Methods in Computer Science Education |
Zoltan Istenes |
prentcsmacro.sty |
|
LDTA |
Eighth Workshop on
Language Descriptions, Tools and Applications |
Erik Van Wyke |
prentcsmacro.sty |
|
MBT |
International Workshop on
Model Based Testing |
Bernd Finkbeiner |
prentcsmacro.sty |
|
PDMC |
7th International Workshop on
Parallel and Distributed Methods in verifiCation |
Ivana Černá
and
Gerald Luettgen
|
prentcsmacro.sty |
|
QAPL |
Sixth Workshop on
Quantitative Aspects of Programming Languages |
Alessandro Aldini and
Christel Baier |
prentcsmacro.sty |
|
SafeCert |
Workshop on Certification of
Safety-Critical Software Controlled Systems |
Michaela Huhn |
prentcsmacro.sty |
|
SLA++P 2008 |
Workshop on Model-driven High-level Programming of Embedded Systems |
Eric Rutten
|
prentcsmacro.sty |
|
WGT |
Workshop on Generative Technologies |
Zoltan Porkolab |
prentcsmacro.sty |
|
WRLA 2008 |
7th Workshop on Rewriting Logic and its Applications |
Grigore Rosu |
prentcsmacro.sty |
|
SSV 2008
|
|
3rd international Workshop on
Systems Software Verification |
Ralf Huuck
and
Gerwin Klein
|
prentcsmacro.sty |
|
UITP 2008
|
|
8th International Workshop On
User Interfaces for Theorem Provers |
Serge Autexier
and
Chris Benzmüller
|
prentcsmacro.sty |
|
DicCoTec Satellite Workshops
|
|
Distributed Computing Techniques Satellite Workshops |
|
|
|
|
MTCoord |
4th International Workshop on
Methods and Tools for Coordinating
Concurrent, Distributed and Mobile Systems |
Isabelle Linden
and
Carolyn Talcott
|
prentcsmacro.sty |
|
|
PLACES |
Programming Language Approaches to Concurrency
and Communication-cEntric Software |
Vasco T. Vasconcelos
and
Nobuko Yoshida
|
prentcsmacro.sty |
|
ICALP 2008 Workshops
|
|
35th International Colloquium on
Automata,
Languages and Programming Satellite Workshops |
|
|
|
|
FOCLASA 2008 |
7th International Workshop on the Foundations of
Coordination Languages and Software Architectures |
Carlos Canal
Pascal Poizat
and
Marjan Sirjani
|
prentcsmacro.sty |
|
|
FBTC 2008 |
From Biology to Concurrency and back |
Nicola Cannata
Emanuela Merelli
and
Irek Uldowski
|
prentcsmacro.sty |
|
|
ICE 2008 |
1st Interaction and Concurrency Experience |
Filippo Bonchi,
Davide Grohmann,
Paola Spoletini,
Angela Troina
and
Emilio Tuosto
|
prentcsmacro.sty |
|
|
MSFP 2008 |
Mathematically Structured Functional Programming 2008 |
Venanzio Capretta
and
Conor McBride
|
prentcsmacro.sty |
|
|
PAuL 2008 |
Third International Workshop on
Probabilistic Automata and Logics |
Christel Baier
and
Marcus Groesser
|
prentcsmacro.sty |
|
|
QPL/DCM 2008 |
Joint 5th QPL and 4th DCM Workshops:
Quantum Physics and Logic
Development of Computational Models |
Bob Coecke
Ian Mackie
and
Prakash Panangaden
|
prentcsmacro.sty |
|
|
SOS 2008 |
Structural Operational Semantics 2008 |
Matthew Hennessy
and
Bartek Klin
|
prentcsmacro.sty |
|
WRP 2008
|
|
Workshop on Reachability Problems |
Igor Potapov
and
Vesa Halava
|
prentcsmacro.sty |
|
STM 2008
|
|
4th International Workshop on Security and Trust Management |
Theo Dimitrakos
and
Fabio Martinelli
|
prentcsmacro.sty |
|
FICS 2008
|
|
First International Conference on Foundations of Informatics, Computing and Software |
Yixiang Chen,
Prakash Panangaden,
and
Guo-Qiang Zhang
|
prentcsmacro.sty |
|
SQM 2008
|
|
Second International Workshop on Software Quality and Maintainability |
Joost Visser
and
Christos Makris
|
prentcsmacro.sty |
|
REFINE 2008 |
|
2008 Refinement Workshop |
Eerke Boiten,
John Derrick
and Gerhard Schellhorn |
prentcsmacro.sty |
|
MeCBIC 2008 |
|
Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi |
Gabriel Ciobanu
|
prentcsmacro.sty |
|
MoChArt 2008 |
|
Fifth International Workshop on Model Checking and Artificial Intelligence |
Doron Peled
and
Michael Wooldridge
|
prentcsmacro.sty |
|
CCA 2008 |
|
Fifth International Conference on Computability
and Complexity in Analysis |
Ruth Dillhage,
Tanja Grubba
and
Klaus Weihrauch
|
prentcsmacro.sty |
|
RULE 2008 |
|
Ninth International Workshop on Rule-Based Programming |
Günter Kniesel
and
Jorge Sousa Pinto
|
prentcsmacro.sty |
|
LICS/CSF 2008 Workshops
|
|
Joint Logic in Computer Science / Computer Security
Foundations Meeting Satellite Workshops |
|
|
|
|
IMLA 2008 |
Intuitionistic Modal Logics and Applications Workshop |
Valeria de Paiva
and
Aleks Nanevski
|
prentcsmacro.sty |
|
|
PCC 2008 |
Second International Workshop on Proof-Carrying Code |
David Aspinall
and
Ian Stark
|
prentcsmacro.sty |
|
|
SecRet 2008 |
3rd International Workshop on Security and Rewriting Techniques |
Daniel Dougherty
and
Santiago Escobar
|
prentcsmacro.sty |
|
WFLP 2008 |
|
17th International Workshop on
Functional and (Constraint) Logic Programming |
Demis Ballis
and
Moreno Falaschi
|
prentcsmacro.sty |
|
WWV 2008 |
|
4th International Workshop on Automated
Specification and Verification of Web Systems |
Demis Ballis
and
Santiago Escobar
|
prentcsmacro.sty |
|
VODCA 2008 |
|
Third Workshop on Views on
Designing Complex Architectures
|
Alessandro Aldini
Maurice ter Beek
Fabio Gadduci
and
José
Ramón Paramá Gabía
|
prentcsmacro.sty |
|
SBMF 2007 |
|
Eleventh Brazilian Symposium on Formal Methods |
Patricia Machado
and
Alvaro Moreira
|
prentcsmacro.sty |
|
LSFA 2008 |
|
Third Workshop on Logical and
Semantic Frameworks, with Applications
|
Mario Benevides
and
Elaine Pimental |
prentcsmacro.sty |
|
CONCUR'08 |
|
CONCUR 2008 Satellite
Workshops |
|
|
|
EXPRESS Satellite Workshop |
EXPRESS 2008 Home Page |
Daniele Gorla
and
Thomas Hildebrandt |
prentcsmacro.sty |
|
FMWS
Satellite Workshop |
Formal Methods for Wireless Systems
2008 Home Page |
Jens Chr. Godskesen
and
Massimo Merro
|
prentcsmacro.sty |
|
INFINITY Satellite Workshop |
INFINITY 2008 Home Page |
Peter Habermehl
and
Tomáš Vojnar
|
prentcsmacro.sty |
|
SECCO
Satellite Workshop |
Security Issues in Concurrency 2008 Home
Page |
Steve Kremer
and
Prakash Panangaden |
prentcsmacro.sty |
|
TTSS |
|
Second International Workshop on Harnessing Theories for Tool Support
in Software |
Geguang Pu
and
Volker Stolz
|
prentcsmacro.sty |
|
PASM 2008
|
|
Third International Workshop on Practical Applications of Stochastic Modelling |
Nigel Thomas |
prentcsmacro.sty |
|
FACS 2008
|
|
5th International Workshop on Formal Aspects of Component Software |
Carlos Canal
and
Corina Pasareanu |
prentcsmacro.sty |
|
PROLE'08 |
|
8th Spanish Conference on Programming and Computer Languages
|
Jesus Jimenez
|
prentcsmacro.sty |
|
MEMICS 2008
|
|
Annual Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science |
Tomáš Vojnar
and
Jan Bouda
|
prentcsmacro.sty |
|
ETAPS 2009 Workshops |
|
ETAPS 2009 Satellite Workshops | | |
|
ByteCode |
Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation |
Elvira Albert
and
Samir Genaim |
prentcsmacro.sty |
|
COCV |
8th Workshop on Compiler Optimization Meets Compiler Verification |
Jens Knoop |
prentcsmacro.sty |
|
FESCA |
FESCA - Formal Foundations of
Embedded Software and
Component-Based Software Architectures |
Barbora Zimmerova
and
Jens Happe |
prentcsmacro.sty |
|
FInCo |
Workshop on the Foundations of Interactive Computation |
Walter Dosch
and
Leo Mötus |
prentcsmacro.sty |
|
GT-VMT |
8th International Workshop on Graph Transformation and Visual Modeling Techniques |
Reiko Heckel
and
Artur Boronat |
prentcsmacro.sty |
|
HFL |
Workshop on Hardware design and Functional Languages 2009 |
Andrew Martin |
prentcsmacro.sty |
|
LDTA |
Ninth Workshop on
Language Descriptions, Tools and Applications |
Erik Van Wyke |
prentcsmacro.sty |
|
MBT |
International Workshop on
Model Based Testing |
Bernd Finkbeiner |
prentcsmacro.sty |
|
PLACES |
Programming Language Approaches to Concurrency and Communication-cEntric Software |
Vasco T. Vasconcelos |
prentcsmacro.sty |
|
QAPL |
Seventh Workshop on
Quantitative Aspects of Programming Languages |
Alessandra Di Pierro
and
Christel Baier |
prentcsmacro.sty |
|
RC |
Reversible Computation 2009 |
Irek Ulidowski |
prentcsmacro.sty |
|
SafeCert |
2nd International Workshop on Certification
of Safety-Critical Software Controlled Systems |
Michaela Huhn |
prentcsmacro.sty |
|
TERMGRAPH |
Fifth International Workshop on Term Graph Rewriting |
Andrea Corradini |
prentcsmacro.sty |
|
VAMP |
2nd International Workshop on Verification and Analysis of Multi-threaded Java-like Programs |
Christian Haack |
prentcsmacro.sty |
|
WING |
2nd International Workshop on Invariant Generation |
Andrew Ireland
and
Laura Kovács |
prentcsmacro.sty |
|
MFPS 25 |
|
Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics |
Catuscia Palamidessi
|
prentcsmacro.sty |
|
PROLE'09 |
|
9th Spanish Conference on Programming and Computer Languages
|
Ginés Moreno
|
prentcsmacro.sty |
|
LSFA 2009 |
|
Fourth Workshop on Logical and
Semantic Frameworks, with Applications
|
Mauricio Ayala-Rincón
and
Fairouz Kamareddine |
prentcsmacro.sty |
|
REFINE 2009 |
|
2009 Refinement Workshop |
Eerke Boiten,
John Derrick
and Gerhard Schellhorn |
prentcsmacro.sty |
|
QPL 2009
|
|
6th Workshop on Quantum Physics and Logic |
Bob Coecke
and
Prakash Panangaden
|
prentcsmacro.sty |
|
Automata 2009
|
|
15th International Workshop On
Cellular Automata and
Discrete Complex Systems |
Pedro de Oliveira
and
Jarkko Kari
|
prentcsmacro.sty |
|
SSV 2009
|
|
4th International Workshop on
Systems Software Verification |
Ralf Huuck,
Gerwin Klein
and
Bastian Schlich
|
prentcsmacro.sty |