Logic List Mailing Archive

CfProposals: ESSLLI 2025, July 28 - August 8 2025, Bochum (Germany)

36th European Summer School in Logic, Language and Information (ESSLLI 2025)
       July 28-August 8, 2025, Ruhr University Bochum, Germany
              https://2025.esslli.eu/
(Please note that the Website is not currently online, but will soon be.)

Important Dates
=========================

July 10, 2024: Deadline for submitting course/workshop titles
July 24, 2024: Deadline for submitting course/workshop proposals
October 15, 2024: Notification sent to course/workshop proposers

Note that submitting a proposal requires that the person submitting it has 
an OpenReview profile. Profiles created without an institutional email may 
go through a moderation process that can take up to two weeks to be activat
ed. Profiles created with an institutional email are activated automaticall
y.


Introduction
=========================

Under the auspices of the Association for Logic, Language, and Information 
(FoLLI), the European Summer School in Logic, Language, and Information (ES
SLLI) runs every year. Except for 2021, when the school was virtual, it run
s in a different European country each year. It takes place over two weeks 
in the summer, hosts approximately 50 different courses at levels that run 
from foundational to introductory to advanced, and attracts around 400 part
icipants from all over the world.

Since 1989, ESSLLI has been providing outstanding interdisciplinary educati
onal opportunities in the fields of Computer Science, Cognitive Science, Li
nguistics, Logic, Philosophy, and beyond. It comes from a community which r
ecognizes that advances in our common areas require the contributions of mu
ltiple interrelated disciplines.

The main focus of ESSLLI is the interface between linguistics, logic and co
mputation, with special emphasis on human linguistic and cognitive ability.
 Courses, both introductory and advanced, cover a wide variety of topics wi
thin the combined areas of interest: Logic and Computation, Computation and
 Language, and Language and Logic. Workshops are also organized, providing 
opportunities for in-depth discussion of issues at the forefront of researc
h, as well as a series of invited evening lectures.

Topics and Format
=========================

Proposals for courses and workshops at ESSLLI 2025 are invited in all areas
 of Logic, Linguistics and Computer Science. Cross-disciplinary and innovat
ive topics are particularly encouraged. During submission you will be asked
 to select one of three tracks "Language and Computation (LaCo)", "Language
 and Logic (LaLo)", "Logic and Computation (LoCo)".

Each course and workshop will consist of five 90 minute sessions, offered d
aily (Monday-Friday) in a single week. Proposals for two-week courses shoul
d be structured and submitted as two independent one-week courses, e.g. as 
an introductory course followed by an advanced one. In such cases, the ESSL
LI Program Committee reserves the right to accept just one of the two propo
sals.

All instructional and organizational work at ESSLLI is performed completely
 on a voluntary basis, so as to keep participation fees to a minimum. Howev
er, organizers and instructors have their registration fees waived, and are
 reimbursed for travel and accommodation expenses up to a level to be deter
mined and communicated with the proposal notification. ESSLLI can only guar
antee reimbursement for at most one course/workshop organizer, and cannot g
uarantee full reimbursement of travel costs for lecturers or organizers fro
m outside of Europe. The ESSLLI organizers would appreciate any help in con
trolling the School's expenses by seeking partial or complete coverage of t
ravel and accommodation expenses from other sources.

Categories
=========================

Each proposal should fall under one of the following categories.

Foundational Courses
-------------------------------------------

Such courses are designed to present the basics of a research area, to peop
le with no prior knowledge in that area. They should be of elementary level
, without prerequisites in the course's topic, though possibly assuming a l
evel of general scientific maturity in the relevant discipline. They should
 enable researchers from related disciplines to develop a level of comfort 
with the fundamental concepts and techniques of the course's topic, thereby
 contributing to the interdisciplinary nature of our research community.

Introductory Courses
-------------------------------------------

Introductory courses are central to ESSLLI's mission. They are intended to 
introduce a research field to students, young researchers, and other non-sp
ecialists, and to foster a sound understanding of its basic methods and tec
hniques. Such courses should enable researchers from related disciplines to
 develop some comfort and competence in the topic considered. Introductory 
courses in a cross-disciplinary area may presuppose general knowledge of th
e related disciplines.

Advanced Courses
-------------------------------------------

Advanced courses are targeted primarily to graduate students who wish to ac
quire a level of comfort and understanding in the current research of a fie
ld.

Workshops
-------------------------------------------

