Events & Activities

In addition to the summer schools ESSLLI and NASSLI, FoLLI FoLLI is endorsing and sponsoring a number of international activities in the fields of Logic, Language and Information.

• LENLS22, Logic and Engineering of Natural Language Semantics in Kobe, Japan, 26–28 November 2026.
• LENLS21, Logic and Engineering of Natural Language Semantics in Nagoya, Japan, 28–30 November 2025.
• AiML 2024, Advances in Modal Logic, 19–23 August 2024 in Prague, The Czech Republic.
• LENLS20, Logic and Engineering of Natural Language Semantics in Osaka, Japan, 18–20 November 2023
• The Notion of Proof, associated event of the international meeting of the AMS, 10 to 13 June, 2015, Porto, Portugal.
• Formal Ontologies for Artificial Intelligence, associated workshop of IJCAI 2015, 25 to 31 July, 2015, Buenos Aires, Argentina.
• NLSR 2014, workshop on Natural Language Services for Reasoners affiliated to the conference RTATLCA 2014, at Vienna Summer of Logic 2014, 18 July, 2014 Vienna Austria.
• M4M 7, Seventh Workshop Methods for Modalities, 10 to 12 November 2011. Osuna, Spain
• TICTTL 2011, Third international congress on Tools for Teaching Logic, 1 to 4 June 2011. Salamanca, Spain
• WoLLIC 2010, 17th Workshop on Logic, Language, Information and Computation, 6 to 9 July 2010. Brasília, Brazil
• M4M-6, Methods for Modalities 6, 12 to 14 November 2009. Copenhagen, Denmark
• Hylo 2009, 7th Workshop on Hybrid Logics, 15 to 17 July 2009. Nancy, France
• WoLLIC 2009, 16th Workshop on Logic, Language, Information and Computation, 21 to 24 June 2009. Tokyo, Japan
• CNL 2009, Workshop on Controlled Natural Languages, 8 to 10 June 2009. Marettimo Island, Sicily, Italy
• AiML 2008, Advances in Modal Logic 2008, 9 to 12 September 2008. Nancy, France
• WoLLIC 2008, 15th Workshop on Logic, Language, Information and Computation, 1 to 4 July 2008. Edinburgh, Scotland
• M4M-5, Methods for Modalities 5, 29 to 30 November 2007. Cachan, France
• LORI, Workshop Logic, Rationality and Interaction, 5 to 9 August 2007. Beijing, China
• EUROLAN’07, EUROLAN Summer School. Semantics, Opinion and and Sentiment in Text, 23 July to 3 August 2007. Iasi, Romania
• WoLLIC 2007, 13th Workshop on Logic, Language, Information and Computation, 2 to 5 July 2007. Rio de Janeiro, Brazil
• CiE 2007, Computation and Logic in the Real World, 18 to 23 June 2007. Siena, Italy
• ICTTL06, 2nd International Conference in Tools for Teaching Logics, 26 to 30 September 2006. Salamanca, Spain
• WoLLIC 2006, 13th Workshop on Logic, Language, Information and Computation, 18 to 21 July 2006. Stanford, California, USA
• ICoS-5, Inference in Computational Semantics, 20 to 21 April 2006. Buxton, England
• M4M-4, Methods for Modalities 4, 1 to 2 December 2005. Berlin – Adlershof, Germany
• LLL05, Learning Language in Logic 2005, 7 August 2005. Bonn, Germany
• FG-MOL 2005, 10th conference on Formal Grammar and 9th Meeting on Mathematics of Language, 5 to 7 August 2005. Edinburgh, Scotland
• WoLLIC 2005, 12th Workshop on Logic, Language, Information and Computation, 19 to 22 July 2005. Florianópolis, Santa Catarina, Brazil
• LACL 2005, Logical Aspects of Computational Linguistics — 5th International Conference, 28 to 30 April 2005. Bordeaux, France.
• ICLA 2005, 1st Indian Conference on Logic and its Relationship with Other Disciplines, 8 to 13 January 2005. Bombay, India
• WoLLIC 2004, 11th Workshop on Logic, Language, Information and Computation, 19 to 22 July 2004. Paris, France
• ICoS-4, Inference in Computational Semantics, 25 to 26 September 2003. Nancy, France
• M4M-3, Methods for Modalities, 22 to 3 September 2003. Nancy, France
• WoLLIC 2003, 10th Workshop on Logic, Language, Information and Computation, 29 July to 1 August 2003. Ouro Preto, Minas Gerais, Brazil
• WoLLIC 2002, 9th Workshop on Logic, Language, Information and Computation, 30 July to 2 August 2002. Rio de Janeiro, Brazil
• M4M-2, Methods for Modalities, 29 to 30 November 2001. Amsterdam, The Netherlands
• WoLLIC 2001, 8th Workshop on Logic, Language, Information and Computation, 31 July to 3 August 2001. Brasília, Brazil
• ICoS-3, Inference in Computational Semantics, 18 to 20 June 2001. Siena, Italy
• WoLLIC 2000, 7th Workshop on Logic, Language, Information and Computation, 15 to 18 August 2000. Natal, Brazil
• ICoS-2, Inference in Computational Semantics, 29 to 30 July 2000. Schloss Dagstuhl, Germany
• ICoS-1, Inference in Computational Semantics, 15 August 1999. Amsterdam, The Netherlands
• WoLLIC 1999, 6th Workshop on Logic, Language, Information and Computation, 25 to 28 May 1999. Itatiaia National Park, Rio de Janeiro, Brazil
• WoLLIC 1999, 6th Workshop on Logic, Language, Information and Computation, 25 to 28 May 1999. Itatiaia National Park, Rio de Janeiro, Brazil
• M4M-1, Methods for Modalities, 6 to 7 May 1999. Amsterdam, The Netherlands
• WoLLIC 1998, 5th Workshop on Logic, Language, Information and Computation, 28 to 31 July 1998. Sao Paulo, Brazil
• WoLLIC 1997, 4th Workshop on Logic, Language, Information and Computation, 20 to 22 August 1997. Fortaleza, Brazil
• EUROLAN’97, Summer School on Corpus Linguistics, 13 to 26 July 1997. Tusnad, Romania
• WoLLIC 1996, 3th Workshop on Logic, Language, Information and Computation, 8 to 10 May 1996. Salvador, Bahia, Brazil
• 10th Amsterdam Colloquium, 18 to 21 December 1995. Amsterdam, The Netherlands
• Tbilisi Symposium on Language, Logic and Computation, 19 to 22 October 1995. Tbilisi, Georgia
• Proof Theory and Natural Language, 24 to 25 September 1995. Florence, Italy
• Logic Colloquium 1995, 10 to 17 September 1995. Israel
• WoLLIC 1995, 2nd Workshop on Logic, Language, Information and Computation, 26 to 28 July 1995. Recife, Brasil
• Focus and Natural Language Processing, 12 to 15 June 1994. Schloss Wolfsbrunnen, Germany
• 9th Amsterdam Colloquium, 14 to 17 December 1993. Amsterdam, The Netherlands
• EUROLAN’93, 1st Summer School in Natural Language Processing, 19 to 29 July 1993. Iasi, Rumania