The article Combining monotone and normal modal logic in nested sequents -- with countermodels won the Best Paper Award at TABLEAUX 2019.
Elisa Freschi will give a talk on Mīmāṃsā reasoning about conflicting statements at Mahopādhyāyamahotsava: Celebration of a Sanskrit Teacher at the University of Oxford. The details are:
|Title:||Mīmāṃsā reasoning about conflicting statements|
|Date:||June 20, 2019, 9:35-10:25|
|Location:||Wolfson College, University of Oxford|
Elisa Freschi gave two interviews, in which the project is mentioned:
Volkswagen Stiftung, Artificial Intelligence and the Society of the Future, Call 2018, Planning grant.
Shishir Saxena will give a talk on permissions in Mīmāṃsā in the IKGA colloquium in Vienna. The details are:
|Title:||Conflicting Commands: Hermeneutic Solutions in Mīmāṃsā|
|Date:||April 2, 2019, 11:00-12:30|
|Location:||Room 2.25, IKGA, Hollandstraße 11-13/2, 1020 Wien|
Shishir Saxena presented a paper titled ‘Denotation as complex and chronologically extended: anvitābhidhāna in Śālikanātha's Vākyārthamātṛkā-I’ at the 9th Coffee Break Conference on Science and Technology in Premodern Asia (4-6 December, Wolfson College, University of Oxford) during the panel ‘Grammar and Language Science’. The conference brought together several leading scholars from across the world to present and discuss their work on premodern Asia. For an abstract of Shishir's talk see here.
Shishir Saxena joined the project as a researcher.
Title: » Deontic Reasoning: From Ancient Texts to Artificial Intelligence «
Date: June 11-13, 2018, Vienna
The workshop will bring together experts from the fields of Logic, Sanskrit, Philosophy, Artificial Intelligence and Law for talks and brainstorming discussions. More information can be found on the workshop's website.
Sudipta Munsi joined the project in May as a PhD student.
Kees van Berkel and Rafał Kłeczek joined the project in the beginning of January as PhD students.
A conference co-sponsored by this project will take place in Vienna, 28--29.9.2017. The purpose of the conference is to break the boundaries between "classical" and "contemporary" Indian philosophy, so as to make it possible for Indian philosophy and philosophers to become part of the ongoing discussion on topics such as ethics and logics. You can announce your participation to elisa dot freschi at oeaw dot ac dot at → See here. (ef)
Björn Lellmann (and Revantha Ramanayake) will give a tutorial at the Co-located conferences TABLEAUX 2017, FroCoS 2017 and ITP 2017.
When: September 2017.
Where: Brasilia, Brazil.
Title: General methods in proof theory for modal and substructural logics.
Agata Ciabattoni will give a course at the International Summer School for Proof Theory in First-Order Logic.
When: August 2017.
Where: Funchal, Madeira.
Title: Proof Theory for Non-Classical Logics: Sequent calculi and beyond.
Andrew Ollett will travel to India from July 30 to August 10 and will undertake research for the "Reasoning Tools for Deontic Logic" project. He will go to Pondicherry, to use the library of the Institut Français de Pondichéry and to discuss the project with colleagues at the École Française d'Extrême-Orient, and then to Chennai, where he will consult and photograph manuscripts of Mīmāṃsā texts that are held at the Government Oriental Manuscripts Library at the University of Madras.
Andrew Ollett (Harvard) joined the project on May the 15th.
The Project has started on 15.05.2017!