[TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024

[Antonios Achilleos]

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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240529/cf4bbfed/attachment-0001.htm>