categories - Category Theory list
 help / color / mirror / Atom feed
* 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
@ 2025-05-08 11:35 ESSLLI Publicity
  0 siblings, 0 replies; only message in thread
From: ESSLLI Publicity @ 2025-05-08 11:35 UTC (permalink / raw)
  To: fom, categories, categories, proof-complexity

[-- Attachment #1: Type: text/plain, Size: 2754 bytes --]

We invite you to participate in the 36th European Summer School in Logic, Language and Information (ESSLLI), taking place from 28 July - 8 August, 2025 at Ruhr University Bochum, Germany.


https://2025.esslli.eu/<https://url.au.m.mimecastprotect.com/s/GzM6Cp81gYCnPMBkmhPfGfGGQFI?domain=2025.esslli.eu/>


* Registration


Registration for attendees is open. *The early-bird registration deadline is Saturday, 31st May.*


https://2025.esslli.eu/registration/registration.html<https://url.au.m.mimecastprotect.com/s/iiRbCq71jxf8G0oBZTXhVfEnsmx?domain=2025.esslli.eu>


* Overview


The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organized under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives.


ESSLLI attracts around 400 participants from Europe, the Middle East, Asia and Africa, as well as from North America and Latin America. ESSLLI has become the main meeting place for young researchers and students in logic, linguistics and computer science to discuss current research and to share knowledge. The event is unique in its interdisciplinary set-up, with no equivalents in Europe.


* Programme


The ESSLLI Summer School offers an exciting two-week programme, consisting of the following:


- Foundational, introductory and advanced courses in three areas: Language and Computation, Logic and Computation, and Logic and Language

- Workshops in logic, linguistics and computer science

- Student session

- Evening lectures

- Social activities


The full program can be found on the website.


* Accommodation


Various options for accommodation at special negotiated rates are listed on the website and available first-come, first-served. We have also set up a dedicated Discord server which can be used for coordinating shared apartments, etc.



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10617 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-05-08 20:17 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-05-08 11:35 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).