Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] ICALP-LICS-FSCD joint call for workshops
@ 2023-11-08 21:14 Sam Staton
  0 siblings, 0 replies; only message in thread
From: Sam Staton @ 2023-11-08 21:14 UTC (permalink / raw)
  To: categories, GAMES, theorem-provers, concurrency,
	finite-model-theory, asl, agda, appsem, lfcs-interest, cade,
	prog-lang, linear, DMANET, homotopytypetheory, rewriting,
	types-announce, coq-club, ProofTheory@lists.bath.ac.uk, las-lics

ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th to 13th of July.
We invite proposals for workshops on topics of interest to the ICALP, LICS, and FSCD conferences. Note that workshops for ICALP track B and LICS will be joint this year.

Proposals must be limited to three pages and should be submitted to 

icalp-lics-fscd-24-workshops@inria.fr . 

Workshop proposals must include all the information listed at:

https://lics.siglog.org/lics24/cfw.php

The organising and workshop committees of ICALP, LICS, and FSCD will determine the final list of accepted workshops based on topics and time/space availability.

IMPORTANT DATES
- Submission of workshop proposals: 31 December
- Notification of the accepted workshops: end of January
- Programme of the workshops ready: 31st May
- Workshops:
 * ICALP track A: 6-7th July
 * ICALP track B / LICS: 6-7th July
 * FSCD: 8-9th and potentially 14th July
- Main conferences:
 * ICALP: 8-12 July
 * LICS: 8-11 July
 * FSCD: 10-13 July

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/AB63C04E-0534-499E-A816-D320444EA2C1%40cs.ox.ac.uk.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-11-08 21:14 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-08 21:14 [HoTT] ICALP-LICS-FSCD joint call for workshops Sam Staton

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).