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 > >>

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

Archive powered by MHonArc 2.6.24.