|
Number |
Title |
Web page |
Contact |
Prelimnary version |
|
ETAPS 2010 Workshops |
|
ETAPS 2010 Satellite Workshops | | |
|
ByteCode |
Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation |
Elvira Albert
and
Samir Genaim |
prentcsmacro.sty |
|
CMCS |
10th International Workshop on Coalgebraic Methods in Computer Science |
Jan Rutten |
prentcsmacro.sty |
|
COCV |
9th 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 |
|
SafeCert |
3rd International Workshop on the Certification of Safety-Critical Systems |
Michaela Huhn
and
Hardi Hungar |
prentcsmacro.sty |
|
WGT |
Workshop on Generative Technologies |
Zoltán Porkoláb |
prentcsmacro.sty |
|
MFPS 26 |
|
Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics |
Peter Selinger
|
prentcsmacro.sty |
|
UITP 2010
|
|
9th International Workshop On
User Interfaces for Theorem Provers |
Claudio Sacerdoti Coen
and
David Aspinell
|
prentcsmacro.sty |
|
FLoC 2010 Workshops |
|
FLoC 2010 Satellite Workshops | | |
|
HyLo |
International Workshop on Hybrid Logic and Applications |
Thomas Bolander
and
Torben Braüner |
prentcsmacro.sty |
|
LSFA 2010 |
|
Fifth Workshop on Logical and
Semantic Frameworks, with Applications
|
Edward Hermann Haeusler
,Luis Farinas,
and
Flavio de Moura |
prentcsmacro.sty |
|
TTSS |
|
Fourth International Workshop on Harnessing Theories for Tool Support
in Software |
Min Zhang
and
Volker Stolz
|
prentcsmacro.sty |
GETCO
Workshop |
|
Geometric and Topological Methods in Concurrency 2010 Home
Page |
Eric Goubault
|
prentcsmacro.sty
| |
PROLE'10 |
|
10th Spanish Conference on Programming and Computer Languages
|
Victor M. Gullas
|
prentcsmacro.sty |
|
M4M-7 |
|
Seventh Workshop on Methods for Modalities
|
Hans van Ditsmarsch,
David Fernandez Duque
and
Manuel Ojeda Aciego
|
prentcsmacro.sty |
|
ETAPS 2011 Workshops |
|
ETAPS 2011 Satellite Workshops | | |
|
ByteCode |
6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation |
Pierre Ganty
and
Mark Marron |
prentcsmacro.sty |
|
COCV |
10th Workshop on Compiler Optimization Meets Compiler Verification |
Jens Knoop
and
Wolf Zimmerman |
prentcsmacro.sty |
|
FESCA |
FESCA - Formal Foundations of
Embedded Software and
Component-Based Software Architectures |
Barbora Bühnová
and
Jens Happe |
prentcsmacro.sty |
|
HAS |
First Workshop on Hybrid Autonomous Systems |
Manuela L. Bujorianu,
Martin Fränzle,
Manuela L. Bujorianu,
and
Mariken Everdij
|
prentcsmacro.sty |
|
MBT |
7th Workshop on Model-Based Testing |
Bruno Legeard
Alexander K. Petrenko
and
Jan Tretmans
|
prentcsmacro.sty |
|
WGT |
Workshop on Generative Technologies |
Norbert Pataki
Zoltán Porkoláb
and
Melinda Simon
|
prentcsmacro.sty |
|
CS2Bio 2011
|
|
2nd International Workshop on Interactions
Between Computer Science and Biology |
Paola Giannini
and
Jean Krivine
|
prentcsmacro.sty |
|
PASM 2011
|
|
Sixth International Workshop on Practical Applications of Stochastic Modelling |
Nigel Thomas |
prentcsmacro.sty |
|
CLEI 2011
|
|
Thirty-Seventh Latin American Conference on Informatics |
Rodrigo Santos
|
prentcsmacro.sty |
|
SAS 2011 Workshops |
|
SAS 2011 Satellite Workshops | | |
|
NASD |
3rd International Workshop on Numerical and Symbolic Abstract Domains |
Damien Maassé
and
Laurent Mauborgne |
prentcsmacro.sty |
|
SASB |
2nd Workshop on Static Analysis and Systems Biology |
Jérôme Feret
and
Andre Levchenko |
prentcsmacro.sty |
|
TAPAS |
Tools for Automatic Program AnalysiS |
Francesco Logozzo
and
Greta Yorsh |
prentcsmacro.sty |
|
PROLE'11 |
|
11th Spanish Conference on Programming and Computer Languages
|
Puri Arenas
|
prentcsmacro.sty |
|
ETAPS 2012 Workshops |
|
ETAPS 2012 Satellite Workshops | | |
|
FESCA |
FESCA - Formal Foundations of
Embedded Software and
Component-Based Software Architectures |
Barbora Bühnová
Lucia Kapová
and
Jan Kofroň |
prentcsmacro.sty |
|
MFPS 28 |
|
Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics |
Ulrich Berger
|
prentcsmacro.sty |
|
CS2Bio 2012
|
|
3rd International Workshop on Interactions
Between Computer Science and Biology |
Paola Giannini
and
Erik de Vink
|
prentcsmacro.sty |
|
SAS 2012 Workshops |
|
SAS 2012 Satellite Workshops | | |
|
NSAD |
4th Workshop on Numerical and Symbolic Abstract Domains |
Jan Midtgaard
and
Matthew Might |
prentcsmacro.sty |
|
SASB |
Third International Workshop on Static Analysis and Systems Biology |
Jérôme Feret
and
Andre Levchenko |
prentcsmacro.sty |
|
TAPAS |
Tools for Automatic Program AnalysiS |
Bertrand Jeannet | prentcsmacro.sty |
|
B 2012
|
|
Workshop B 2012 |
Marie-Laure Potet
and
Stefan Hallerstede
|
prentcsmacro.sty |
|
QMPD 2012
|
|
2012 Workshop on Quantitative Models for Performance and Dependability |
Markus Siegle
|
prentcsmacro.sty |
|
CLEI 2012
|
|
Thirty-eighth Latin American Conference on Informatics |
Rodrigo Santos
|
prentcsmacro.sty |
|
PASM / PDMC 2012
|
|
Combined Proceedings of PASM and PDMC Workshops |
Nigel Thomas
and
Keijo Heljanko
|
prentcsmacro.sty |
|
ETAPS 2013 Workshops |
|
ETAPS 2013 Satellite Workshops | | |
|
VSSE |
2nd Workshop on Validations
Strategies for Software Evolution |
Hana Chockler |
prentcsmacro.sty |
[mikemis:~/Documents/entcs/website] mwm% ls
AddressBook.txtmfps19.html~
AddressBook.txt~missing.html
ENTCS.htmlmissing.html~
ENTCS.html~new.html
Exported Address Book.txtphp
bluehostpreface.html
ctf.pdfpreface.html~
emails.txtprelim.html
emails.txt~prelim.html~
entcs.gifsubmit.html
entcs.vcfsubmit.html~
entcs.vcf~table
filestable.html
final.htmltemplate.txt
final.html~v7-CTF.pdf
index.htmlvCards.vcf
index.html~vCards.vcf~
mfps19.html
[mikemis:~/Documents/entcs/website] mwm% !em
emacs table.html
|
20th Wessex Theory Seminar
|
|
Workshop on Algebra, Coalgebra and Topology
University of Bath, UK |
Cai Wingfield |
prentcsmacro.sty |
|
LSFA 2013 |
|
Eighth Workshop on Logical and
Semantic Frameworks, with Applications
|
Marcelo Finger
and
Maribel Fernandez
|
prentcsmacro.sty |
|
MFPS 29 |
|
Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics |
Dexter Kozen
and
Michael Mislove
|
prentcsmacro.sty |
|
SAS 2013 Workshops |
|
SAS 2013 Satellite Workshops | | |
|
SASB |
Fourth International Workshop on Static Analysis and Systems Biology |
Jérôme Feret
and
Andre Levchenko |
prentcsmacro.sty |
|
TAPAS |
Fourth Workshop on Tools for Automatic Program AnalysiS |
Bor-Yuh Evan Chang | prentcsmacro.sty |