[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