[TYPES/announce] TYPES 2016 call for participation

[Silvia Ghilezan]

(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================

                           CALL FOR PARTICIPATION

  22nd International Conference on Types for Proofs and Programs,
                               TYPES 2016
                             23-26 May 2016
                            Novi Sad, Serbia

                    http://www.types2016.uns.ac.rs

INVITED SPEAKERS 
Simon Gay (University of Glasgow)
Dale Miller (INRIA Saclay & LIX École Polytechnique)
Simona Ronchi della Rocca (Università di Torino)

REGISTRATION (NEW)
Early registration is till 9 May 2016.

ACCEPTED PAPERS (NEW)
The list of accepted papers is available.


BACKGROUND
The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 
Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

VENUE
Novi Sad, on the banks of the Danube, is known for its
Petrovaradin Fortress, beautiful sandy beach and cosy atmosphere.
The conference will be held at the University of Novi Sad Central Building.

REGISTRATION
Please register online. 
Early registration is till 9 May 2016.


PROGRAMME COMMITTEE

Thorsten Altenkirch (University of Nottingham)
Zena Ariola (University of Oregon)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Malgorzata Biernacka (University of Wroclaw)
Edwin Brady (University of St Andrews)
Thierry Coquand (University of Gothenburg)
Jose Espirito Santo (University of Minho)
Ken-etsu Fujita (Gunma University)
Silvia Ghilezan (University of Novi Sad) (co-chair)
Hugo Herbelin (INRIA Paris-Rocquencourt)
Jelena Ivetic  (University of Novi Sad) (co-chair)
Marina Lenisa (University of Udine)
Elaine Pimentel (Federal University of Rio Grande do Norte)
Andrew Polonsky (University Paris Diderot)
Jakob Rehof (Technical University of Dortmund)
Claudio Sacerdoti Coen (University of Bologna)
Carsten Schürmann (IT University of Copenhagen)
Dieter Spreen (University of Siegen)
Wouter Swierstra (Utrecht University)
Nicolas Tabareau (INRIA)
Tarmo Uustalu (Tallinn University of Technology)


SATELLITE EVENT: 
- The 9th Workshop Computational Logic and Applications - CLA 2016 
will be held on May 26-27, 2016.

ORGANIZERS
University of Novi Sad
Faculty of Technical Sciences
Mathematical Institute SASA

CONTACT: types2016 at uns.ac.rs


=================================================

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160408/90f1be65/attachment.html>