Skip to Content.

Sympa Menu

lfcs-interest - Events and news relevant to the Laboratory for Foundations of Computer Science

List Options Menu

Subject: Events and news relevant to the Laboratory for Foundations of Computer Science

List archive

2025
01
02
03
04
05
06
07
08
09
10
11
12

2026
01
02
03
04
05
06
07
08
09
10
11
12

2026/07 7 mails

<< < page 1 / 1 > >>

[LFCS seminar] 07 Jul (tomorrow): Pablo Donato, Charles University, Prague: Towards a Curry-Howard correspondence for existential graphs, Ohad Kammar, 07/06/2026
[LFCS seminar] 07 Jul (now): Pablo Donato, Charles University, Prague: Towards a Curry-Howard correspondence for existential graphs, Ohad Kammar, 07/07/2026
Call for participation: Plotkin 80 / LFCS 40 / Wadler 70, James Cheney, 07/14/2026
FSCD 2026: Free online participation, 20 - 23 July 2026, Carsten Fuhs, 07/16/2026
Isabelle-related FLoC practice talks, Paul Jackson, 07/20/2026
TPTP v9.3.0, geoff, 07/27/2026
Call for ESSLLI 2027 Lectures and Workshops, Danel Ahman, 07/30/2026

Archive powered by MHonArc 2.6.24.