22.4980, Calls: Cognitive Sci, Computational Ling/UK

[linguist at LINGUISTLIST.ORG]

LINGUIST List: Vol-22-4980. Sun Dec 11 2011. ISSN: 1069 - 4875.

Subject: 22.4980, Calls: Cognitive Sci, Computational Ling/UK

Moderators: Anthony Aristar, Eastern Michigan U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>

Reviews: Veronika Drake, U of Wisconsin-Madison
Monica Macaulay, U of Wisconsin-Madison
Rajiv Rao, U of Wisconsin-Madison
Joseph Salmons, U of Wisconsin-Madison
Anja Wanner, U of Wisconsin-Madison
       <reviews at linguistlist.org>

Homepage: http://linguistlist.org

The LINGUIST List is funded by Eastern Michigan University,
and donations from subscribers and publishers.

Editor for this issue: Alison Zaharee <alison at linguistlist.org>
================================================================  

LINGUIST is pleased to announce the launch of an exciting new feature:  
Easy Abstracts! Easy Abs is a free abstract submission and review facility 
designed to help conference organizers and reviewers accept and process 
abstracts online.  Just go to: http://www.linguistlist.org/confcustom, 
and begin your conference customization process today! With Easy Abstracts, 
submission and review will be as easy as 1-2-3!

===========================Directory==============================  

1)
Date: 10-Dec-2011
From: Barry Cooper [pmt6sbc at leeds.ac.uk]
Subject: Turing Centenary Conference


-------------------------Message 1 ---------------------------------- 
Date: Sun, 11 Dec 2011 13:05:04
From: Barry Cooper [pmt6sbc at leeds.ac.uk]
Subject: Turing Centenary Conference

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=22-4980.html&submissionid=4537549&topicid=3&msgnumber=1
 
Full Title: Turing Centenary Conference 
Short Title: CiE 2012 

Date: 18-Jun-2012 - 23-Jun-2012
Location: Cambridge, United Kingdom 
Contact Person: Barry Cooper
Meeting Email: pmt6sbc at leeds.ac.uk
Web Site: http://www.turingcentenary.eu/ 

Linguistic Field(s): Cognitive Science; Computational Linguistics 

Call Deadline: 20-Jan-2012 

Meeting Description:

Turing Centenary Conference 
Computability in Europe 2012: How the World Computes
University of Cambridge, Cambridge
June 18-23, 2012
http://www.cie2012.eu

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, connectionist models, economics and the wider scientific world.

CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates.

June 23, 2012, is the Centenary of Alan Turing's birth in London. During his relatively brief life, Turing made a unique impact on the history of computing, computer science, artificial intelligence, developmental biology, and the mathematical theory of computability.

2012 will be a celebration of Turing's life and scientific impact, with a number of major events taking place throughout the year. Most of these will be linked to places with special significance in Turing's life, such as Cambridge, Manchester and Bletchley Park.

The Turing Year is coordinated by the Turing Centenary Advisory Committee (TCAC), representing a range of expertise and organisational involvement in the 2012 celebrations. Organisations and individuals wanting to contribute ideas or support for the Turing Year are invited to contact any of the current TCAC members.

Plenary speakers include:

Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon), Rodney Downey (Wellington), Yuri Gurevich (Microsoft), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Washington/ Oxford, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College).

The conference is sponsored by the ASL, EACSL, EATCS, Elsevier Foundation, IFCoLog, King's College Cambridge, The University of Cambridge and Microsoft Research. 

Call for Papers:

The Programme Committee cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) for presentation at CiE 2012. We particularly invite papers that build bridges between different parts of the research community.

For submission details, see:

http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12

CiE 2012 conference topics include, but not exclusively:

- Admissible sets
- Algorithms
- Analog computation
- Artificial intelligence
- Automata theory
- Bioinformatics
- Classical computability and degree structures
- Cognitive science and modelling
- Complexity classes
- Computability theoretic aspects of programs
- Computable analysis and real computation
- Computable structures and models
- Computational and proof complexity
- Computational biology
- Computational creativity
- Computational learning and complexity
- Computational linguistics
- Concurrency and distributed computation
- Constructive mathematics
- Cryptographic complexity
- Decidability of theories
- Derandomization
- DNA computing
- Domain theory and computability
- Dynamical systems and computational models
- Effective descriptive set theory
- Emerging and Non-standard Models of Computation
- Finite model theory
- Formal aspects of program analysis
- Formal methods
- Foundations of computer science
- Games
- Generalized recursion theory
- History of computation
- Hybrid systems
- Higher type computability
- Hypercomputational models
- Infinite time Turing machines
- Kolmogorov complexity
- Lambda and combinatory calculi
- L-systems and membrane computation
- Machine learning
- Mathematical models of emergence
- Molecular computation
- Morphogenesis and developmental biology
- Multi-agent systems
- Natural Computation
- Neural nets and connectionist models
- Philosophy of science and computation
- Physics and computability
- Probabilistic systems
- Process algebras and concurrent systems
- Programming language semantics
- Proof mining and applications
- Proof theory and computability
- Proof complexity
- Quantum computing and complexity
- Randomness
- Reducibilities and relative computation
- Relativistic computation
- Reverse mathematics
- Semantics and logic of computation
- Swarm intelligence and self-organisation
- Type systems and type theory
- Uncertain Reasoning
- Weak systems of arithmetic and applications

The Conference proceedings will be published by LNCS, Springer-Verlag. Post-conference publications include special issues of APAL and LMCS. We encourage all researchers presenting papers of the highest research quality at CiE 2012 to submit their full papers to the CiE journal Computability where they will be handled as regular submissions.

Important Dates:

Submission deadline for LNCS: January 20, 2012
Notification of authors: March 16, 2012
Deadline for final revisions: April 6, 2012
Submission deadline for informal presentations: May 11, 2012

Contributed papers will be selected from submissions received by the Programme Committee consisting of:

- Samson Abramsky (Oxford)             
- Pieter Adriaans (Amsterdam)
- Franz Baader (Dresden)               
- Arnold Beckmann (Swansea)
- Mark Bishop (London)                 
- Paola Bonizzoni (Milan)
- Luca Cardelli (Cambridge)            
- Douglas Cenzer (Gainesville)
- S Barry Cooper (Leeds, Co-chair)     
- Ann Copestake (Cambridge)
- Anuj Dawar (Cambridge, Co-chair)    
- Solomon Feferman (Stanford)
- Bernold Fiedler (Berlin)             
- Luciano Floridi (Hertfordshire)
- Martin Hyland (Cambridge)            
- Marcus Hutter (Canberra)
- Viv Kendon (Leeds)                   
- Stephan Kreutzer (Oxford)
- Ming Li (Waterloo)                   
- Benedikt Loewe (Amsterdam)
- Angus MacIntyre (London)             
- Philip Maini (Oxford)
- Larry Moss (Bloomington)             
- Amitabha Mukerjee (Kanpur)
- Damian Niwinski (Warsaw)             
- Dag Normann (Oslo)
- Prakash Panangaden (Montreal)        
- Jeff Paris (Manchester)
- Brigitte Pientka (Montreal)          
- Helmut Schwichtenberg (Munich)
- Wilfried Sieg (Carnegie Mellon)      
- Mariya Soskova (Sofia)
- Bettina Speckmann (Eindhoven)        
- Christof Teuscher (Portland)
- Peter van Emde Boas (Amsterdam)      
- Jan van Leeuwen (Utrecht)
- Rineke Verbrugge (Groningen)





-----------------------------------------------------------
LINGUIST List: Vol-22-4980	
----------------------------------------------------------