Skip to content

Commit

Permalink
[ TYPES 2025 ] CFP and PC
Browse files Browse the repository at this point in the history
  • Loading branch information
@fredrikNordvallForsberg
fredrikNordvallForsberg committed Dec 10, 2024
1 parent 11e6c82 commit b072e83
Show file tree
Hide file tree
Showing 3 changed files with 209 additions and 1 deletion.
109 changes: 109 additions & 0 deletions types2025/cfp.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,109 @@
<!DOCTYPE html>
<html lang="en">
<head>
<title>TYPES 2025: Committees</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">

<link href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-QWTKZyjpPEjISv5WaRU9OFeRpok6YctnYmDr5pNlyT2bRjXh0JMhjY6hW+ALEwIH" crossorigin="anonymous">
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.bundle.min.js" integrity="sha384-YvpcrYf0tY3lHB60NNkmXc5s9fDVZLESaAA55NDzOxhy9GkcIdslK1eN7N6jIeHz" crossorigin="anonymous"></script>
<style>
section {
padding-top: 56px;
margin-top: -56px;
}
</style>
</head>
<body data-bs-spy="scroll" data-bs-target=".navbar" data-bs-offset="50">

<nav class="navbar navbar-expand-sm bg-dark navbar-dark sticky-top">
<div class="container-fluid">
<a class="navbar-brand" href="index.html">TYPES 2025</a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#collapsibleNavbar">
<span class="navbar-toggler-icon"></span>
</button>
<div class="collapse navbar-collapse" id="collapsibleNavbar">
<ul class="nav navbar-nav">
<li class="nav-item"><a class="nav-link active" data-bs-target="#cfp" href="cfp.html">Call for contributions</a>
<li class="nav-item"><a class="nav-link" data-bs-target="#pc" href="pc.html">Committees</a>
</ul>
</div>
</div>
</nav>
<div class="container">
<h1>Call for Contributions</h1>

<p class="fst-italic">
31st International Conference on Types for Proofs and Programs</br>
Glasgow, Scotland, 9&ndash;13 June 2025</br>
<a href="https://msp.cis.strath.ac.uk/types2025/">https://msp.cis.strath.ac.uk/types2025/</a>
</p>

<section id="overview">
<h2>Overview</h2>
<p>The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.</p>

<p>The TYPES areas of interest include, but are not limited to:</p>
<ul>
<li>foundations of type theory and constructive mathematics;
<li>applications of type theory;</li>
<li>dependently typed programming;</li>
<li>industrial uses of type theory technology;</li>
<li>meta-theoretic studies of type systems;</li>
<li>proof assistants and proof technology;</li>
<li>automation in computer-assisted reasoning;</li>
<li>links between type theory and functional programming;</li>
<li>formalizing mathematics using type theory.</li>
</ul>

<p>We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. If you need to discuss remote participation, please contact the <a href="mailto:[email protected]">PC chair</a>.</p>

<p>Researchers from <a href="https://www.cost.eu/about/strategy/excellence-and-inclusiveness/">COST Inclusiveness Target Countries</a> are reminded that the <a href="https://europroofnet.github.io/">European Research Network on Formal Proofs</a> COST action has some <a href="https://europroofnet.github.io/grants/">funding available for conference attendance</a>.</p>
</section>

<section id="contributedtalks">
<h2>Contributed Talks</h2>

<p>TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not counting the bibliography) formatted with <a href="https://easychair.org/publications/for_authors">easychair.cls</a>.</p>

<p>The submission site is: <a href="https://openreview.net/group?id=TYPES/2025/Conference">https://openreview.net/group?id=TYPES/2025/Conference</a>.</p>
</section>

<section id="dates">
<h2>Important dates</h2>
<ul>
<li><strong>Submission of 2-page abstract:</strong> 3 March 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Author notification:</strong> 11 April 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Camera-ready version of abstract:</strong> 9 May 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Conference:</strong> 9&ndash;13 June 2025</li>
</ul>

<p>Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference.</p>
</section>

<section id="postprocs">
<h2>Post-proceedings</h2>
<p>A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone.</p>

<p>Tentative submission deadline for the post-proceedings: October 2025.</p>
</section>

<section id="committees">
<h2>Committees</h2>
<p>The the list of committee members can be found <a href="pc.html">here</a>.</p>
</section>

<section id="about">
<h2>About TYPES</h2>
<p>The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 onwards, TYPES has been run as an independent conference series. 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), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023), Copenhagen (2024).</p>
</section>

<section id="contact">
<h2>Contact</h2>
<p>Email: <a href="mailto:[email protected]">[email protected]</a>.</p>
</section>


</div>
</body>
</html>
13 changes: 12 additions & 1 deletion types2025/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,8 @@
</button>
<div class="collapse navbar-collapse" id="collapsibleNavbar">
<ul class="nav navbar-nav">
<li class="nav-item"><a class="nav-link" data-bs-target="#cfp" href="cfp.html">Call for contributions</a>
<li class="nav-item"><a class="nav-link" data-bs-target="#pc" href="pc.html">Committees</a>
</ul>
</div>
</div>
Expand All @@ -48,7 +50,16 @@ <h2>University of Strathclyde, Glasgow, Scotland • 9&ndash;13 June 2025</h2>
<li>links between type theory and functional programming;</li>
<li>formalizing mathematics using type theory</li>
</ul>
<p>In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Further information will be available soon.</p>
<p>In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. </p>

