The Association for Logic, Language and Information (FoLLI) is an international, especially European,
learned society
A learned society (; also learned academy, scholarly society, or academic association) is an organization that exists to promote an academic discipline, profession, or a group of related disciplines such as the arts and science. Membership ...
. It was founded in 1991 "to advance the practicing of research and education on the interfaces between Logic, Linguistics, Computer Science and Cognitive Science and related disciplines." The
academic journal
An academic journal or scholarly journal is a periodical publication in which scholarship relating to a particular academic discipline is published. Academic journals serve as permanent and transparent forums for the presentation, scrutiny, and ...
Journal of Logic, Language and Information (JoLLI) is published under its auspices; it co-ordinates summer schools such as the
European Summer School in Logic, Language and Information (ESSLLI), the ''North American Summer School in Logic, Language, and Information'' (NASSLLI), and the ''International Conference and Second East-Asian School on Logic, Language and Computation'' (EASLLC); and it awards the
E. W. Beth Dissertation Prize The Association for Logic, Language and Information (FoLLI) each year awards the ''E. W. Beth Dissertation Prize'', named in honor of the Dutch mathematician Evert Willem Beth, to outstanding PhD theses in the fields of Logic, Language, and Informat ...
to outstanding dissertations in the fields of Logic, Language, and Information.
Governance
The current president of FoLLI is Larry Moss (since 2020). The current management board consists of
Larry Moss (president),
Sonja Smets
Sonja Smets is a Belgian and Dutch logician and epistemologist known for her work in belief revision and quantum logic. She is Professor of Logic and Epistemology at the University of Amsterdam, where she was the Director of the Institute for Log ...
(vice president),
Natasha Alechina
Natasha (russian: Наташа) is a name of Slavic languages, Slavic origin. The Slavic name is the diminutive form of Natalia (given name), Natalia.
Notable people
* Natasha, the subject of ''Natasha's Story'', a 1994 nonfiction book
* Natasha ...
(secretary), Nina Gierasimczuk (treasurer),
Valentin Goranko
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.
Education and academic career
Goranko ...
(senior member), Darja Fiser,
Benedikt Löwe
Benedikt Löwe (born 1972) is a German mathematician and logician working at the
universities of Amsterdam, Hamburg, and Cambridge.
He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the ...
, Louise McNally, and Pritty Patel-Grosz.
[
]
Past Presidents include
Johan van Benthem (1991-1995),
Wilfrid Hodges (1995-1996),
Erhard Hinrichs (1997-1998),
Paul Gochet (1999-2001),
Hans Uzskoreit (2002-2003),
Luigia Carlucci Aiello
Luigia (Gigina) Carlucci Aiello (also published as Luigia Carlucci, born 1946) is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome.
Education and career
Aiello is originally from Fabrian ...
(2004-2007),
Michael Moortgat (2007-2012),
Ann Copestake (2012-2016),
and
Valentin Goranko
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.
Education and academic career
Goranko ...
(2016-2020).
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 dynam ...
*
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 of ...
*
Information theory
Information theory is the scientific study of the quantification, storage, and communication of information. The field was originally established by the works of Harry Nyquist and Ralph Hartley, in the 1920s, and Claude Shannon in the 1940s. ...
*
Type theory
In mathematics, logic, and computer science, a type theory is the formal system, formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theor ...
References
Bibliography
Programfor ESSLLI 2012:
Opole
Opole (; german: Oppeln ; szl, Ôpole) ;
* Silesian:
** Silesian PLS alphabet: ''Ôpole''
** Steuer's Silesian alphabet: ''Uopole''
* Silesian German: ''Uppeln''
* Czech: ''Opolí''
* Latin: ''Oppelia'', ''Oppolia'', ''Opulia'' is a city lo ...
Programfor ESSLLI 2009:
Bordeaux
Bordeaux ( , ; Gascon oc, Bordèu ; eu, Bordele; it, Bordò; es, Burdeos) is a port city on the river Garonne in the Gironde department, Southwestern France. It is the capital of the Nouvelle-Aquitaine region, as well as the prefecture ...
Programfor ESSLLI 2008:
Hamburg
Hamburg (, ; nds, label=Hamburg German, Low Saxon, Hamborg ), officially the Free and Hanseatic City of Hamburg (german: Freie und Hansestadt Hamburg; nds, label=Low Saxon, Friee un Hansestadt Hamborg),. is the List of cities in Germany by popul ...
Programfor ESSLLI 2007:
Dublin
Dublin (; , or ) is the capital and largest city of Ireland. On a bay at the mouth of the River Liffey, it is in the province of Leinster, bordered on the south by the Dublin Mountains, a part of the Wicklow Mountains range. At the 2016 ...
Programfor ESSLLI 2006:
Málaga
Programfor ESSLLI 2005:
Edinburgh
Edinburgh ( ; gd, Dùn Èideann ) is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. Historically part of the county of Midlothian (interchangeably Edinburghshire before 1921), it is located in Lothian ...
External links
Association for Logic, Language and Information— FoLLI official home page
Academic conferences
Computer science organizations
Mathematical logic organizations
Philosophical logic
Philosophy organizations
Organizations established in 1991
Linguistics organizations
1991 establishments in France
{{Int-org-stub