second gasics meeting, 22 october 2009 modelling intelligent interaction- logic in the humanities,...

22

Post on 19-Dec-2015

219 views

Category:

Documents


6 download

TRANSCRIPT

Page 1: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)
Page 2: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 3: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part one: About the European Science Foundation

(ESF)

Page 4: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 5: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 6: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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.

Page 7: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part two: AboutEUROCORES

(European Collaborative Research Programmes)

Page 8: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 9: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 10: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 11: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

www.esf.orgSecond GASICS Meeting, 22 October 2009

Part three: AboutLogICCC

Page 12: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 13: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 14: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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  

Page 15: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

www.esf.orgSecond GASICS Meeting, 22 October 2009

LogICCC – Participating funding organizations

Page 16: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 17: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 18: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 19: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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: [email protected]

Page 20: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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)

Page 21: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

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

Page 22: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)

www.esf.org/[email protected]