<h3>Important dates</h3>
<ul>
<li><strong><a href="https://openreview.net/group?id=TYPES/2025/Conference">Submission</a> deadline (see <a href="cfp.html">call for contributions</a>):</strong> 3 March 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Author notification:</strong> 11 April 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Camera-ready version of abstract:</strong> 9 May 2025 <a href="https://www.timeanddate.com/time/zones/aoe">AoE</a></li>
<li><strong>Conference:</strong> 9&ndash;13 June 2025</li>
</ul>

</div>
</body>
</html>
88 changes: 88 additions & 0 deletions types2025/pc.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
<!DOCTYPE html>
<html lang="en">
<head>
<title>TYPES 2025: Committees</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">

<link href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-QWTKZyjpPEjISv5WaRU9OFeRpok6YctnYmDr5pNlyT2bRjXh0JMhjY6hW+ALEwIH" crossorigin="anonymous">
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.bundle.min.js" integrity="sha384-YvpcrYf0tY3lHB60NNkmXc5s9fDVZLESaAA55NDzOxhy9GkcIdslK1eN7N6jIeHz" crossorigin="anonymous"></script>
<style>
section {
padding-top: 56px;
margin-top: -56px;
}
</style>
</head>
<body data-bs-spy="scroll" data-bs-target=".navbar" data-bs-offset="50">

<nav class="navbar navbar-expand-sm bg-dark navbar-dark sticky-top">
<div class="container-fluid">
<a class="navbar-brand" href="index.html">TYPES 2025</a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#collapsibleNavbar">
<span class="navbar-toggler-icon"></span>
</button>
<div class="collapse navbar-collapse" id="collapsibleNavbar">
<ul class="nav navbar-nav">
<li class="nav-item"><a class="nav-link" data-bs-target="#cfp" href="cfp.html">Call for contributions</a>
<li class="nav-item"><a class="nav-link active" data-bs-target="#pc" href="pc.html">Committees</a>
</ul>
</div>
</div>
</nav>
<div class="container">
<h1>Committees</h1>

<p>TYPES 2025 is organised by the following people.</p>

<section id="pc">
<h2>Program Committee</h2>
<ul>
<li>Danel Ahman (University of Tartu, Estonia)</li>
<li>Guillaume Allais (University of Strathclyde, Scotland)</li>
<li>Malin Altenmüller (University of Edinburgh, Scotland)</li>
<li>Sandra Alves (University of Porto, Portugal)</li>
<li>Casper Bach (University of Southern Denmark, Denmark)</li>
<li>Ana Bove (Chalmers University of Technology and University of Gothenburg, Sweden)</li>
<li>Liang-Ting Chen (Academia Sinica, Taiwan)</li>
<li>Vikraman Choudhury (University of Bologna, Italy)</li>
<li>Gilda Ferreira (Universidade Aberta, Portugal)</li>
<li>Daniel Gratzer (Aarhus University, Denmark)</li>
<li>Tom de Jong (University of Nottingham, England)</li>
<li>Dominik Kirst (Inria Paris, France)</li>
<li>Neel Krishnaswami (University of Cambridge, England)</li>
<li>András Kovács (University of Gothenburg and Chalmers University of Technology, Sweden)</li>
<li>Peter LeFanu Lumsdaine (Stockholm University, Sweden)</li>
<li>Kenji Maillard (Inria Rennes-Bretagne Atlantique, France)</li>
<li>Max New (University of Michigan, United States of America)</li>
<li>Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair)</li>
<li>Elaine Pimentel (University College London, England)</li>
<li>Andrew Swan (University of Ljubljana, Slovenia)</li>
<li>Tarmo Uustalo (Reykjavík University, Iceland)</li>
<li>Niels van der Weide (Radboud University Nijmegen, The Netherlands)</li>
<li>Théo Winterhalter (Inria Saclay, France)</li>
<li>Maaike Zwart (IT University Copenhagen, Denmark)</li>
</ul>
</section>
<section id="sc">
<h2>Steering Committee</h2>
<ul>
<li>Eduardo Hermo Reyes (Formal Vindications, Spain)</li>
<li>Tom de Jong (University of Nottingham, England)</li>
<li>Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)</li>
<li>Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)</li>
<li>Paige Randall North (Utrecht University, The Netherlands) (chair)</li>
<li>Benno van den Berg (University of Amsterdam, The Netherlands) (secretary)</li>
</ul>
</section>
<section id="organisers">
<h2>Local organisers</h2>
<ul>
<li>Guillaume Allais (University of Strathclyde, Scotland)</li>
<li>Stuart Gale (University of Strathclyde, Scotland)</li>
<li>Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)</li>
</ul>
</section>
</div>
</body>
</html>

0 comments on commit b072e83

Please sign in to comment.