[TYPES/announce] 2FC'14 @ VSL
Georg Moser
georg.moser at uibk.ac.at
Thu Jul 3 16:15:16 EDT 2014
======================================================================
*** CALL FOR PARTICIPATION ***
2FC 2014
Two Faces of Complexity
Saturday 12th July 2014, Vienna, AUSTRIA
A RTA/TLCA'14-affiliated Workshop
http://cl-informatik.uibk.ac.at/users/georg/events/2FC14/
======================================================================
On-Site Registration is still possible
INVITED TALKS:
* Beniamino Accattoli, University of Bologna, Italy
* Martin Avanzini, University of Bologna, Italy
* Ugo Dal Lago, University of Bologna, Italy
* Stéphane Gimenez, University of Innsbruck, Austria
* Damiano Mazza, Paris 13, France
* Paul-André Melliès, PPS Paris, France
* Thomas Powell, IHES Paris, France
DESCRIPTION OF THE WORKSHOP:
The objective of the second edition of this workshop is to continue
our efforts to facilitate cross-community interaction. This time our
interest lies in the relation and comparison of methods developed for
the analyses of imperative and declarative programming languages. We
believe that a dedicated workshop provides the best mechanism for
fostering such interaction.
ORGANISATION:
Georg Moser
More information about the Types-announce
mailing list