Electronic Notes in Theoretical Computer Science


Upcoming
Volumes and Issues of ENTCS

[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

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

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

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

IMPL-Rio

 

6th Workshop on Intuitionistic Modal Logic and Applications (IMLA)

Valeria de Paiva
and
Elaine Pimentel

prentcsmacro.sty

TTSS

 

Sixth International Workshop on Harnessing Theories for Tool Support in Software

Jinyun Xie
and
Volker Stolz

prentcsmacro.sty

LSFA 2014

 

Ninth Workshop on Logical and
Semantic Frameworks, with Applications

Ian Mackie
and
Mauricio Ayala-Rincon

prentcsmacro.sty

NSV 2014

 

Seventh International Workshop on Numerical Software Verification

Olivier Bouissou
and
Khalil Ghorbal

prentcsmacro.sty

PASM 2014

 

Ninth International Workshop on Practical Applications of Stochastic Modelling

Nigel Thomas

prentcsmacro.sty

CLEI 2014

 

Fortieth Latin American Conference on Informatics

Rodrigo Santos

prentcsmacro.sty

LSFA 2015

 

Tenth Workshop on Logical and
Semantic Frameworks, with Applications

Mario Benevides
and
Rene Thiemann

prentcsmacro.sty

MFPS 31

 

Thirty-first Conference on the Mathematical Foundations of Programming Semantics

Dan Ghica

prentcsmacro.sty

USE'15

 

First Usages of Symbolic Execution Workshop

Christophe Gaston
Pascal Le Gall
and
Alexandre Petrenko

prentcsmacro.sty

ICTCS

 

16th Italian Conference on Theoretical Computer Science

Pierluigi Crescenzi
and
Michele Loreti

prentcsmacro.sty

NSV

 

8th International Workshop on Numerical Software Verification

Sergiy Bogomolov
and
Matthieu Martel

prentcsmacro.sty

CLEI 2015

 

Forty-first Latin American Conference on Informatics

Hector Cancela

prentcsmacro.sty

MFPS 32

 

Thirty-second Conference on the Mathematical Foundations of Programming Semantics

Lars Birkedal

prentcsmacro.sty

NSAD

 

6th Workshop on Numerical and Symbolic Abstract Domains

Isabella Mastroeni

prentcsmacro.sty

LSFA 2016

 

Eleventh Workshop on Logical and
Semantic Frameworks, with Applications

Mário Florido
and
Vivek Nigam

prentcsmacro.sty