The European Summer School in Logic, Language and Information (ESSLLI) is an annual
academic conference
An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...
organized by the European
Association for Logic, Language and Information. The focus of study is the "interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability".
["ESSLLI – Aims"](_blank)
, ( Association for Logic, Language and Information website). The conference is held over two weeks of the European Summer, and offers about 50 courses at introductory and advanced levels. It attracts around 500 participants from all over the world.
Venues
See also
*
Dynamic semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dyna ...
*
Generalized quantifier
In formal semantics, a generalized quantifier (GQ) is an expression that denotes a set of sets. This is the standard semantics assigned to quantified noun phrases. For example, the generalized quantifier ''every boy'' denotes the set of sets o ...
*
Type theory
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems.
Some type theories serve as alternatives to set theory as a foundation of ...
References
Bibliography
Programfor ESSLLI 2019:
Riga
Riga ( ) is the capital, Primate city, primate, and List of cities and towns in Latvia, largest city of Latvia. Home to 591,882 inhabitants (as of 2025), the city accounts for a third of Latvia's total population. The population of Riga Planni ...
Programfor ESSLLI 2015:
Barcelona
Barcelona ( ; ; ) is a city on the northeastern coast of Spain. It is the capital and largest city of the autonomous community of Catalonia, as well as the second-most populous municipality of Spain. With a population of 1.6 million within c ...
Programfor ESSLLI 2014:
Tübingen
Tübingen (; ) is a traditional college town, university city in central Baden-Württemberg, Germany. It is situated south of the state capital, Stuttgart, and developed on both sides of the Neckar and Ammer (Neckar), Ammer rivers. about one in ...
Programfor ESSLLI 2013:
Düsseldorf
Düsseldorf is the capital city of North Rhine-Westphalia, the most populous state of Germany. It is the second-largest city in the state after Cologne and the List of cities in Germany with more than 100,000 inhabitants, seventh-largest city ...
Programfor ESSLLI 2012:
Opole
Opole (; ; ; ) is a city located in southern Poland on the Oder River and the historical capital of Upper Silesia. With a population of approximately 127,387 as of the 2021 census, it is the capital of Opole Voivodeship (province) and the seat of ...
Programfor ESSLLI 2011:
Ljubljana
{{Infobox settlement
, name = Ljubljana
, official_name =
, settlement_type = Capital city
, image_skyline = {{multiple image
, border = infobox
, perrow = 1/2/2/1
, total_widt ...
Programfor ESSLLI 2010:
Copenhagen
Copenhagen ( ) is the capital and most populous city of Denmark, with a population of 1.4 million in the Urban area of Copenhagen, urban area. The city is situated on the islands of Zealand and Amager, separated from Malmö, Sweden, by the ...
Programfor ESSLLI 2009:
Bordeaux
Bordeaux ( ; ; Gascon language, Gascon ; ) is a city on the river Garonne in the Gironde Departments of France, department, southwestern France. A port city, it is the capital of the Nouvelle-Aquitaine region, as well as the Prefectures in F ...
Programfor ESSLLI 2008:
Hamburg
Hamburg (, ; ), officially the Free and Hanseatic City of Hamburg,. is the List of cities in Germany by population, second-largest city in Germany after Berlin and List of cities in the European Union by population within city limits, 7th-lar ...
Programfor ESSLLI 2007:
Dublin
Dublin is the capital and largest city of Republic of Ireland, Ireland. Situated on Dublin Bay at the mouth of the River Liffey, it is in the Provinces of Ireland, province of Leinster, and is bordered on the south by the Dublin Mountains, pa ...
Programfor ESSLLI 2006:
Málaga
Málaga (; ) is a Municipalities in Spain, municipality of Spain, capital of the Province of Málaga, in the Autonomous communities of Spain, autonomous community of Andalusia. With a population of 591,637 in 2024, it is the second-most populo ...
Program for ESSLLI 2005:
Edinburgh
Edinburgh is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. The city is located in southeast Scotland and is bounded to the north by the Firth of Forth and to the south by the Pentland Hills. Edinburgh ...
External links
Association for Logic, Language and Information– official home page
Computer science conferences
Information technology organizations based in Europe
Linguistics conferences
Logic conferences
Mathematical logic organizations
Philosophical logic
Philosophy education
Summer schools
{{compu-conference-stub