W3C home > Mailing lists > Public > semantic-web@w3.org > February 2010

Announcement: ICCL Summer School 2010

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
Message-ID: <20100207194817.GA28778@janeway.inf.tu-dresden.de>

Call for Participation

   ICCL Summer School 2010
   
   COGNITIVE SCIENCE, COMPUTATIONAL LOGIC AND CONNECTIONISM
   
   Technische Universitt 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 Hlldobler    (Technische Universitt Dresden)

   COMPLEX NETWORKS OF MINDFUL ENTITIES.
   Lus 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   (Universitt Tbingen)



PEOPLE INVOLVED

   Chair of the ICCL Summer School 2010
   
   Steffen Hlldobler


   Organizing Committee
   
   Julia Koppenhagen
   Bertram Fronhfer



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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:34 GMT