Workshops focus on specialized topics, usually of current interest. Worksho
p organizers are responsible for soliciting papers and selecting the worksh
op program. They are also responsible for publishing proceedings if they de
cide to have proceedings.

Proposal Guidelines
=========================

Course and workshop proposals should closely follow these guidelines to ens
ure full consideration.

Course and Workshop proposals can be submitted by no more than two lecturer
s/organizers and can be presented by no more than these two lecturers/organ
izers. All instructors and organizers must possess a PhD or equivalent degr
ee by the submission deadline.

Course proposals should mention explicitly the intended course category. Pr
oposals for introductory courses should indicate the intended level, for ex
ample as it relates to standard textbooks and monographs in the area.
Proposals for advanced courses should specify the prerequisites in detail.

Proposals of Courses given at ESSLLI in the previous year will have a lower
 priority of being accepted in the current year.

Proposals must be in PDF format and include all the following information:

1. Personal information for each proposer: Name, affiliation, contact addre
ss, email, homepage (optional)
2. General proposal information: Title, category
3. Contents information:
 a. Abstract of up to 150 words
 b. Motivation and description (up to two pages)
 c. Tentative outline
 d. Expected level and prerequisites
 e. Appropriate references (e.g. textbooks, monographs, proceedings, survey
s)
4. Information required of course proposers:
 a. Will the course appeal to students outside of the main discipline of th
e course?
 b. What experience does the proposer have in presenting an intensive one-w
eek interdisciplinary setting?
 c. What evidence is there that the course proposer is an excellent lecture
r?
5. Information required of workshop organizers:
 a. Information on relevant preceding meetings and events, if applicable
 b. Information about potential external funding for participants.


Submission Information
=========================

By July 10, 2024, proposers are asked to submit at least the name(s) of the
 instructor(s), the ESSLLI area+course level and a title and short abstract
 for the proposed course/workshop.

By July 24, 2024, course proposers must complete their submission by upload
ing a PDF with the actual proposal as detailed above.

Submission Portal
=========================

Please submit your proposals to https://openreview.net/group?id=ESSLLI.eu
/2025/Summer_School_Proposals

Note that submitting a proposal requires that the person submitting it has 
an OpenReview profile. Profiles created without an institutional email may 
go through a moderation process that can take up to two weeks to be activat
ed. Profiles created with an institutional email are activated automaticall
y.

EACSL Sponsorship
=================

The EACSL will support one Logic and Computation course or workshop address
ing topics of interest to Computer Science Logic (CSL) conferences. The sel
ected course or workshop will be designated an EACSL course/workshop in the
 programme. If you wish to be considered for this, please indicate it in yo
ur proposal.

Organizing Committee
=========================

Tatjana Scheffler (Ruhr University Bochum, chair)
Maria Berger (Ruhr University Bochum)
Maike Buchin (Ruhr University Bochum)
Daniel Gutzmann (Ruhr University Bochum)
Stephanie Heimgartner (Ruhr University Bochum)
Kristina Liefke (Ruhr University Bochum)
Hannah Seemann (Ruhr University Bochum)
Christian Straer (Ruhr University Bochum)
Katharina Turgay (Ruhr University Bochum)
Thomas Zeume (Ruhr University Bochum)

Program Committee
=========================

Balder ten Cate (ILLC, University of Amsterdam, chair)
Daniel Gutzman (Ruhr University of Bochum, local co-chair)

Area Chairs Language and Computation (LaCo)
-------------------------------------------
- Nicholas Asher (IRIT/CNRS Toulouse)
- Martha Lewis (ILLC, University Amsterdam)
- Valerio Basile (University of Turin)

Area Chairs Language and Logic (LaLo)
-------------------------------------------
- Daniel Altshuler (Oxford University)
- Elin McCready (Aoyama Gakuin University)
- Judith Tonhauser (University of Stuttgart)

Area Chairs Logic and Computation (LoCo)
-------------------------------------------
- Luca Reggio (University College London)
- Leopoldo Bertossi (Skema Business School & Carleton University)
- Anupam Das (University of Birmingham)

Publicity Chair: Sren Knudstorp (ILLC, University of Amsterdam)

ESSLLI Steering Committee
=========================

Jakub Szymanik (University of Trento) (chair)
Magdalena Ortiz (TU Wien)
Roman Kuznets (TU Wien) (secretary)
Mehrnoosh Sadrzadeh (University College London)
Lonneke van der Plas (Idiap Research Institute)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php