[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[apologies for cross-posting]
Please distribute
Call for Participation – Fifth Nordic Logic Summer School (NLS 2024)
Call for Abstracts and extension – Twelfth Scandinavian Logic Symposium (SLSS
2024)
Reykjavik University, Iceland
Event Dates:
NLS 2024: 10-13/6
SLSS 2024: 14-16/6
SLSS extended abstract submission deadline: April 12
Website:
https://urldefense.com/v3/__https://scool24.github.io/__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl54FY1CxA$
deadline for students to apply for accommodation: May 15
https://urldefense.com/v3/__https://scool24.github.io/student_accommodation/__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl7V0Z1aTw$
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. This year, both events will take place this June
2024 in Reykjavik, Iceland. NLS will take place from June 10 to 13, and SLSS
from June 14 to 16.
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.
Lecturers:
Jandson Ribeiro (Philosophical logic)
Sandra Kiefer (Learning and logic)
Miika Hannula (Model theory)
Greg Restall (Proof theory)
Rineke Verbrugge (Logic, CS and AI)
For updated information about the summer school and to register, please follow
the link:
https://urldefense.com/v3/__https://scool24.github.io/NLS/__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl7brzB1Ag$
SLSS 2024 Call for Abstracts:
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 invited lectures and a forum for participants
to present contributed talks.
Suggested topics
The scope of SLSS is broad, ranging over the whole areas of Mathematical and
Philosophical Logic, as well as Logical Methods in Computer Science, Artificial
Intelligence, Linguistics, among others. Major topics include (but are not
limited to):
Proof Theory
Constructivism
Model Theory
Set Theory
Computability Theory
Algebra and Logic
Categorical Logic
Modal and Temporal Logics
Dynamic Logics
Logic and Computer Science
Logic in AI and Multi-Agent Systems
Logic and Linguistics
Philosophical Logic
Philosophy of Logic, Mathematics and Computation
Programme Committee
Antonios Achilleos (Reykjavik University, co-chair)
Dag Westerståhl (Stockholm University, Tsinghua University, co-chair)
Gaia Belardinelli (University of Copenhagen)
Jens Classen (Roskilde University)
Salvatore Florio (University of Oslo)
Juha Kontinen (University of Helsinki)
Vera Koponen (Uppsala University)
Maria Magdalena Ortiz de la Fuente (TU Wien)
Mina Young Pedersen (University of Bergen)
Esko Turunen (TU Wien)
Invited Speakers
Fausto Barbero (University of Helsinki)
Sara Negri (University of Genoa)
Aybüke Özgün (ILLC, University of Amsterdam)
Submissions
Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt)
pages, should be submitted through EasyChair:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=slss2024__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl7gz_9o_A$
by April 7 (extended: April 12) 2024 (AoE). Abstracts should be typeset
following the format of a LaTeX class file SLS2014.cls, or in a similar format
if you prefer not to use LaTeX.
Sponsorship by the Association for Symbolic Logic [expired]
NLS 2024 and SLSS 2024 are sponsored by the ASL. This means that any student
who wants to attend these events can apply for an ASL Student Travel Award to
partially cover their expenses. Please note that to do so, the student must be
an ASL member, and they must send their application to ASL by March 19 at the
latest. For more information and to apply for an ASL award, please follow this
link:
https://urldefense.com/v3/__https://aslonline.org/student-travel-awards/__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl7dZg17cA$
Student Accommodation
Students attending SCooL 2024 can apply for shared accommodation close to
Reykjavik University. However, please note that accommodation availability is
limited, and priority will be granted to those attending multiple events. The
application deadline is May 15, 2024, but interested students are encouraged to
apply as soon as possible.
To apply for a spot and for more information, please visit
https://urldefense.com/v3/__https://scool24.github.io/student_accommodation/__;!!IBzWLUs!V0dfHmPBE2pr1HSczWevpmkZ7aT9kRZ4A_filkhXOP9bAlAhAt0wZVtDqL8BHSjEJapMAq-O5WOh0K2NT0TAAl7V0Z1aTw$
Important dates
Submission deadline (extended): April 7 April 12
Notification: April 30
Final programme: TBA
ASL travel award deadline: March 19 (expired)
Application for student accommodation: May 15
Conference: 14-16 June, 2024
