part one: about the european science foundation (esf)

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 HooglandEurocores Coordinator for the Cognitive Sciences

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part one: About the European Science Foundation

(ESF)

www.esf.orgSecond GASICS Meeting, 22 October 2009

About ESF

80 Member Organisations (in 30 countries, beyond the European Union):

o Research funding organisations

o Research performing organisations

o Academies

www.esf.orgSecond 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

www.esf.orgSecond 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.

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part two: AboutEUROCORES

(European Collaborative Research Programmes)

www.esf.org

fragmentedresearch strengths

new, integratedknowledge

Funding agencies join forcesto support cutting edge trans-

disciplinary, trans-nationalcollaborative 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

www.esf.orgSecond 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

www.esf.orgSecond GASICS Meeting, 22 October 2009

EUROCORES - Where are we now?

Ca. 200 programme proposals submittedCa. 40 programmes selectedCa. 8.000 applications of Collaborative

Research teams (CRPs)Ca. 200 M€ fundingCa. 70 funding organisations from ca. 35

countries, within and outside Europe

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part three: AboutLogICCC

www.esf.orgSecond 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

www.esf.orgSecond 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

www.esf.orgSecond 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  

www.esf.orgSecond GASICS Meeting, 22 October 2009

LogICCC – Participating funding organizations

www.esf.orgSecond 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

www.esf.orgSecond 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 200919-24 September 2009, Liblice, Czech Republic.

• “LogICCC meets China”7 October 2009, Chongqing, China

www.esf.orgSecond 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 Leeds12-15 July 2010, Leeds, UK

www.esf.orgSecond 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/logicOr contact: logic@esf.org

www.esf.orgSecond 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)

www.esf.orgSecond 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 TheoryBedlewo, Poland, 9 – 14 August 2009  

Annual Call for conference proposals in the domains of• Mathematics • Brain, Technology and Cognition • Social Sciences and Humanities

www.esf.org/logiclogic@esf.org