[TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension

Antonios Achilleos antonios at ru.is
Sat Apr 6 12:40:27 EDT 2024


[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



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


More information about the Types-announce mailing list