midisova, 26-28 march 2010 modelling intelligent interaction- logic in the humanities, social and...

www.esf.org

MIDiSoVa, 26-28 March 2010

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.orgMIDiSoVa, 26-28 March 2010

Part one: About the European Science Foundation

(ESF)


About ESF

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

o Research funding organisations

o Research performing organisations

o Academies


About ESF• Established 1974• Independent, non-governmental• Offices in Strasbourg and Brussels• Budget: 45M€• Networking Budget: 1-3B€• Covering all research domains


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.


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

MIDiSoVa, 26-28 March 2010


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 ca. 5 M€ (LogICCC: 7M€)• a running time of 3 years


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


Part three: AboutLogICCC


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


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


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


LogICCC – Participating funding organizations


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


LogICCC –Networking (1)Past Activities:• LogICCC Launch Conference

5-7 October 2008, Prague, Czech Republic • “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• Integrated working meeting GASICS-LINT-CFSC

22-23 October 2009, Aachen, Germany• “Dialogues and Games”

8-9 February 2010, Lille, France• Workshop "ProbNet10" (Probabilistic Networks 2010)

25-28 February 2010, Salzburg, Austria

•


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


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 later this year

For the latest information: www.esf.org/logicOr contact: [email protected]

www.esf.org/[email protected]


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)


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

midisova, 26-28 march 2010 modelling intelligent interaction- logic in the humanities, social and...

Documents