Marie Curie project PIRSES-GA-2012-318986 funded by EU-FP7 (January 1, 2013 - December 31, 2016)
Summary:
The scientific guideline of the GeTFun project is to study and relate various well-motivated ways in which the attractive properties and meta-properties of truth-functionality may be generalized to cover more extensive logical grounds. Besides the abstract, model- and proof-theoretical aspects, the project will keep a strong focus in meaningful application areas where the complexity of the phenomena involved goes beyond the scope of standard approaches. The impact and relevance of the proposed line of work should accordingly be measured directly by its foundational character with respect to a better and deeper understanding of meaning in logics modeling complex phenomena and, of necessity, suitable general forms of compositional reasoning.
Partners:
- Instituto de Telecomunicações, Portugal (coordination)
- Institute of Mathematics Simion Stoilov, Romania
- Institute of Computer Science of the Polish Academy of Sciences, Poland
- Tel-Aviv University, Israel
- Technische Universitaet Wien, Austria
- Academic College of Tel-Aviv-Yafo, Israel
- Universidade de Aveiro, Portugal
- Università degli Studi di Verona, Italy [until December 2013]
- King's College London, United Kingdom [since January 2014]
- Ruhr-University Bochum, Germany [since July 2015]
- University of Haifa, Israel [since July 2015]
- Fundação Getúlio Vargas, Brazil
- Kryvyi Rih National University, Ukraine
- Pontifícia Universidade Católica do Rio de Janeiro, Brazil
- Universidade Federal do Rio de Janeiro, Brazil
- Universidade Federal do Rio Grande do Norte, Brazil
- Universidade Estadual de Campinas, Brazil
Events:
- 1st GeTFun Workshop - April 2013, collocated with UniLog 2013, Rio de Janeiro, Brazil
- 2nd GeTFun Workshop - July 2014, collocated with VSL 2014, Vienna, Austria
- 3rd GeTFun Workshop - September 2015, collocated with NAT@Logic 2015, Natal, Brazil
- 4th GeTFun Workshop - July 2016, collocated with IJCAR 2016, Coimbra, Portugal