Federated Logic Conference 2026 — C6.10

Skip to content

PROGRAM AUTHORS Search

C6.10

Sessions

Keynote1 25 Jul · 09:00-09:30 Lean
Contributed talks 1 25 Jul · 09:30-10:30 Lean
Coffee Break 25 Jul · 10:30-11:00 Lean
Contributed talks 2 25 Jul · 11:00-12:30 Lean
Lunch 25 Jul · 12:30-14:00 Lean
Keynote 2 25 Jul · 14:00-14:30 Lean
Contributed talks 3 25 Jul · 14:30-15:30 Lean
Coffee Break 25 Jul · 15:30-16:00 Lean
Keynote 3 25 Jul · 16:00-16:30 Lean
Contributed talks 4 25 Jul · 16:30-17:30 Lean

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:

🔍

↑