<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252">
</head>
<body bgcolor="#FFFFFF" text="#000000">
(* Apologies for any cross-postings. *)
<div class="moz-forward-container"><br>
<div apple-content-edited="true">
<div apple-content-edited="true"><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; font-size: medium; ">[New deadline </span>29 February
2016,</div>
<div apple-content-edited="true">submission deadline extended by
a week.</div>
<div apple-content-edited="true"><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; font-size: medium; ">Consider contributing.]</span></div>
</div>
<div apple-content-edited="true"><br>
</div>
<div>==================================================================</div>
<div><br>
</div>
<div> CALL FOR CONTRIBUTIONS</div>
<div><br>
</div>
<div> 22nd International Conference on Types for Proofs and
Programs,</div>
<div> TYPES 2016</div>
<div> 23-26 May 2016</div>
<div> Novi Sad, Serbia</div>
<div><br>
</div>
<div> <a moz-do-not-send="true"
href="http://www.types2016.uns.ac.rs/">http://www.types2016.uns.ac.rs</a></div>
<div><br>
</div>
<div>BACKGROUND</div>
<div><br>
</div>
<div>The TYPES meetings are a forum to present new and on-going
work in all</div>
<div>aspects of type theory and its applications, especially in
formalized</div>
<div>and computer assisted reasoning and computer programming. </div>
<div><br>
</div>
<div>The TYPES areas of interest include, but are not limited to:</div>
<div><br>
</div>
<div>* Foundations of type theory and constructive mathematics;</div>
<div>* Homotopy type theory;</div>
<div>* Applications of type theory;</div>
<div>* Dependently typed programming;</div>
<div>* Industrial uses of type theory technology;</div>
<div>* Meta-theoretic studies of type systems;</div>
<div>* Proof assistants and proof technology;</div>
<div>* Automation in computer-assisted reasoning;</div>
<div>* Links between type theory and functional programming;</div>
<div>* Formalizing mathematics using type theory.</div>
<div><br>
</div>
<div>We encourage talks proposing new ways of applying type
theory. In the </div>
<div>spirit of workshops, talks may be based on newly published
papers, work </div>
<div>submitted for publication, but also work in progress.</div>
<div><br>
</div>
<div>INVITED SPEAKERS (NEW)</div>
<div><br>
</div>
<div>Simon Gay (University of Glasgow)</div>
<div>Dale Miller (INRIA Saclay & LIX École Polytechnique)</div>
<div>Simona Ronchi della Rocca (Universitā di Torino)</div>
<div><br>
</div>
<div>CONTRIBUTED TALKS </div>
<div><br>
</div>
<div>We solicit contributed talks based on extended
abstracts/short papers of </div>
<div>2 pages prepared in LaTeX and formatted with easychair.cls.
The submission </div>
<div>site is <a moz-do-not-send="true"
href="https://easychair.org/conferences/?conf=types2016">https://easychair.org/conferences/?conf=types2016</a>.</div>
<div><br>
</div>
<div>Important Dates:</div>
<div><br>
</div>
<div>* submission of abstracts: 29 February
2016 (extended)</div>
<div>* notification of acceptance: 21 March 2016</div>
<div>* camera-ready version of abstracts: 11 April 2016</div>
<div><br>
</div>
<div><br>
</div>
<div>Camera-ready versions of the accepted contributions will be
published </div>
<div>in an informal book of abstracts for distribution at the
workshop.</div>
<div><br>
</div>
<div>POST-PROCEEDINGS</div>
<div><br>
</div>
<div>Similarly to earlier TYPES conferences, we intend to publish
a</div>
<div>post-proceedings volume in the Leibniz International
Proceedings in</div>
<div>Informatics (LIPiCS) series. Submission to that volume would
be open for</div>
<div>everyone. Tentative submission deadline: October 2016.</div>
<div><br>
</div>
<div>VENUE</div>
<div><br>
</div>
<div>The conference will be held at the University of Novi Sad,
University </div>
<div>Central Building.</div>
<div><br>
</div>
<div>SATELLITE EVENT: The 9th Workshop Computational Logic and
Applications - </div>
<div>CLA 2016 will be held on May 27-28, 2016.</div>
<div><br>
</div>
<div><br>
</div>
<div>PROGRAMME COMMITTEE</div>
<div><br>
</div>
<div>Thorsten Altenkirch (University of Nottingham)</div>
<div>Zena Ariola (University of Oregon)</div>
<div>Andrej Bauer (University of Ljubljana)</div>
<div>Marc Bezem (University of Bergen)</div>
<div>Malgorzata Biernacka (University of Wroclaw)</div>
<div>Edwin Brady (University of St Andrews)</div>
<div>Thierry Coquand (University of Gothenburg)</div>
<div>Jose Espirito Santo (University of Minho)</div>
<div>Ken-etsu Fujita (Gunma University)</div>
<div>Silvia Ghilezan (University of Novi Sad) (co-chair)</div>
<div>Hugo Herbelin (INRIA Paris-Rocquencourt)</div>
<div>Jelena Ivetic (University of Novi Sad) (co-chair)</div>
<div>Marina Lenisa (University of Udine)</div>
<div>Elaine Pimentel (Federal University of Rio Grande do Norte)</div>
<div>Andrew Polonsky (University Paris Diderot)</div>
<div>Jakob Rehof (Technical University of Dortmund)</div>
<div>Claudio Sacerdoti Coen (University of Bologna)</div>
<div>Carsten Schürmann (IT University of Copenhagen)</div>
<div>Dieter Spreen (University of Siegen)</div>
<div>Wouter Swierstra (Utrecht University)</div>
<div>Nicolas Tabareau (INRIA)</div>
<div>Tarmo Uustalu (Tallinn University of Technology)</div>
<div><br>
</div>
<div>TYPES STEERING COMMITTEE</div>
<div><br>
</div>
<div>Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui
Luo, Ralph </div>
<div>Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert,
Tarmo Uustalu.</div>
<div><br>
</div>
<div>ABOUT TYPES</div>
<div><br>
</div>
<div>The TYPES meetings from 1990 to 2008 were annual workshops of
a sequence of </div>
<div>five EU funded networking projects. Since 2009, TYPES has
been run as </div>
<div>an independent conference series. Previous TYPES meetings
were held in</div>
<div>Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen
(1993),</div>
<div>Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee
(1998),</div>
<div>Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen
(2002),</div>
<div>Torino (2003), Jouy en Josas near Paris (2004), Nottingham
(2006),</div>
<div>Cividale del Friuli (2007), Torino (2008), Aussois (2009),
Warsaw</div>
<div>(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn
(2015).</div>
<div><br>
</div>
<div>ORGANIZERS</div>
<div>University of Novi Sad</div>
<div>Faculty of Technical Sciences</div>
<div>Mathematical Institute SASA</div>
<div><br>
</div>
<div>CONTACT: <a moz-do-not-send="true"
href="mailto:types2016@uns.ac.rs">types2016@uns.ac.rs</a></div>
<div><br>
</div>
<div><br>
</div>
<div>=================================================</div>
<div><br>
</div>
<br>
</div>
<br>
</body>
</html>