[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Please distribute.
Call for Participation:
Fifth Nordic Logic Summer School (NLS 2024)
Twelfth Scandinavian Logic Symposium (SLSS 2024)
Fifteenth International Symposium on Games, Automata, Logics, and Formal
Verification (GandALF 2024)
Reykjavik University, Iceland
Event Dates:
NLS 2024: 10-13/6
SLSS 2024: 14-16/6
GandALF 2024: 19-21/6
Early registration deadline: May 31, 2024
Website:
https://urldefense.com/v3/__https://scool24.github.io/__;!!IBzWLUs!TTZ6znz4uxiOWzsCsunxaw6fptChxvl5XxWRtpGwlixz_c1QTJcNFfQlivj4-bRRrbblxW28gG7DCAiolJjezp_dFqiBbQ$
The Nordic Logic Summer School (NLS) and Scandinavian Logic Symposium (SLSS)
are, respectively, the Summer School and the Symposium organized by the
Scandinavian Logic Society. GandALF is the International Symposium on Games,
Automata, Logics, and Formal Verification. This year, all three events will
take place this June 2024 in Reykjavik, Iceland. NLS will take place from June
10 to 13, SLSS from June 14 to 16, and GandALF from June 19 to 21.
The three events are part of SCooL 2024, the First Reykjavik Summer of Cool
Logic. In total, SCooL includes five lectures and seven invited talks on logic,
games, automata, and formal verification, twenty contributed talks on logic as
part of SLSS, and ten contributed talks as part of GandALF (details below and
at the website).
We hope you will join us for an exciting, logical summer in Iceland, with
bright nights, brighter discussions, and volcanic eruptions.
Please note that the early registration deadline expires soon.
NLS 2024 Call for Participation:
The intended audience for NLS is advanced master students, PhD-students,
postdocs, and experienced researchers wishing to learn the state of the art in
a particular subject. As usual, this year, we have an exciting lineup of five
lecturers on a wide spectrum of topics.
Lectures:
Miika Hannula:
Model-theoretic perspectives on logics of dependence and independence
Sandra Kiefer:
Learning Properties on Graphs and Other Relational Structures
Greg Restall:
Proof Theory for Classical, Constructive, Substructural and Modal Logics
Jandson Ribeiro:
Belief Change: Foundations and Frontiers
Rineke Verbrugge:
From Epistemic Logic to Social Cognition
For updated information about the summer school and to register, please follow
the link:
https://urldefense.com/v3/__https://scool24.github.io/NLS/__;!!IBzWLUs!TTZ6znz4uxiOWzsCsunxaw6fptChxvl5XxWRtpGwlixz_c1QTJcNFfQlivj4-bRRrbblxW28gG7DCAiolJjezp8s3yqDcA$
SLSS 2024 Call for Participation:
The primary aim of the Symposium is to promote research in the field of logic
(broadly conceived) carried out in research communities in Scandinavia.
Moreover, it warmly invites the participation of logicians from all over the
world. The meeting will include three invited lectures and 21 contributed
talks, covering a broad range of topics in logic.
Invited Talks
Fausto Barbero:
Causal models and their generalizations
Sara Negri:
Second order well-behaved
Aybüke Özgün:
Imagination, Mereotopology, and Topic Expansion
GandALF 2024 Call for Participation:
The aim of GandALF 2024 is to bring together researchers from academia and
industry who are actively working in the fields of Games, Automata, Logics, and
Formal Verification. The idea is to cover an ample spectrum of themes, ranging
from theory to applications, and stimulate cross-fertilization. This year, we
have four exciting invited talks and ten contributed talks.
Invited Talks
Bernd Finkbeiner:
Hyperproperties: the exciting world beyond k-hypersafety
Kim Guldstrand Larsen:
Shielded Reinforcement Learning for Safe and Optimal Cyber Physical
Systems
Brigitte Pientka:
Mechanizing Session-Types: Challenges and Lessons Learned
Azalea Raad:
Bug Detection at Scale
