<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
皆様，<br>
<br>
TYPES 2016のご案内をさせていただきます．<br>
どうぞよろしくお願い致します．<br>
<br>
群馬大学 藤田憲悦<br>
--------------------------<br>
<br>
<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; "><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; ">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space;
-webkit-line-break: after-white-space; ">
<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; ">(Apologies
for multiple copies of this announcement. Please
circulate.)</span></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
href="http://www.types2016.uns.ac.rs/"><a class="moz-txt-link-freetext" href="http://www.types2016.uns.ac.rs">http://www.types2016.uns.ac.rs</a></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
href="https://easychair.org/conferences/?conf=types2016"><a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=types2016">https://easychair.org/conferences/?conf=types2016</a></a>.</div>
<div><br>
</div>
<div>Important Dates:</div>
<div><br>
</div>
<div>* submission of abstracts: 22
February 2016 </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 href="mailto:types2016@uns.ac.rs">types2016@uns.ac.rs</a></div>
<div><br>
</div>
<div><br>
</div>
<div>=================================================</div>
</div>
</div>
</span></span><br>
</body>
</html>