Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities,...
-
date post
19-Dec-2015 -
Category
Documents
-
view
222 -
download
6
Transcript of Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities,...
![Page 1: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/1.jpg)
![Page 2: Second GASICS Meeting, 22 October 2009 Modelling Intelligent Interaction- Logic in the Humanities, Social and Computational Sciences (LogICCC)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/2.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/3.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/4.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/5.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/6.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/7.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/8.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/9.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/10.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/11.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/12.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/13.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/14.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/15.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/16.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/17.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/18.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/19.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/20.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/21.jpg)
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)](https://reader035.fdocuments.net/reader035/viewer/2022062714/56649d3a5503460f94a1559b/html5/thumbnails/22.jpg)
www.esf.org/[email protected]