ICFP 2024
CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS
29th ACM SIGPLAN International Conference on Functional Programming
https://icfp24.sigplan.org/track/icfp-2024-tutorials
September 2 - 7, 2024
Milan, Italy
https://icfp24.sigplan.org/ <https://icfp23.sigplan.org/>
The 29th ACM SIGPLAN International Conference on Functional
Programming will be held in Milan, Italy on September 2 - 7,
2024, with the option of virtual participation. ICFP provides a forum
for researchers and developers to hear about the latest work on the
design, implementations, principles, and uses of functional
programming.
Proposals are invited for tutorials, lasting approximately 3 hours each,
to be presented during ICFP and its co-located workshops and other events.
The tutorials may target an audience who is interested in commercial uses
of functional programming, but we also welcome tutorials whose primary
audience is researchers rather than practitioners. Tutorials may focus
either
on a concrete technology or on a theoretical or mathematical tool. Ideally,
tutorials will have a concrete result, such as "Learn to do X with Y"
rather than "Learn language Y".
Just like last year, following the success of the #ShutDownPL event, we are
also
inviting proposals for panels and discussions on topics of broader interest
to the PL community.
Tutorials, panels, and discussions may occur before or after ICFP,
co-located with the associated workshops, on September 2 or September 6-7.
----------------------------------------------------------------------
Submission details
Deadline for submission: May 24, 2024
Notification of acceptance: May 27, 2024
Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2024 workshop
co-chairs (Yannick Forster and Chandrakana Nandi), via email to
yannick.forster(a)inria.fr and chandra(a)certora.com
by May 24rd, 2024. Please note that this is a firm deadline.
The proposal form is available at:
http://www.icfpconference.org/icfp2024-files/icfp24-panel-form.txt
<http://www.icfpconference.org/icfp2023-files/icfp23-panel-form.txt>
http://www.icfpconference.org/icfp2024-files/icfp24-tutorials-form.txt
<http://www.icfpconference.org/icfp2023-files/icfp23-tutorials-form.txt>
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2024 organizing committee, together
with the members of the SIGPLAN executive committee.
Workshop Co-Chair: Yannick Forster (Inria Nantes)
Workshop Co-Chair: Chandrakana Nandi (Certora Inc.)
General Chair: Marco Gaboardi (Boston University)
Program Chair: Brigitte Pientka (McGill University)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs (Yannick Forster
and Chandrakana Nandi), via email to
yannick.forster(a)inria.fr and chandra(a)certora.com
Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 201:5924
https://msfp-workshop.github.io/msfp2024/
** Deadline: Friday 26th April (abstract), Tuesday 30th April (paper) **
The tenth workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Where would Haskell be without monads? Functional
reactive programming without arrows? Call-by-push-value without
adjunctions? The list goes on. This workshop is a forum for researchers who
seek to reflect mathematical phenomena in data and control.
MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in
affiliation with FSCD (https://compose.ioc.ee/icalp2024/) Previous
instances have been held in Munich (with ETAPS 2022), virtually (2020), in
Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS
2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik
(with ICALP 2008), and Kuressaare (with MPC and AMAST 2006).
Important Dates:
================
Abstract deadline: Friday 26th April (AoE)
Paper deadline: Tuesday 30th April (AoE)
Notification: Tuesday 4th June (16:00 UTC)
Final version: Tuesday 25th June (AoE)
Workshop: Monday 8th July
Invited Speakers:
=================
TBA
Programme Committee:
====================
Kazuyuki Asada - Tohoku University, JP
Robert Atkey - University of Strathclyde, UK
Ana Bove - Chalmers University of Technology, SE
Liang-Ting Chen - Academia Sinica, TW
Peng Fu - University of South Carolina, US
Jeremy Gibbons - University of Oxford, UK (co-chair)
Kuen-Bang Hou (Favonia) - University of Minnesota, UK (co-chair)
Robin Kaarsgaard - University of Southern Denmark, DK
Paul Blain Levy - University of Birmingham, UK
Dan Marsden - University of Nottingham, UK
Dylan McDermott - Reykjavik University, IS
(more to follow)
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Favonia (kbh(a)umn.edu) and Jeremy
Gibbons (jeremy.gibbons(a)cs.ox.ac.uk) if you have any questions about the
scope of the workshop.
We accept two categories of submission: full papers of at most 15 pages
that will appear in the proceedings (published with EPTCS) and extended
abstracts of at most two pages, which we will post on the website but do
not constitute formal publications and will not appear in the proceedings.
A short abstract should be submitted by four days in advance of the paper
deadline (for both full paper and extended abstract submissions). For full
details, see the webpage.
We are using EasyChair to manage submissions:
https://easychair.org/conferences/?conf=msfp2024
Call for Contributions -- Deadline Extension
TYPES 2024
30th International Conference on
Types for Proofs and Programs
Copenhagen, Denmark, 10 - 14 June 2024
https://types2024.itu.dk
===============================[ NEWS ]==============================
DATES
-----
* Submission of abstract 11 March 2024 AoE **NEW**
* Author notification 19 April 2024 AoE
* Camera-ready version of abstract 10 May 2024 AoE
* Conference 10 - 14 June 2024
ACCOMMODATION
-------------
We have reserved a number of hotel rooms at reduced rates.
Details at https://types2024.itu.dk/Venue.html
=====================================================================
OVERVIEW
--------
The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.
The TYPES areas of interest include, but are not limited to:
* foundations of type theory and constructive mathematics;
* 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.
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.
CONTRIBUTED TALKS
-----------------
TYPES solicits contributed talks to stimulate discussions. Selection
of those will be based on extended abstracts/short papers of 2 pp
(not including bibliography) formatted with easychair.cls.
Camera-ready versions of the accepted contributions will be published
in an informal book of abstracts for distribution during the
conference.
POST-PROCEEDIGNS
----------------
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.
Tentative submission deadline for the post-proceedings: October 2024.
PROGRAMME COMMITTEE
-------------------
Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair)
Henning Basold (Leiden University, The Netherlands)
Andrej Bauer (University of Ljubljana, Slovenia)
Marco Carbone (IT University of Copenhagen, Denmark)
Jesper Cockx (TU Delft, The Netherlands)
Greta Coraglia (University of Milan, Italy)
Peter Dybjer (Chalmers University of Technology, Sweden)
Yannick Forster (INRIA, France)
Hugo Herbelin (INRIA, France)
Patricia Johann (Appalachian State University, USA)
Marie Kerjean (CNRS, France)
Ekaterina Komendantskaya (University of Southampton, United Kingdom)
Meven Lennon-Bertrand (University of Cambridge, United Kingdom)
Assia Mahboubi (INRIA, France)
Sonia Marin (University of Birmingham, United Kingdom)
Anders Mörtberg (Stockholm University, Sweden)
Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (co-chair)
Benjamin Pierce (University of Pennsylvania, USA)
Jakob Rehof (Technical University of Dortmund, Germany)
Simona Ronchi Della Rocca (University of Turin, Italy)
Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands)
Ana Sokolova (University of Salzburg, Austria)
Bas Spitters (Aarhus University, Denmark)
Wouter Swierstra (Utrecht University, The Netherlands)
Philip Wadler (University of Edinburgh, United Kingdom)
TYPES STEERING COMMITTEE
------------------------
Sandra Alves (University of Porto, Portugal)
Eduardo Hermo Reyes (Formal Vindications, Spain)
Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
Paige Randall North (Utrecht University, The Netherlands) (chair)
Matthieu Sozeau (INRIA & Université de Nantes, France)
Benno van den Berg (University of Amsterdam, The Netherlands) (secretary)
ABOUT TYPES
-----------
The TYPES meetings from 1990 to 2008 were annual workshops of a sequence
of five EU funded networking projects. From 2009 to 2021, 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).
CONTACT
-------
Email: types2024(a)easychair.org
ORGANIZERS
----------
Patrick Bahr (IT University of Copenhagen, Denmark)
Marco Carbone (IT University of Copenhagen, Denmark)
Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
Dear all,
There are just a few days left now to register for this years
Midlands Graduate School (MGS) in Leicester. Seven fantastic
courses on category theory, proof theory, type theory, session
types, and more. 8-12 April 2024, Leicester, UK.
Registration closes Friday 8th March.
Best wishes,
Graham Hutton
==========================================================
Midlands Graduate School 2024
8-12 April 2024, Leicester, UK
https://www.cs.le.ac.uk/events/mgs2024/
BACKGROUND:
The Midlands Graduate School (MGS) in the Foundations of
Computing Science provides an intensive course of lectures
on the mathematical foundations of computing. The MGS has
been running since 1999, and is aimed at PhD students in
their first or second year of study, but the school is open
to everyone, and has increasingly seen participation from
industry. We welcome participants from all over the world!
COURSES:
Seven courses will be given. Participants usually take all
the introductory courses and choose additional options from
the advanced courses depending on their interests.
Guest lecture
- Formalisation of Mathematics, Kevin Buzzard
Introductory courses
- Category Theory, Thorsten Altenkirch
- Proof Theory, Abhishek De and Iris van der Giessen
- Type Theory with Agda, Todd Ambridge
Advanced courses
- Session Types, Sonia Marin
- Synthetic Homotopy Theory with HoTT/UF, Ulrik Buchholtz
- Graph Rewriting, Reiko Heckel
- Categorical Realisability, Tom de Jong
REGISTRATION:
Registration is £295 for students, and £550 for academic,
industry and independent participants. The fee includes
all lecture courses and example classes, lunch and coffee
breaks, and the conference dinner.
The registration deadline is ** Friday 8th March **. Spaces
are limited, so please register early to secure your place.
SPONSORSHIP:
We offer a range of sponsorship opportunities for industry
(bronze, silver, gold and platinum), each with specific
benefits. Please see the website for further details.
==========================================================
—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.
