- From: Bertram Fronhöfer <Bertram.Fronhoefer@inf.tu-dresden.de>
- Date: Sun, 7 Feb 2010 20:48:22 +0100
- To: DAI-List@mcc.com, agents@cs.umbc.edu, aiia@di.unito.it, airg@cs.wpi.edu, aisb@cogs.sussex.ac.uk, ak-robocup@informatik.hu-berlin.de, anneal@sti.com, kaw@swi.psy.uva.nl, kr@kr.org, lics@research.bell-labs.com, lics@informatik.hu-berlin.de, logic-l@bucknell.edu, loginf@lat.inf.tu-dresden.de, loom-forum@ISI.EDU, ml@isle.org, planning@asu.edu, sauer@informatik.uni-oldenburg.de, semantic-web@w3.org, seweb-list@www1-c703.uibk.ac.at, theorem-provers@ai.mit.edu, www-rdf-logic@w3.org, www-webont-wg@w3.org, logic@math.uni-bonn.de, info@gap-im-netz.de, asian-logic@logic.jaist.ac.jp, list@ki-profs.de, aiia@dis.uniroma1.it, aila@disi.unige.it, ambient-intelligence@lists.andrew.cmu.edu, andersen@ontologyworks.com, assourav@ntu.edu.sg, bella@lirmm.fr, bioclusters@bioinformatics.org, biodevelopers@bioinformatics.org, board@open-bio.org, brandon@comp.leeds.ac.uk, business-patterns@cs.uiuc.edu, cadeinc@cs.albany.edu, choose-news@iam.unibe.ch, cl-adverts@janeway.inf.tu-dresden.de, clean-list@cs.kun.nl, colibri@let.uu.nl, colognet@ucy.ac.cy, comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es, conferences@computer.org, corba-patterns@cs.uiuc.edu, dacm-patterns@cs.uiuc.edu, dbitaly@dia.uniroma3.it, dbworld@cs.wisc.edu, debenham@it.uts.edu.au, devedzic@fon.fon.bg.ac.yu, digicult-forum@digicult.info, diglib@infoserv.inist.fr, disa@cs.unit, dsinfo@mailbox.gsu.edu, e-eu-contact@dfki.de, ecoop-info@ecoop.org, editor@agentlink.org, editor@knowledgeboard.com, ehn@cs.cmu.edu, elsnet-list@elsnet.org, epontell@cs.nmsu.edu, esap-news@disputatio.com, event@in.tu-clausthal.de, events_calendar@acm.org, fellbaum@clarity.princeton.edu, fg-db@informatik.uni-rostock.de, fgwm@uni-trier.de, folli@coli.uni-sb.de, gang-of-4-patterns@cs.uiuc.edu, gmod-devel@lists.sourceforge.net, grin@di.unipi.it, gwa@lists.ut.ee, humanist@Princeton.EDU, ieeesb-vr@metropolis.sci.univr.it, ifla-l@infoserv.inist.fr, ipc-patterns@cs.uiuc.edu, isworld@listserv.heanet.ie, juris.borzovs@dati.lv, kaw@science.uva.nl, kurt.godden@gm.com, list@prooftheory.org, linguist@linguistlist.org, ll-discuss@lists.csail.mit.edu, ln@cines.fr, mailings@iwv.jku.at, mip6@ietf.org, moby-l@biomoby.org, obi-devel@lists.sourceforge.net, obo-discuss@lists.sourceforge.net, ontology@buffalo.edu, ontoquery@ruc.dk, patterns-discussion@cs.uiuc.edu, pjm@doc.ic.ac.uk, planetkr@kr.org, potokte@ornl.gov, project@aktors.org, public-owl-dev@w3.org, public-rif-wg@w3.org, reengineering@uni-koblenz.de, risc@risc.cnrs.fr, ruleml-all@ruleml.org, sekt@aifb.uni-karlsruhe.de, semantik@uni-duesseldorf.de, siemens-patterns@cs.uiuc.edu, spinn@cst.dk, sw-ergo@gui-design.de, swikig@aifb.uni-karlsruhe.de, taboo-list@deis.unibo.it, telecom-patterns@cs.uiuc.edu, topicmapmail@infoloom.com, users@mozart-oz.org, vki-list@dfki.de, web-semantica-ayuda@es.tldp.org, webmaster@aisb.org.uk, weekly@egovmonitor.com, wi@aifb.uni-karlsruhe.de, winikoff@cs.rmit.edu.au, www-annotation@w3.org, www-rdf-rules@w3.org, www-ws@w3.org
Call for Participation ICCL Summer School 2010 COGNITIVE SCIENCE, COMPUTATIONAL LOGIC AND CONNECTIONISM Technische Universität Dresden August 29 -- September 11, 2010 http://www.computational-logic.org/iccl-ss-2010 TOPIC The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views. REGISTRATION If you want to attend the summer school, we'd prefer that you register by April 1, 2010. (See the online registration on the web page mentioned above.) For all who want to apply for a grant, this deadline is obligatory. After April 1, 2010, registration will be possible as long as there are vacant places. (Since we intend to restrict participation to about 60 people, in case of excessive demand, we will have to close the registration to the summer school.) People applying until April 1, 2010, and applying for a grant will be informed about respective decisions on grants at latest by end of April 2010. FEES We ask for a participation fee of 200 EUR. GRANTS A limited number of grants may be available, please indicate in your application if the only possibility for you to participate is via a grant. Applications for grants must include an estimate of travel costs (to be filled in the respective part of the online registration form). INTEGRATED WORKSHOP It will be possible for some participants to present their research work during a small workshop integrated in the summer school. If you would like to do so, please register by means of the online workshop registration form on the web page mentioned above: (The title of your proposed talk, and, in addition, an extended abstract or a full paper of at most 10 pages in postscript or pdf format must be submit by April 1, 2010.) A program committee consisting of the summer school lecturers will select among the submissions. Notification of acceptance of a talk at the integrated workshop will be at latest by end of April 2010. Please note that participation at the summer school is a prerequisite for participation at the workshop. COURSE PROGRAM COGNITION, LANGUAGE, AND NEURAL COMPUTATION. Jerome Feldman (ICSI, Bekeley, USA) NEURO-SYMBOLIC COGNITIVE REASONING Artur d'Avila Garcez (City University London, UK) CONNECTIONIST MODEL GENERATION Steffen Hölldobler (Technische Universität Dresden) COMPLEX NETWORKS OF MINDFUL ENTITIES. Luís Moniz Pereira (Universidade Nova de Lisboa, Portugal) COGNITIVE COMPLEXITY IN DEDUCTIVE REASONING Marco Ragni (University of Freiburg) COMPUTING EVENT STRUCTURES WITH LOGIC PROGRAMS Fritz Hamm / Fabian Schlotterbeck (Universität Tübingen) PEOPLE INVOLVED Chair of the ICCL Summer School 2010 Steffen Hölldobler Organizing Committee Julia Koppenhagen Bertram Fronhöfer NOTE ON FUNDING This Summer School is funded by the German Academic Exchange Service (DAAD) with financial means from the German Federal Foreign Office
Received on Sunday, 7 February 2010 19:49:05 UTC