2. www.esf.org Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC) An ESF EUROCORES (EUROpean COllaborative RESearch) programmme Eva Hoogland Eurocores Coordinator for the Cognitive Sciences

3. www.esf.org Second GASICS Meeting, 22 October 2009 Part one: About the European Science Foundation (ESF)

4. www.esf.org Second GASICS Meeting, 22 October 2009 About ESF 80 Member Organisations (in 30 countries, beyond the European Union): oResearch funding organisations oResearch performing organisations oAcademies

5. www.esf.org Second GASICS Meeting, 22 October 2009 About ESF Established 1974 Independent, non-governmental Offices in Strasbourg and Brussels Budget: 45M€ Networking Budget: 1-3B€ Covering all research domains

6. www.esf.org Second GASICS Meeting, 22 October 2009 Mission To provide a common platform for our Member Organisations in order to: »Advance European research »Explore new directions for research at the European level Through our activities, we serve the needs of the European research community in a global context.

7. www.esf.org Second GASICS Meeting, 22 October 2009 Part two: About EUROCORES (European Collaborative Research Programmes)

8. www.esf.org fragmented research strengths new, integrated knowledge Funding agencies join forces to support cutting edge trans- disciplinary, trans-national collaborative research; multi- perspective on complex / broad questions Responsive mode Bottom-up, researcher-led identification of themes Consultation with funders Combines researcher’s needs and strategic priorities Create critical mass in a global context: New approaches, new collaborations, new knowledge EUROCORES Vision Second GASICS Meeting, 22 October 2009

9. www.esf.org Second GASICS Meeting, 22 October 2009 EUROCORES - Main Features Multi-national research projects (research groups from at least 3 different participating countries ) International competition Funding remains national ESF ensures quality control Provides flexible framework for collaboration of national funding agencies Investigator driven A Eurocores programme typically involves 10-20 participating countries (LogICCC: 16) a research budget of 5-12 M€ (LogICCC: 7M€) a running time of 3 years

10. www.esf.org Second GASICS Meeting, 22 October 2009 EUROCORES - Where are we now? Ca. 200 programme proposals submitted Ca. 40 programmes selected Ca. 8.000 applications of Collaborative Research teams (CRPs) Ca. 200 M€ funding Ca. 70 funding organisations from ca. 35 countries, within and outside Europe

11. www.esf.org Second GASICS Meeting, 22 October 2009 Part three: About LogICCC

12. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC – Modelling Intelligent Interaction The EUROCORES programme “LogICCC – Modelling Intelligent Interaction. Logic in the Humanities, Social and Computational Sciences” aims at a deeper understanding of intelligent interaction by letting logic in its modern guise act as a catalyst and a ’match maker’ between the different relevant disciplines. Running time: 2008 - 2011 www.esf.org/logic

13. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC – Collaborative Research projects (CRPs) - 1 Computational Foundations of Social Choice (CFSC) Project Leader: Felix Brandt, University of Munich Dialogical Foundations of Semantics (DiFoS) Project Leader: Peter Schroeder-Heister, Universität Tübingen Games for Analysis and Synthesis of Interactive Computational Systems (GASICS) Project Leader: Jean-François Raskin, Université Libre de Bruxelles The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR) Project Leader: Gernot Kleiter, University of Salzburg

14. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC – Collaborative Research Projects (CRPs) - ctd Logic for Interaction (LINT) Project Leader: Dag Westerståhl, Göteborg University Logical Models of Reasoning with Vague Information (LoMoReVi) Project Leader: Christian Fermüller, Vienna University of Technology SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation (SSEAC) Project Leader: José Luis Garcia Lapresta, Universidad de Valladolid Vagueness, Approximation, and Granularity (VAAG) Project Leader: Manfred Krifka, Humboldt-Universität zu Berlin

15. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC – Participating funding organizations

16. www.esf.org Second GASICS Meeting, 22 October 2009 EUROCORES - Networking Aim: Enhance existing collaborations; Identify new and strategic partnership opportunities; Explore aspects of the programme which are not covered by the funded projects

17. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC –Networking (1) Past Activities: LogICCC Launch Conference 5-7 October 2008, Prague, Czech Republic Conference on “Logical Models of Reasoning with Vague Information” 14-17 September 2009, Cejkovice, Czech Republic “LogICCC working day” at WUPES 2009 19-24 September 2009, Liblice, Czech Republic. “LogICCC meets China” 7 October 2009, Chongqing, China

18. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC –Networking (2) Upcoming Activities: Workshop "Modeling Interaction, Dialog, Social Choice and Vagueness" 26-28 March 2010, Amsterdam, The Netherlands LogICCC session on “Obligationes” at the International Medieval Congress in Leeds 12-15 July 2010, Leeds, UK

19. www.esf.org Second GASICS Meeting, 22 October 2009 LogICCC – What is next? (for LogICCC members only) Open: Continuous Call for Networking activities Dissemination Grants Cross-CRP Short Term visits for a maximum of 5000 euros. Further Calls are expected in 2010 For the latest information, see: www.esf.org/logicwww.esf.org/logic Or contact: logic@esf.orglogic@esf.org

20. www.esf.org Second GASICS Meeting, 22 October 2009 ESF – Beyond LogICCC Research Networking Programmes: “Games for Design and Verification (GAMES)” (March 2008 – March 2013) “New Frontiers of Infinity: Mathematical, Philosophical and Computational Prospects (INFTY)” (March 2009 – March 2014) “Experimental Pragmatics in Europe (EURO-XPRAG)” (June 2009 – June 2013)

21. www.esf.org Second GASICS Meeting, 22 October 2009 ESF – Beyond LogICCC ESF Research Conferences: The Second European Set Theory Meeting: In Honor of Ronald Jensen Bedlewo, Poland, 5 – 10 July 2009 Banch Algebras and Related Topics Bedlewo, Poland, 14 – 24 July 2009 Model Theory Bedlewo, Poland, 9 – 14 August 2009 Annual Call for conference proposals in the domains of Mathematics Brain, Technology and Cognition Social Sciences and Humanities

22. www.esf.org/logic logic@esf.org