TEAL — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
Location:
C6.01
| 09:00-09:05 |
Welcome (abstract) 5 min
1 Brown University
2 Ruhr University Bochum
|
| 09:05-09:25 |
SAT-IT: an Online Interactive SAT Tracer (abstract) 20 min
1 University of Girona
|
| 09:25-09:45 |
Logic for Fun: demonstration (abstract) 20 min
1 Australian National University
|
| 09:45-10:05 |
LogicProof: An Interactive Web-Based Educational Theorem Prover for Natural Deduction and Sequent Calculus across Classical and Constructive Logics (abstract) 20 min
1 Technical University of Košice
|
Location:
C6.01
| 11:05-11:25 |
Teaching LTL and ω-Automata with Spot (abstract) 20 min
1 LRE
2 EPITA
|
| 11:25-11:45 |
Tempus fugit: Anyone can understand temporal logic if they have to save the realm (abstract) 20 min
1 Télécom SudParis, Institut Polytechnique de Paris
2 Technische Universität Berlin
|
Location:
C6.01
| 13:30-13:50 |
A Lean-based Language for Teaching Proof in High School (abstract) 20 min
1 LCIS, Grenoble INP - UGA
2 IRIF, Université Paris Cité
|
| 13:50-14:10 |
Waterproof Editor: an educational environment for proof assistants and programming languages (abstract) 20 min
1 Utrecht University
2 Radboud University Nijmegen
3 Eindhoven University of Technology
|
Location:
C6.01
| 15:10-15:30 |
Carnap Ten Years Later: Lessons Learned and Next Steps (abstract) 20 min
1 Draper Laboratory
|
| 15:30-15:40 |
Learning Formal Foundations of Computer Science with Iltis (abstract) 10 min
1 Ruhr University Bochum
|
| 15:40-15:50 |
A Tutor for Linear Temporal Logic (abstract) 10 min
1 Brown University
2 University of Utah
|