[FOM] CiE Newsletter No.43, January 12, 2011
Olivier Bournez
bournez at lix.polytechnique.fr
Wed Jan 12 22:23:28 EST 2011
CiE Newsletter No.43, January 12, 2011
Please send any items you would like included in
next letter to Olivier Bournez <bournez at lix.polytechnique.fr>
DEADLINE: February 10th 2011.
___________________________________________________________________________
** COMPUTABILITY IN EUROPE 2011 "Models of
Computation in Context", Sofia, Bulgaria, 27 June - 2 July:
For the latest news on CiE 2011 in Sofia, go to:
http://cie2011.fmi.uni-sofia.bg/
The CiE 2011 submission deadline is ***January 14, 2011***
___________________________________________________________________________
CONTENTS:
0) CiE 2011 - 2nd call for papers: Deadline 14 January 2011
1) 6th Conference on Theory of Quantum Computation, Communication, and
Cryptography (TQC 2011)
2) HYPERNET (Hypercomputation Workshop) 2011. 2nd Call for Papers/Posters
3) PHYSICS & COMPUTATION 2011. 2nd Call for Papers/Posters
4) FCT 2011 18th International Symposium on Fundamentals of Computer
Theory
4') CALL FOR WORKSHOP PROPOSALS collocated with FCT 2011
5) Fifth International Symposium on Quantum Interaction QI'2010
6) WoLLIC 2011 18th Workshop on Logic, Language, Information and
Computation
7) 2nd CFP: Unconventional Computation UC 2011
8) Typed Lambda Calculi and Applications TLCA 2011
9) Third CFP: Mathematics and Computation in Music Conference
10) CALL for PAPERS (Special Issue) INTERNATIONAL JOURNAL of QUANTUM
INFORMATION Quantum Correlations: entanglement and beyond
11) Trends in Logic IX: Church's Thesis, Logic,
Mind and Nature, Krakow (Poland)
12) CSL 2011 20th Annual Conference of the European Association for
Computer Science Logic
13) TAMC2011, Deadline Extended: FEBRUARY 5, 2011
14) Second Announcement: International Conference on History and Philosophy
of Computing
___________________________________________________________________________
0) CiE 2011 - 2nd call for papers: Deadline 14 January 2011
CiE 2011: Computability in Europe
Models of Computation in Context
Sofia, Bulgaria
27 June 2011 - 2 July 2011
Second Call for Papers
Submission Deadline: 14 January 2011
http://cie2011.fmi.uni-sofia.bg/
_____________________________________________________________________
TUTORIALS: Jack Lutz (Ames IA, U.S.A.), Geoffrey Pullum (Edinburgh, U.K.)
PLENARY TALKS: Scott Aaronson (Cambridge MA, U.S.A.), Christel Baier
(Dresden, Germany), Michiel van Lambalgen (Amsterdam, The
Netherlands), Antonio Montalban (Chicago IL, U.S.A.), Alexandra
Shlapentokh (Greenville NC, U.S.A.), Theodore Slaman (Berkeley CA,
U.S.A.), Janet Thornton (Cambridge, U.K.), Alasdair Urquhart (Toronto
ON, Canada).
SPECIAL SESSIONS:
* Computability in Analysis, Algebra, and Geometry (Organizers:
Alexandra Shlapentokh, Dieter Spreen) : Ulrich Berger (Swansea), Vasco
Brattka (Cape Town): Valentina Harizanov (Washington, DC), Russel
Miller (New York, NY).
* Classical Computability Theory (Organizers: Doug Cenzer, Bjørn
Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard),
Charles Harris (Leeds), Guohua Wu (NTU, Singapore)
* Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre):
Natalio Krasnogor (University of Nottingham), Martin Kutrib
(University of Giessen), Victor Mitrana (University of Bucharest),
AgustÃn Riscos-Núnez (University of Seville)
* Relations between the physical world and formal models of
computability (Organizers: Viv Kendon, Sonja Smets): Pablo Arrighi
(University of Grenoble), ÄŒaslav Brukner (University of Vienna), Elham
Kashefi (University of Edinburgh),Prakash Panangaden (McGill
University)
* Theory of transfinite computations (Organizers: Peter Koepke, C.T.
Chong): Noam Greenberg (Victoria University of Wellington), Sy D.
Friedman (University of Vienna), Wei Wang (Sun Yat-sen University),
Merlin Carl (Rheinische Friedrich-Wilhelms-Universität Bonn)
* Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko
Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universität München)&
Stoyan Mihov (Bulgarian Academy of Sciences), Ian Pratt-Hartmann
(University of Manchester).
CiE serves as an interdisciplinary forum for research in all aspects
of computability and foundations of computer science, as well as the
interplay of these theoretical areas with practical issues in computer
science and with other disciplines such as biology, mathematics,
philosophy, or physics.
The Programme Committee (Dag Normann and Ivan Soskov co-chairs)
cordially invites all researchers in the area of the conference to
submit their papers (in PDF-format, at most 10 pages) for presentation
at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. The
best of the accepted papers will be published in the conference
proceedings within the Lecture Notes in Computer Science (LNCS) series
of Springer, which will be available at the conference. Other accepted
contributed papers together with abstracts of informal presentations
will appear in our local pre-conference proceedings volume.
We particularly invite papers that build bridges between different
parts of the research community. Since women are underrepresented in
mathematics and computer science, we emphatically encourage
submissions by female authors (see below for the 'Women in
Computability' grants).
IMPORTANT DATES:
Submission Deadline: January 14, 2011
Notification of Authors: March 12, 2011
Final Version: April 2, 2011
Authors of accepted papers are expected to present their work at the
conference. Submitted papers must describe work not previously
published, and they must neither be accepted nor under review at a
journal or at another conference with refereed proceedings. All
papers need to be prepared in LNCS-style LaTeX. Papers should not
exceed 10 pages; full proofs may appear in a technical appendix which
will be read at the reviewers' discretion.
Submissions authored or co-authored by a Programme Committee member
are not allowed.
GRANTS:
Women in Computability:
In 2011, we continue the programme "Women in Computability" (funded
from 2008 to 2010 by the Elsevier Foundation) now supported by the
journal "Annals of Pure and Applied Logic" (Elsevier). As part of this
programme, we can offer four modest "Elsevier Women in Computability
grants" for female graduate students or junior researchers. These
grants will be paid as a reimbursement of up to 200 EUR of travel and
accommodation expenses. More information about deadlines and the
application procedure will become available from the CiE 2011 website
in March 2011.
ASL Student Travel Grants:
CiE 2011 is sponsored by the Association for Symbolic Logic. All
student members of the ASL can apply for travel funding. To be
considered for a Travel Award, please (1) send a letter of
application, and (2) ask your thesis supervisor to send a brief
recommendation letter. The application letter should be brief
(preferably one page) and should include: (1) your name; (2) your home
institution; (3) your thesis supervisor's name; (4) a one-paragraph
description of your studies and work in logic, and a paragraph
explaining why it is important to attend the meeting; (5) your
estimate of the travel expenses you will incur; (6) (for citizens or
residents of the USA) citizenship or visa status; and (7) (voluntary)
indication of your gender and minority status. Women and members of
minority groups are strongly encouraged to apply. Applications should
be sent to asl at vassar.edu before March 27 2011.
EMS grants for Young East European Researches:
Thanks to the generous support from European Mathematical Society,
CiE 2011 is glad to be able to offer partial or total fee waivers for
a small number of Eastern European researchers and researchers from
the former Soviet Union member states, whose work has been accepted
for presentation at CiE2011. Preference will be given to young
researchers and researchers with papers accepted for publication in
the LNCS proceedings. To apply, please send an application to
cie2011 at fmi.uni-sofia.bg before March 27 2011. The application should
include the applicant's name, affiliation and the title of the
submission for CiE 2011.
Best student paper award:
Papers that have only student authors are eligible for the "CiE 2011
Best Student Paper Awardâ€. The Programme Committee will select the
best submission among these after acceptance.
Springer will sponsor the Best student paper award - a Springer book
voucher for the winner.
All questions about the conference could be send at cie2011 at fmi.uni-sofia.bg.
___________________________________________________________________________
1) 6th Conference on Theory of Quantum Computation, Communication, and
Cryptography (TQC 2011)
=======================================================================
CALL FOR PAPERS
The 6th Conference on Theory of Quantum Computation,
Communication, and Cryptography
---- TQC 2011 ----
Universidad Complutense de Madrid
Madrid, Spain
24 - 26 May 2011
http://gcc.ls.fi.upm.es/tqc2011/
=======================================================================
Quantum computation, quantum communication, and quantum cryptography
are topics of a new and interdisciplinary field in the intersection of
computer science, information theory, and quantum mechanics. The aim of
the TQC'11 conference is to allow deep coverage of new and original
research on these topics and to raise important problems that can
benefit from theoretical investigation and analysis.
The conference will be held at the Universidad Complutense de Madrid
from May 24th until May 26th, 2011 and will consist of invited talks,
contributed talks, and poster presentations.
The scope of the conference includes, but is not limited to:
* quantum algorithms
* models of quantum computation
* quantum complexity theory
* simulation of quantum systems
* quantum cryptography
* quantum communication
* quantum estimation and measurement
* quantum noise
* quantum coding theory
* fault-tolerant quantum computing
* entanglement theory
<> Invited Speakers:
* Hector Bombin (Perimeter Institute)
* Hans Briegel (Innsbruck)
* Nicolas Gisin (Geneva)
* Mio Murao (Tokyo)
* Tobias Osborne (Hannover)
* Umesh Vazirani (Berkeley; to be confirmed)
<> Post Proceedings:
As for previous TQC conferences, we intend to publish a post-conference
proceedings volume in Springer's Lecture Notes in Computer Science to
which selected speakers will be invited to contribute.
<> Program Committee:
* Mohammed Amin (D-Wave)
* Dave Bacon (Washington; Co-chair)
* Dagmar Bruss (Duesseldorf)
* Andrew Childs (IQC)
* Richard Cleve (IQC)
* Markus Grassl (CQT Singapore)
* Peter Hoyer (Calgary)
* Kazuo Iwama (Kyoto)
* Elham Kashefi (Edinburgh)
* Debbie Leung (IQC)
* Hoi-Kwong Lo (Toronto)
* Chiara Macchiavello (Pavia)
* Vicente Martin-Ayuso (UPM)
* Miguel Martin-Delgado (UCM; Local Chair)
* Dmitri Maslov (IQC/NSF)
* Michele Mosca (IQC)
* Kae Nemoto (NII Tokyo)
* Martin Roetteler (NEC Princeton; Chair)
* Miklos Santha (Paris/CQT)
* Pranab Sen (Tata Institute)
* Simone Severini (London)
* Jean-Pierre Tillich (INRIA)
* Andreas Winter (Bristol/CQT Singapore)
<> Local (Universidad Complutense de Madrid) organising committee:
* Juan Jose Garcia-Ripoll (CSIC Madrid)
* Alberto Ibort (Universidad Carlos III Madrid; Co-chair)
* Juan Leon (CSIC Madrid)
* Vicente Martin-Ayuso (Universidad Politecnica de Madrid)
* Miguel Martin-Delgado (Universidad Complutense de Madrid; Chair)
* David Perez-Garcia (Universidad Complutense de Madrid)
* Diego Porras (Universidad Complutense de Madrid)
<> Conference series steering committee:
* Wim van Dam (University of California, Santa Barbara)
* Yasuhito Kawano (NTT, Tokyo, Japan)
* Michele Mosca (IQC, University of Waterloo and Perimeter
Insitute, Canada)
* Vlakto Vedral (CQC, University of Oxford and CQT, National
University of Singapore)
<> Important Dates:
* Submission deadline: January 24, 2011 (23:59 CET local time)
* Notification of acceptance/rejection: March 14, 2011
* Final version of extended abstracts: March 31, 2011
* Registration deadline: May 10, 2011
* Conference: May 24-26, 2011
* Post-proceedings submission deadline: End of June 2011
* Publication date: October 2011
For further information see http://gcc.ls.fi.upm.es/tqc2011/
_______________________________________________
2) (From Mike Stannett) HYPERNET (Hypercomputation Workshop) 2011. 2nd Call for
Papers/Posters
Second Call for Papers / Posters
HYPERNET (Hypercomputation Workshop) 2011
Co-located Workshop with Unconventional Computation 2011
June 6-10, Turku, Finland
UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/
Papers and posters are solicited on all aspects of Hypercomputation.
KEY DATES
Paper submission deadline: 28 Feb 2011
Paper authors notified: 1 Apr 2011
Final versions due: 18 Apr 2011
Poster submission deadline: 18 Apr 2011
Poster authors notified: 25 Apr 2011
Early registration ends: 2 May 2011
PUBLICATION
Accepted papers will be published in the first
instance in electronic form as a Workshop
pre-proceedings. As in previous years, authors
will be invited, following the Workshop, to
submit finalised versions of their work for journal publication.
Submissions should be submitted electronically via EasyChair, in PDF format:
http://www.easychair.org/conferences/?conf=hypernet11
Papers should initially be no more than 12 sides
in length (excluding bibliography), and should be formatted for A4 paper.
TOPICS INCLUDE (but are not restricted to)
* analogue systems
* arithmetic hierarchy
* axiomatizations of physics
* Church-Turing thesis
* complexity of nonstandard systems
* computing beyond the Turing barrier
* digital physics
* economics and uncomputability
* nonstandard computation
* philosophical aspects
* quantum computation
* relativistic computation
* transfinite systems
* unconventional computation and its properties
* wormhole computation
PROGRAMME COMMITTEE
Selim Akl (Queen's)
Hajnal AndrÈka (Budapest)
Olivier Bournez (Ecole Polytechnique)
Cristian Calude (Auckland)
Barry Cooper (Leeds)
Francisco AntÙnio DÛria (Rio de Janeiro)
Marian Gheorghe (Sheffield)
Viv Kendon (Leeds)
Peter Kugel (Boston)
Kenichi Morita (Hiroshima)
Istvan NÈmeti (Budapest)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
Gergely SzÈkely (Budapest)
Christof Teuscher (Portland)
John Tucker (Swansea)
Benjamin Wells (San Francisco)
ORGANISING COMMITTEE
Hajnal AndrÈka (Budapest)
Cristian Calude (Auckland)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
COORDINATOR / QUERIES
Mike Stannett (m.stannett at dcs.shef.ac.uk)
___________________________________________________________________________
3) (From Mike Stannett) PHYSICS & COMPUTATION 2011. 2nd Call for
Papers/Posters
Second Call for Papers / Posters
PHYSICS & COMPUTATION 2011
Co-located Workshop with Unconventional Computation 2011
June 6-10, Turku, Finland
UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/
Papers and posters are solicited on the
relationships between Physics and Computation.
KEY DATES
Paper submission deadline: 28 Feb 2011
Paper authors notified: 1 Apr 2011
Final versions due: 18 Apr 2011
Poster submission deadline: 18 Apr 2011
Poster authors notified: 25 Apr 2011
Early registration ends: 2 May 2011
PUBLICATION
Accepted papers will be published in the first
instance in electronic form as a Workshop
pre-proceedings. As in previous years, authors
will be invited, following the Workshop, to
submit finalised versions of their work for journal publication.
Submissions should be submitted electronically via EasyChair, in PDF format:
http://www.easychair.org/conferences/?conf=pc2011
Papers should initially be no more than 12 sides
in length (excluding bibliography), and should be formatted for A4 paper.
TOPICS INCLUDE (but are not restricted to)
* analogue computation
* axiomatization of physics: completeness, decidability, reduction
* digital physics
* optical computation
* philosophy of physics and computation
* quantum computation (digital, analogue) and its
applications (biology, mathematics, etc.)
* quantum logics
* quantum randomness
* reaction-diffusion models of computation:
including brain dynamics, BZ computers
* relativity: spacetimes, computation, time travel, speedup
* theory of measurement: axiomatization, complexity
* wormhole computation
PROGRAMME COMMITTEE
Andy Adamatzky (Bristol)
Alastair Abbott (Auckland)
Hajnal AndrÈka (Budapest)
Olivier Bournez (Ecole Polytechnique)
Ad·n Cabello (Seville)
Cristian Calude (Auckland)
Shlomi Dolev (Ben Gurion)
Elham Kashefi (Edinburgh)
Viv Kendon (Leeds)
Giuseppe Longo (Paris)
Kenichi Morita (Hiroshima)
Ferdinand Peper (NiCT)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
Damien Woods (CalTech)
Paolo Zuliani (Carnegie Mellon)
ORGANISING COMMITTEE
Hajnal AndrÈka (Budapest)
Cristian Calude (Auckland)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
COORDINATOR / QUERIES
Mike Stannett (m.stannett at dcs.shef.ac.uk)
___________________________________________________________________________
4) FCT 2011 18th International Symposium on Fundamentals of Computer
Theory
Call for Papers
FCT 2011
18th International Symposium on Fundamentals of Computer Theory
August 22-25, 2011, Oslo, Norway
The Symposium on Fundamentals of Computation Theory was established in 1977
for researchers interested in all aspects of theoretical computer science, as
well as new emerging fields such as bio-inspired computing. It is a biennial
series of conferences previously held in Poznan (Poland, 1977), Wendisch-Rietz
(Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus
(Germany, 1985), Kazan (Russia, 1987), Szeged (Hungary, 1989), Gosen-Berlin
(Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Krakow
(Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001), Malmo (Sweden,
2003), Lubeck (Germany, 2005), Budapest (Hungary, 2007), and Wroclaw
(Poland, 2009).
PROCEEDINGS
The conference proceedings will be published (as usual) in the Lecture Notes
in Computer Science series of Springer-Verlag (to be confirmed).
SUBMISSIONS (topics)
Authors are invited to submit papers presenting original unpublished research
in all areas of theoretical computer science. Topics of interest include (but
not limited to):
* Algorithms:
o algorithm design and optimization
o combinatorics and analysis of algorithms
o computational complexity
o approximation, randomized, and heuristic methods
o parallel and distributed computing
o circuits and boolean functions
o online algorithms
o machine learning and artificial intelligence
o computational geometry
o computational algebra
* Formal methods:
o algebraic and categorical methods
o automata and formal languages
o computability and nonstandard computing models
o database theory
o foundations of concurrency and distributed systems
o logics and model checking
o models of reactive, hybrid and stochastic systems
o principles of programming languages
o program analysis and transformation
o specification, refinement and verification
o security
o type systems
* Emerging fields:
o ad hoc, dynamic, and evolving systems
o algorithmic game theory
o computational biology
o foundations of cloud computing and ubiquitous systems
o quantum computation
Authors are invited to submit a paper with at most 12 pages in the LNCS style.
The paper should provide sufficient detail to allow the Program Committee to
evaluate its validity, quality, and relevance. If necessary, detailed
proofs can
be attached as an appendix. Simultaneous submission to other conferences
with published proceedings or journals is not allowed.
IMPORTANT DATES
Submission Deadline: Tuesday, 5. April 2011
Author Notification: Monday, 6. June 2011
Camera ready manuscript: Friday 17. June 2011
For further information on the conference, please visit the URL at
http://fct11.ifi.uio.no/
PROGRAM CHAIRS
- Olaf Owe (U. of Oslo)
- Martin Steffen (U. of Oslo)
- Jan Arne Telle (U. of Bergen)
PROGRAM COMMITTEE
Erika Abraham (RWTH Aachen, Germany)
Wolfgang Ahrendt (Chalmers, Sweden)
David Coudert (INRIA Sophia-Antipolis, France)
Camil Demetrescu (La Sapienza University of Rome, Italy)
Jiri Fiala (Charles University, Prague, Czech Republic)
Martin Hofmann (LMU, Munich)
Thore Husfeldt (IT University of Copenhagen, Denmark)
Alexander Kurz (U. of Leicester, UK)
Andrzej Lingas (Lund University, Sweden)
Peter Csaba Oelveczky (U. of Oslo, Norway)
Olaf Owe (U. of Oslo, Norway)
Miguel Palomino (U. Complutense, Madrid, Spain)
Yuri Rabinovich (U. of Haifa, Israel)
Saket Saurabh (Inst. of Mathematical Sciences, Chennai, India)
Martin Steffen (U. of Oslo, Norway)
Jan Arne Telle (U. of Bergen, Norway)
Tarmo Uustalu (Inst. of Cybernetics, Tallinn, Estland)
Ryan Williams (IBM Almaden Research Center, San Jose, USA)
Gerhard Woeginger (U. of Eindhoven, The Netherlands)
David Wood (U. of Melbourne, Australia)
STEERING COMMITTEE
Bogdan Chlebus (Warszawa/Denver, Poland/USA)
Zoltan Esik (Szeged, Hungary)
Marek Karpinski - chair (Bonn, Germany)
Andrzej Lingas (Lund, Sweden)
Miklos Santha (Paris, France)
Eli Upfal (Providence, USA)
___________________________________________________________________________
4') CALL FOR WORKSHOP PROPOSALS collocated with FCT 2011
***********************************************************************
CALL FOR
WORKSHOP PROPOSALS
collocated with the
18th International Symposium on
Fundamentals of Computation Theory
FCT 2011
http://fct11.ifi.uio.no/index.php?n=Conference.CallForWorkshops
University of Oslo
Oslo, NORWAY
August 22-25, 2011
***********************************************************************
The biannual International Symposium on Fundamentals of Computation
Theory will be held at the University of Oslo in late summer 2011.
We are soliciting workshops from related fields of Computer Science
that would be interested in collocating with this event.
Your workshop would benefit from the audience of FCT and the brand
new facilities at the Institutt for informatikk (IFI), Norway's
most modern IT facility. Also, the hospitality of the world's best
place to live according to the UN create this unique opportunity
for researchers to get together.
Please submit your workshop proposal consisting of
• an outline / short description,
• proposed submission deadline,
• an estimated number of participants, and
• if possible, the previous Call for Papers
until 31st of January 2011 by email to Volker Stolz <stolz @ ifi.uio.no>.
The FCT symposium covers algorithms, formal methods, and emerging
fields such as computational biology and quantum computation. In
2009, the workshops on Non-Classical Models of Automata and
Applications (NCMA), and DYnamic Networks: Algorithms and Security
(DYNAS) were held together with the symposium.
For general enquiries about FCT itself, please see our webpages,
or contact Olaf Owe or Martin Steffen directly.
http://fct11.ifi.uio.no/index.php?n=Conference.CallForWorkshops
___________________________________________________________________________
5) Fifth International Symposium on Quantum Interaction QI'2010
--------------------------
CALL FOR PAPERS
--------------------------
The Fifth International Symposium on Quantum Interaction
(QI'2010, http://www.rgu.ac.uk/qi2011), 27-29 June 2010, Aberdeen, United
Kingdom.
Quantum Interaction (QI) is an emerging field which is applying quantum
theory (QT) to domains such as artificial intelligence, human language,
cognition, information retrieval, biology, political science, economics,
organisations and social interaction. After highly successful previous
meetings (QI'2007 at Stanford, QI'2008 at Oxford, QI'2009 at Saarbruecken,
QI'2010 at Washington DC), the Fifth International Quantum Interaction
Symposium will take place in Aberdeen, UK from 27 to 29 June 2011.
This symposium will bring together researchers interested in how QT
addresses problems in non-quantum domains. QI'2011 will also include a half
day tutorial session on 26 June 2011, with a number of leading researchers
delivering tutorial on the foundations of QT, the application of QT to human
cognition and decision making, and QT inspired semantic information
processing.
***Call for Papers***
We are seeking submission of high-quality and original research papers that
have not been previously published and are not under review for another
conference or journal. Papers should address one or more of the following
broad content areas, but not limited to:
- Artificial Intelligence (Logic, planning, agents and multi-agent systems);
- Biological or Complex Systems;
- Cognition and Brain (memory, cognitive processes, neural networks,
consciousness);
- Decision Theory (political, psychological, cultural, organisational,
social sciences);
- Finance and Economics (decision-making, mergers, corporate cultures);
- Information Processing and Retrieval;
- Language and Linguistics;
The post-conference proceedings of QI'2011 will be published by Springer in
its Lecture Notes in Computer Science (LNCS) series. Authors will be
required to submit a final version 14 days after the conference to reflect
the comments made at the conference. We will also consider organizing a
special issue for a suitable journal to publish selected best papers.
***Important Dates***
28th March 2011: Abstract submission deadline;
1st April 2011: Paper submission deadline;
1st May 2011: Notification of acceptance;
1st June 2011: Camera-Ready Copy;
26th June 2011: Tutorial Session;
27th - 29th June 2011: Conference;
***Submission***
Authors are invited to submit research papers up to 12 pages. All
submissions should be prepared in English using the LNCS template, which can
be downloaded
from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
Please submit online at: http://www.easychair.org/conferences/?conf=qi2011
***Organization***
Steering Committee:
Peter Bruza (Queensland University of Technology, Australia)
William Lawless (Paine College, USA)
Keith van Rijsbergen (University of Glasgow, UK)
Donald Sofge (Naval Research Laboratory, USA)
Dominic Widdows (Google, USA)
General Chair:
Dawei Song (Robert Gordon University, UK)
Programme Committee Chair:
Massimo Melucci (University of Padua, Italy)
Publicity Chair:
Sachi Arafat (University of Glasgow, UK)
Proceedings Chair:
Ingo Frommholz (University of Glasgow, UK)
Local Organization co-Chairs:
Jun Wang and Peng Zhang (Robert Gordon University, UK)
___________________________________________________________________________
6) WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation
WoLLIC 2011
18th Workshop on Logic, Language, Information and Computation
May 18th to 21st, 2011
University of Pennsylvania
Philadelphia, USA
Scientific Sponsorship
Interest Group in Pure and Applied Logics
(<http://www.cin.ufpe.br/~igpl/>IGPL)
The Association for Logic, Language and
Information (<http://www.folli.org/>FoLLI)
Association for Symbolic Logic (<http://www.aslonline.org/>ASL)
European Association for Theoretical Computer
Science (<http://www.eatcs.org/>EATCS)
European Association for Computer Science Logic (<http://www.eacsl.org/>EACSL)
Sociedade Brasileira de Computação (<http://www.sbc.org.br/>SBC)
Sociedade Brasileira de Lógica (<http://www.cle.unicamp.br/sbl/>SBL)
Organisation
<http://www.math.upenn.edu/>Department of
Mathematics, <http://www.upenn.edu/>University of Pennsylvania, USA
<http://www.cin.ufpe.br/>Centro de Informática,
<http://www.ufpe.br/>Universidade Federal de Pernambuco, Brazil
----------
There will be a Special Session honoring Max
Kanovich on the occasion of his 65-th birthday
Speakers include John Mitchell, Mitsuhiro Okada, Paul Rowe, and others (tba)
Call for Papers
<http://wollic.org/>WoLLIC is an annual
international forum on inter-disciplinary
research involving formal logic, computing and
programming theory, and natural language and
reasoning. Each meeting includes invited talks
and tutorials as well as contributed papers. The
eighteenth WoLLIC will be held at the University
of Pennsylvania, Philadelphia, USA, from May 18th
to 21st, 2011. It is sponsored by the
<http://www.aslonline.org/>Association for
Symbolic Logic (ASL), the
<http://www.cin.ufpe.br/~igpl>Interest Group in
Pure and Applied Logics (IGPL), the
<http://www.folli.org/>The Association for Logic,
Language and Information(FoLLI), the
<http://www.eatcs.org/>European Association for
Theoretical Computer Science (EATCS), the
<http://www.eacsl.org/>European Association for
Computer Science Logic (EACSL), the
<http://www.sbc.org.br/>Sociedade Brasileira de
Computação (SBC), and the
<http://www.cle.unicamp.br/sbl/>Sociedade Brasileira de Lógica (SBL).
Paper submission
Contributions are invited on all pertinent
subjects, with particular interest in
cross-disciplinary topics. Typical but not
exclusive areas of interest are: foundations of
computing and programming; novel computation
models and paradigms; broad notions of proof and
belief; formal methods in software and hardware
development; logical approach to natural language
and reasoning; logics of programs, actions and
resources; foundational aspects of information
organization, search, flow, sharing, and
protection. Proposed contributions should be in
English, and consist of a scholarly exposition
accessible to the non-specialist, including
motivation, background, and comparison with
related works. They must not exceed 10 pages (in
font 10 or higher), with up to 5 additional pages
for references and technical appendices. The
paper's main results must not be published or
submitted for publication in refereed venues,
including journals and other scientific meetings.
It is expected that each accepted paper be
presented at the meeting by one of its authors.
Papers must be submitted electronically at the
WoLLIC 2011 EasyChair website. (Please go to
<http://wollic.org/wollic2011/instructions.html>http://wollic.org/wollic2011/instructions.html
for instructions.) A title and single-paragraph
abstract should be submitted by January 1, and
the full paper by January 8 (firm date).
Notifications are expected by February 21, and
final papers for the proceedings will be due by March 1 (firm date).
Proceedings
The proceedings of WoLLIC 2011, including both
invited and contributed papers, will be published
in advance of the meeting as a volume in
Springer's <http://www.springer.com/lncs>LNCS
series. In addition, abstracts will be published
in the Conference Report section of the Logic
Journal of the IGPL, and selected contributions
will be published as a special post-conference
WoLLIC 2011 issue of the Annals of Pure and Applied Logic (to be confirmed).
Invited Speakers
<http://www.cis.upenn.edu/~alur/>Rajeev Alur
(Philadelphia)
<http://www.phil.uu.nl/~iemhoff/eigen.html>Rosalie
Iemhoff (Utrecht)
<http://theory.stanford.edu/people/jcm/>John
Mitchell (Stanford)
<http://www.math.ias.edu/~vladimir/Site3/home.html>Vladimir
Voevodsky (Princeton)
<http://www.phil.uu.nl/~yoad/>Yoad Winter
(Utrecht) <http://www.dcs.bbk.ac.uk/~michael/>Michael Zakharyaschev (London)
Student Grants
ASL sponsorship of WoLLIC 2011 will permit ASL
student members to apply for a modest travel
grant (deadline: February 18, 2011).
See<http://www.aslonline.org/studenttravelawards.html>http<http://www.aslonline.org/studenttravelawards.html>://www.aslonline.org/studenttravelawards.html
for details.
Important Dates
January 1, 2011: Paper title and abstract
deadline January 8, 2011: Full paper deadline
(firm) February 21, 2011: Author notification
March 1, 2011: Final version deadline (firm)
Programme Committee
<http://web.cs.gc.cuny.edu/~sartemov/>Sergei
Artemov (New York)
<http://www.andrew.cmu.edu/user/avigad/>Jeremy
Avigad (Pittsburgh)
<http://www.cs.swan.ac.uk/~csarnold/>Arnold
Beckman (Swansea)
<http://www.mi.ras.ru/~bekl/>Lev Beklemishev
(Moscow) (CHAIR)
<http://www.dm.unipi.it/~berardu/>Alessandro
Berarducci (Pisa)
<http://www.math.lsa.umich.edu/~ablass/>Andreas
Blass (Ann Arbor) (tbc)
<http://www.math.ucsd.edu/~sbuss/>Sam Buss (San
Diego) <http://www.cs.bham.ac.uk/~axj/>Achim Jung
(Birmingham)
<http://staff.science.uva.nl/~bloewe/>Benedikt
Löwe (Amsterdam)
<http://www.cs.technion.ac.il/~janos/>Janos
Makowsky (Haifa)
<http://www.let.uu.nl/~ctl/docenten/moortgat.html>Michael
Moortgat (Utrecht)
<http://www.phil.uu.nl/~oostrom/>Vincent van
Oostrom (Utrecht)
<http://www.cs.mcgill.ca/~prakash/>Prakash
Panangaden (Montréal)
<http://www.sci.brooklyn.cuny.edu/cis/parikh/>Rohit
Parikh (New York)
<http://www.cin.ufpe.br/~ruy>Ruy de Queiroz
(Recife)
<http://www.poncelet.ru/pers/shen.htm>Alexander
Shen (Marseilles and Moscow)
<http://www.cs.ru.nl/~spitters/>Bas Spitters
(Nijmegen) <http://www7.in.tum.de/~veith/>Helmut
Veith (Wien)
<http://staff.science.uva.nl/~yde/>Yde Venema
(Amsterdam)
<http://www.cis.upenn.edu/~weinstei/>Scott
Weinstein (Philadelphia)
<http://www.csc.liv.ac.uk/~frank/>Frank Wolter (Liverpool)
Steering Committee
Samson Abramksy, Johan van Benthem, Anuj Dawar,
Joe Halpern, Wilfrid Hodges, Daniel Leivant,
Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.
Organising Committee
<http://www.math.upenn.edu/~vnigam/>Vivek Nigam
(U Penn) <http://www.cin.ufpe.br/~ago>Anjolina G.
de Oliveira (U Fed Pernambuco)
<http://www.cin.ufpe.br/~ruy>Ruy de Queiroz (U
Fed Pernambuco) (co-chair)
<http://www.cis.upenn.edu/~scedrov/>Andre Scedrov (U Penn) (co-chair)
Further information
Contact one of the Co-Chairs of the Organising Committee.
Web page
<http://wollic.org/wollic2011/>http://wollic.org/wollic2011/
___________________________________________________________________________
7) 2nd CFP: Unconventional Computation 2011
------------------------------------------------------------------------
2nd Call for Papers or Posters
Tenth International Conference on
UNCONVENTIONAL COMPUTATION, UC 2011
University of Turku, Finland, June 6-10, 2011
http://www.math.utu.fi/uc2011/
------------------------------------------------------------------------
Important dates
- Paper submission deadline: January 31, 2011
- Notification to authors: March 4, 2011
- Final versions due: March 21, 2011
- Poster submission deadline: April 18, 2011
- UC 2011: June 6-10, 2011
------------------------------------------------------------------------
UC 2011 is organized by the FUNDIM laboratory of
the mathematics department at the University of
Turku, Finland, under the auspices of EATCS.
Original papers and posters are solicited in all
all areas of unconventional computation.
Papers/posters dealing with theory as well as
with experiments and applications are welcome.
Typical, but not exclusive, topics are: natural
computing including quantum, cellular, molecular,
neural and membrane computing, as well as
evolutionary paradigms; chaos and dynamical
systems based computing; proposals for
computations going beyond the Turing model.
Submissions: Authors are invited to submit papers
(at most 12 pages) or posters electronically, via EasyChair:
http://www.easychair.org/conferences/?conf=uc2011
All submissions are expected to be in the pdf
format. Paper submissions should be prepared
following the LNCS format of Springer. Poster
submissions should contain either a graphical
poster or an abstract with sufficient details for
the reviewers. Simultaneous submissions to other
conferences with published proceedings are not
permitted. Each accepted paper/poster must be
presented at the conference. The author of the
poster is responsible for printing it. The
proceedings (only for papers) will be published
by Springer LNCS series and will be available at the conference.
------------------------------------------------------------------------
Programme Committee:
- Selim Akl (Kingston, CA)
- Olivier Bournez (Paris, FR)
- Thomas Bäck ( Leiden, NL)
- Adan Cabello (Sevilla, ES)
- Barry Cooper (Leeds, UK)
- José Félix Costa (Lisbon, PT)
- Nachum Dershowitz (Tel Aviv, IL)
- Eric Goles (Santiago, CL)
- Shan He (Birmingham, UK)
- Mika Hirvensalo (Turku, FI)
- Natasha Jonoska (Tampa FL, US)
- Jarkko Kari (Turku, FI, co-chair)
- Giancarlo Mauri (Milano, IT)
- Kenichi Morita (Hiroshima, JP)
- Ion Petre (Turku, FI, co-chair)
- Kai Salomaa (Kingston, CA)
- Hava Siegelmann (Amherst MA, US)
- Susan Stepney (York, UK)
- Fumiaki Tanaka (Tokyo, JP)
- Jon Timmis (York, UK)
------------------------------------------------------------------------
Invited Speakers:
- Samson Abramsky (Oxford, UK),
- Bastien Chopard (Geneva, CH),
- David Corne (Edinburgh, UK),
- Juhani Karhumäki (Turku, FI),
- Gheorghe Pa(un (Bucharest, RO),
- Grzegorz Rozenberg (Leiden, NL).
Tutorials:
- Quantum Information (Mika Hirvensalo, Turku, FI),
- Cellular Automata (Nicolas Ollinger, Marseille, FR),
- Membrane Computing (Mario de J. Pérez Jiménez, Sevilla, SP).
Satellite Workshops:
- Physics and Computation (org. Mike Stannet),
- Hypercomputation (org. Mike Stannet),
- Language Theory in Biocomputing (org. Tero Harju),
- Discrete Models of Complex Systems (org. Anna Lawniczak)
Conference location: The conference and the
satellite workshops will take place in the
Calonia and Arcanum buildings of the University of Turku.
Conference History: The first venue of the
Unconventional Computation Conference (formerly
called Unconventional Models of Computation) was
Auckland, New Zealand, in 1998; subsequent sites
of the conference were Brussels, Belgium, in
2000; Kobe, Japan, in 2002; Seville, Spain, in
2005; York, UK, in 2006; Kingston, Canada, in
2007; Vienna, Austria, in 2008; Ponta Delgada,
Portugal, in 2009; and Tokyo, Japan, in 2010.
------------------------------------------------------------------------
Organizing Committee:
- Pierre Guillon
- Tero Harju
- Mika Hirvensalo
- Timo Jolivet
- Juhani Karhumäki
- Jarkko Kari (chair)
- Arto Lepistö
- Ion Petre
- Petri Salmela
- Charalampos Zinoviadis
Proceedings Committee:
- Cristian S. Calude
- Jarkko Kari
- Arto Lepistö
- Ion Petre
- Grzegorz Rozenberg
UC Steering Committee:
- Thomas Bäck (Leiden, NL),
- Cristian S. Calude (Auckland, NZ, co-chair),
- Lov K. Grover (Murray Hill NJ, US),
- Jarkko Kari (Turku, FI),
- Lila Kari (London, CA),
- Jan van Leeuwen (Utrecht, NL),
- Seth Lloyd (Cambridge MA, US),
- Gheorghe Pa(un (Bucharest, RO),
- Tommaso Toffoli (Boston MA, US),
- Carme Torras (Barcelona, SP),
- Grzegorz Rozenberg (Leiden, NL, co-chair),
- Arto Salomaa (Turku, FI).
___________________________________________________________________________
8) Typed Lambda Calculi and Applications TLCA 2011
=====================================
***** Final CALL FOR PAPER *****
Typed Lambda Calculi and Applications
TLCA 2011, 1-3 June 2011, Novi Sad
=====================================
http://www.rdp2011.uns.ac.rs/tlca/index.html
------------------------------------------------
** Title and abstract due 26 January 2011 **
** Deadline for submission 2 February 2011 **
------------------------------------------------
The conference proceedings will be published by Springer in the ARCoSS
subline of LNCS series:
http://www.springer.com/computer/lncs?SGWID=0-164-6-737109-0
Invited Speakers
* Alexandre Miquel (Universite Paris VII)
* Stephanie Weirich (University of Pennsylvania, United States)
* Vladimir Voevodsky, to be confirmed (Princeton, United States)
The 10th Conference on Typed Lambda Calculi and Applications (TLCA
2011) is a forum for original research in the theory and applications
of typed lambda calculus, broadly construed.
Suggested, but not exclusive, list of topics for submission are:
* Proof-theory: formal reasoning based on type theory, linear logic
and proof nets, type-theoretic aspects of computational complexity
* Semantics: game semantics, realisability, categorical and other
models
* Types: dependent types, polymorphism, intersection types and
related approaches (union types, refinement / liquid types, behavioural
types), type inference, types in program analysis and verification
* Programming: foundational aspects of functional and
object-oriented programming, flow analysis of higher-type computation,
program equivalence (step-indexed, bisimulation and related methods)
Programme Committee Chair
* Luke Ong (Oxford, GB)
Programme Committee
* Thorsten Altenkirch (University of Nottingham)
* Stefano Berardi (University of Torino)
* Adriana Compagnoni (Stevens Institute of Technology, New Jersey)
* Giles Dowek (Ecole Polytechnique, Paris)
* Silvia Ghilezan (University of Novi Sad)
* Hugo Herbelin (INRIA, Paris)
* Atsushi Igarashi (Kyoto University)
* Ranjit Jhala (UC San Diego)
* Ralph Matthes (CNRS, IRIT)
* Ugo dal Lago (University of Bologna)
* Luke Ong (University of Oxford) (PC Chair)
* Rick Statman (Carnegie Mellon University)
* Tachio Terauchi (Tohoku University)
* Nobuko Yoshida (Imperial College, London)
TLCA Publicity Chair
* Luca Paolini (Turin)
___________________________________________________________________________
9) (From Andreatta Moreno) Third CFP: Mathematics
and Computation in Music Conference
=====================
MATHEMATICS AND COMPUTATION IN MUSIC CONFERENCE (MCM 2011)
http://mcm2011.ircam.fr
*** Important Dates ***
- February 1, 2011 Extended deadline for
submission of papers, tutorials and panels
- March 14, 2011 Notification of acceptance
- March 29, 2011 Camera-ready submissions
- June 15-17, 2011 MCM 2011
*** Third Call for Participation ***
The Third International Conference on Mathematics
and Computation in Music (MCM 2011) will take
place June 15-17, 2011 at IRCAM, the Institute
for Research and Coordination of Acoustics and
Music in Paris, France. MCM 2011 will be
integrated into IRCAM’s most important artistic
event of the season, the Agora Music Festival,
which is running from June 8 to 18, 2011. As in
the case of the first two conferences (which took
place in 2007 in Berlin and in 2009 at Yale
University), the third Mathematics and
Computation in Music Conference aims to provide a
multi-disciplinary platform dedicated to the
communication and exchange of ideas amongst
researchers involved in mathematics, computer
science, music theory, composition, musicology,
or other related disciplines. The two Keynote
speakers will be the renowned composer and
conductor Pierre Boulez, founder and honorary
director of IRCAM, and Fields medalist Alain
Connes. The conference will be accompanied by a
series of conference-related artistic events
(concerts, exhibitions, workshops,
) organized
in collaboration with some of the most
important cultural and educational centers
of France, such as the Centre Pompidou and
Universcience. MCM2011 is organized under the
auspices of the SMF (French Mathematical
Society), CiE (Computability in Europe), ESMA
(European Society for Mathematics and Arts) and
with the financial support of CNRS (French
National Center for Scientific Research).
We welcome original and high quality
contributions including research papers,
invited sessions or panels and tutorials
in all areas related to the mission of the
Society of Mathematics and Computation in Music
(see http://www.smcm-net.info/).
The list of topics includes (but is not limited to):
- Mathematical models of the pitch space
- Mathematical models of rhythm
- Mathematical theory of musical gestures
- Logical aspects of music theory, analysis and composition
- Computer-aided models of music theory,
analysis, composition, performance and improvisation
- Perceptive and cognitive approaches in mathematics and music
- Philosophy of mathematics and music.
To promote objectivity and fairness in judging
research paper contributions, the peer review
process will be double-blind. The Proceedings of
the conference will be published by the Springer
Series on Communications in Computer and
Information Science. Registration fees for the
conference will be fixed soon (about 70-100
euros, including a copy of the Proceedings by
Springer). The list of members belonging to the
Scientific Committee is available at the MCM Conference webpage.
*** Submission Guidelines ***
Please read the paper submission guidelines
carefully, as these instructions combine
practices in the humanities and science/engineering traditions.
1. Papers
Submissions are to come in the form of complete
papers, rather than proposals for work to be
completed later. All papers will be judged
according to their novelty, content,
presentation, and contribution to the field.
Paper submissions should satisfy the following conditions:
- submission must consist of original
contributions not previously published, and not
currently being considered for publication elsewhere
- formatting must comply with guidelines and
templates available on the submission section of
the conference webpage (http://mcm2011.ircam.fr/drupal/?q=node/5)
- maximum length of the paper is 3,000 words,
i.e. 15 pages). Take the requirement to mean that
the paper should not exceed 3000 words (excluding
the abstract), and also should not exceed 15 pages (including the figures).
- graphics, if any, should preferably be embedded
in the text; they may also be appended at the end on supplementary pages
- papers should be prefaced by a 150 to 200-word
abstract; this is not included in the word count for the submission
Papers should be submitted through the MCM 2011
OpenConf system (see “submissions†section in
the conference webpage). All submissions will be
subject to double-blind peer review. Submitters
may be asked to respond to initial reviews during
the last week of February. Authors of accepted
papers will be notified no later than March 4,
and must submit final revisions, camera ready, by March 19.
At least one author must register for the
conference before submitting the camera-ready
version. In order to have an idea of the number
of submitted papers, we kindly invite the
potential authors to put ASAP some general
information (title of the paper, name of the
author(s), organization, etc.) in the OpenConf
system. All these information can be changed once
you decide to submit updated versions of your paper.
2. Panels
Panels should offer lively and provocative
discussions on topics of particular interest to
the community. Rather than offering a series of
paper presentations, panel sessions should be
structured so as to engage the audience in
thoughtful and constructive dialogue with the
panelists. Submissions should be emailed to
mcm2011-panels at ircam.fr as pdf files containing a
1-2 page abstract providing the following details:
- the topic and issues to be discussed,
- short biographies of the moderator and panelists, and
- any special requirements.
3. Tutorials
Tutorials should concentrate on a single topic,
and last approximately 3 hours, including a
break. Submissions should be emailed to
mcm2011-tutorials at ircam.fr as pdf files
containing a 1-2 page abstract with the following details:
- an outline of the tutorial topic,
- the intended and expected audience,
- short biography of the presenter(s), and
- any special requirements.
We look forward to seeing you in Paris!
MCM 2011 Organization Committee
Carlos Agon, IRCAM/CNRS
Emmanuel Amiot, CPGE, Perpignan
Moreno Andreatta, IRCAM/CNRS
Gérard Assayag, IRCAM/CNRS
Jean Bresson, IRCAM/CNRS
http://mcm2011.ircam.fr
mcm2011-contact at ircam.fr
___________________________________________________________________________
10) CALL for PAPERS (Special Issue) INTERNATIONAL JOURNAL of QUANTUM
INFORMATION Quantum Correlations: entanglement and beyond
CALL for PAPERS (Special Issue)
INTERNATIONAL JOURNAL of QUANTUM INFORMATION
Quantum Correlations: entanglement and beyond
GUEST EDITORS
Shunlong Luo (Chinese Academy of Sciences, CN)
Sabrina Maniscalco (Heriot-Watt University, Edinburgh, UK)
Kavan Modi (National University of Singapore, SG)
G. Massimo Palma (University of Palermo, IT)
Matteo G. A. Paris (University of Milano, IT)
Quantum correlations have been the subject of intensive studies in the
last two decades, mainly due to the general belief that they are
fundamental resources for quantum information processing and other
tasks in quantum technology. The first rigorous attempt to address the
classification of quantum correlations was put forward by Werner, who
formalized the elusive concept of quantum entanglement. More recently,
other quantities, as such quantum discord, have been proposed to
capture different aspects of the quantumness of correlations. In
parallel, several applications where quantum, classical, hybrid
correlations play a role have been suggested and implemented. Among
them we mention quantum imaging, interferometry, state engineering,
computing and entanglement-assisted quantum measurements.
This special issue is aimed to collect papers addressing both
fundamental problems and applications, thus offering to readers
comprehensive and up-to-date overview on the characterization and use
of quantum correlations. We welcome papers that address fundamental
aspects of quantum and classical correlations in discrete and
continuous variable systems, propose implementations to make
quantitative measurements of quantum correlations, or describe
experiments that exploit quantum correlations as a resource for
quantum technology.
Possible topics include, but are in no way limited to:
characterization and measurement of entanglement and quantum discord,
discrimination of classical and quantum correlations in quantum
systems, applications of quantum correlations to quantum technology,
dynamics of quantum correlations in open systems, decoherence,
metrology, error correction.
Manuscripts should be submitted to matteo.paris at fisica.unimi.it with
subject "[QCSPE] and must meet the normal refereeing standards of
IJQI.
LaTeX is the exceedingly preferred format, IJQI macros are available at
http://www.worldscinet.com/style_files/ijqi/187-readme_2e.shtml
Deadline for submission is May 15th 2011. Publication is expected within
2011.
___________________________________________________________________________
11) Trends in Logic IX: Church's Thesis, Logic,
Mind and Nature, Krakow (Poland)
Studia Logica International Conference
Church's Thesis: Logic, Mind and Nature
Krakow, Poland, June 3-5, 2010
http://StudiaLogica.org/TrendsIX
contact: trendsIX at upjp2.edu.pl
FIRST ANNOUNCEMENT
Conference goals:
In 1935 Alonzo Church formulated a thesis called,
after Kleene, the Church??s Thesis (CT). The
acceptance of the CT led to a negative answer to
Hilbert??s Entscheindungsproblem. Since then,
many important logicians and philosophers have
ventured to solve the numerous problems connected
to the CT. The problems include attempts at a
proof of the CT, analysis of its status and its
logical value, etc. These various lines of
research have shown that the CT has many
incarnations and constitutes an interdisciplinary
problem. The research concerning the CT, as well
as an analogical thesis developed by Alan Turing,
has resulted in important insights regarding the
concept of computability. Georg Kreisel
formulated three versions of the CT, pertaining
to machine, human, and physical computability.
With respect to this, the conference??s focus
will be on three areas connected to the CT: logic, mind and nature.
The main goals of the conference include the
discussion over the major results concerning the
CT, as well as the presentation of contemporary
approaches to problems connected with the CT.
Call for papers: We invite contributions
pertaining to issues which lie in the fields for
which the CT is an important problem. Especially,
but not exclusively, we invite contributions related to:
(A)Perspectives on Church??s Thesis: history of
the Church??s Thesis; Church??s Thesis and
Turing??s Thesis; pro and contra: arguments in
the discussions concerning the CT;
(B)Church??s thesis and logic: definitions of the
concept of algorithm, attempts at formalizing the
CT, CT in constructivism, CT in epistemic
mathematics, modal logics and the CT, functional
programming and the CT, logical theory of concepts;
(C)Church??s Thesis and the mind: cognitivist
approaches to the mind; theories of concepts; mind and computability;
(D) Church??s Thesis and nature: analog
computations, computations by physical systems.
Invited speakers:
Jack Copeland (University of Canterbury),
Marie Duzi (VSB-Technical University of Ostrava),
Yuri Gurevich (University of Michigan),
Petr Hajek (Academy of Sciences of the Czech Republic),
Pavel Materna (Academy of Sciences of the Czech Republic),
David McCarty (Indiana University),
Wilfried Sieg (Carnegie Mellon University),
Oron Shagrir (Hebrew University of Jerusalem),
Stewart Shapiro (Ohio State University),
Jan Wolenski (Jagiellonian University),
Ryszard Wojcicki (Institute of Philosophy and
Sociology, Polish Academy of Sciences),
Konrad Zdanowski (Paris Diderot University).
Some of the invited speakers have not confirmed their participation yet.
Organizing Committee: Adam Olszewski (Chairman),
Bartosz Brozek, Jacek Malinowski, Piotr Urbanczyk, Malgorzata Drozdz.
Program Committee: Jacek Malinowski (Chairman),
Heinrich Wansing, Hannes Leitgeb, Leon Horsten, Adam Olszewski.
Organizers: Studia Logica, Copernicus Center for
Interdyscyplinary Studies, Pontifical University of John Paul II in Cracow.
Deadline: Please send an abstract not exceeding 2
pages to atolszad at cyf-kr.edu.pl not later than
March 15. The authors will be notified about the
acceptance of their papers within 4 weeks after submission.
More details will be provided in the second
announcement, which is to be distributed in the middle of February, 2011.
On behalf of the Organizing Committee
Adam Olszewski
___________________________________________________________________________
12) (From Marc Bezem) CSL 2011 20th Annual
Conference of the European Association for
Computer Science Logic
----------------------------------------------------------------
CSL 2011 - COMPUTER SCIENCE LOGIC
Call for papers and workshop proposals
September 12-15, 2011, Bergen, Norway
http://www.eacsl.org/csl11
* Computer Science Logic (CSL) is the annual conference of the
European Association for Computer Science Logic (EACSL).
The conference is intended for computer scientists whose
research activities involve logic, as well as for logicians
working on issues significant for computer science.
Original research papers are called for, for more information,
see http://www.eacsl.org/csl11/csl-fst-cfp-2011.pdf
* Topics of interest include (but are not limited to):
automated deduction and interactive theorem proving,
constructive mathematics and type theory,
equational logic and term rewriting,
automata and games, game semantics,
modal and temporal logic,
model checking,
decision procedures,
logical aspects of computational complexity,
finite model theory, computational proof theory,
logic programming and constraints,
lambda calculus and combinatory logic,
categorical logic and topological semantics,
domain theory, database theory,
specification, extraction and transformation of programs,
logical foundations of programming paradigms,
logic and quantum computing,
verification and program analysis,
linear logic,
higher-order logic,
nonmonotonic reasoning.
* Proposals for satellite workshops on more specialized topics are
welcome and can be sent to csl11 at eacsl.org
* Important dates:
Submission of title and abstract: March 27, 2011
Submission of full paper: April 3, 2011
Notification: May 30, 2011
Final paper due: June 17, 2011
Conference: September 12-15, 2011
* Program Committee:
Samson Abramsky (Oxford)
Andrea Asperti (Bologna)
Franz Baader (Dresden)
Matthias Baaz (Vienna)
Johan van Benthem (Amsterdam/Stanford)
Marc Bezem (Bergen, chair)
Patrick Blackburn (Nancy)
Andreas Blass (Michigan)
Jan van den Bussche (Hasselt)
Thierry Coquand (Gothenburg)
Nachum Dershowitz (Tel Aviv)
Valentin Goranko (Copenhagen)
Erich Graedel (Aachen)
Wiebe van der Hoek (Liverpool)
Bart Jacobs (Nijmegen)
Reinhard Kahle (Lisbon)
Stephan Kreutzer (Oxford)
Viktor Kuncak (Lausanne)
Daniel Leivant (Indiana)
Benedikt Loewe (Amsterdam)
Jean-Yves Marion (Nancy)
Eugenio Moggi (Genova)
Albert Rubio (Barcelona)
Anton Setzer (Swansea)
Alex Simpson (Edinburgh)
John Tucker (Swansea)
Pawel Urzyczyn (Warsaw)
Helmut Veith (Vienna)
Andrei Voronkov (Manchester)
___________________________________________________________________________
13) TAMC2011, Deadline Extended: FEBRUARY 5, 2011
===================EXTENDED DEADLINE ___FEBRUARY 5___====================
CALL FOR PAPERS
TAMC 2011
8th Annual Conference on Theory and Applications of Models of Computation
May 23 -- 25, 2011, Tokyo, Japan
EMAIL: tamc2011 at easychair.org
http://www.jtlab.ice.uec.ac.jp/tamc/
After six annual meetings in China ('04-'09) and one in Czech
Republic ('10), TAMC2011 will be held in Japan, at the University
of Electro-Communications, approximately 10 miles southwest of
the Shinjuku district in Tokyo.
AIM AND SCOPE
TAMC aims at bringing together a wide range of researchers with interests
in computational models and their applications. The main themes of the
conference are computability, complexity, and algorithms. The topics of
interest include (but are not limited to):
- algebraic computation,
- approximation algorithms,
- automata theory,
- biological computing,
- circuit complexity,
- computability,
- computational biology,
- computational complexity,
- computational game theory,
- computational logic,
- computational geometry,
- cryptography,
- data structures,
- distributed algorithms,
- graph algorithms,
- information and randomness,
- learning theory,
- natural computation,
- network algorithms,
- neural computational models,
- online algorithms,
- parallel algorithms,
- proof complexity,
- quantum computing,
- randomized algorithms,
- streaming algorithms.
SUBMISSION GUIDELINE
Submission is through EasyChair:
https://www.easychair.org/account/signin.cgi?conf=tamc2011.
A submission must be typeset with LaTeX using the Springer-Verlag Lecture
Notes style. Its length must be no more than ten pages. A clearly marked
appendix may be added, but it will be read at the discretion of PC.
Submission of papers accepted for publication in journals is not
permitted. Nor is simultaneous submission to other conferences with
published proceedings.
PROCEEDINGS
The conference proceedings will be published as a volume in Lecture Notes
in Computer Science.
JOURNAL SPECIAL ISSUES
A special issue of selected papers from TAMC2011 in Theoretical Computer
Science is being planned. Another TAMC special issue may be published in
Mathematical Structures in Computer Science.
Olaf Beyersdorff (Hannover, Germany)
Cristian Calude (Auckland, New Zealand)
Amit Chakrabarti (Hanover, USA)
Danny Chen (Notre Dame, USA)
Zhi-Zhong Chen (Tokyo, Japan)
Marek Chrobak (Riverside, USA)
Pierluigi Crescenzi (Firenze, Italy)
William Gasarch (College Park, USA)
Tero Harju (Turku, Finland)
Miki Hermann (Palaisseau, France)
Sanjay Jain (Singapore, Singapore)
Ming-Yang Kao (Chicago, USA)
S Rao Kosaraju (Baltimore, USA)
Carlos Martin Vide (Tarragona, Spain)
Peter Bro Miltersen (Aarhus, Denmark)
Mitsunori Ogihara, chair (Miami, USA)
Ruediger Reischuk (Luebeck, Germany)
Christian Sohler (Dortmund, Germany)
Jun Tarui, co-chair (Tokyo, Japan)
Takeshi Tokuyama (Sendai, Japan)
Chee-Keng Yap (New York, USA)
STEERING COMMITTEE
Manindra Agrawal (Kanpur, India)
Jin-Yi Cai (Madison, USA)
S. Barry Cooper (Leeds, UK)
John Hopcroft (Ithaca, USA)
Angsheng Li (Beijing, China)
IMPORTANT DATES
Submission Deadline Feb. 5, '11, 23:59PM, EST (GMT -5:00)
Notification of Acceptance Mar. 4, '11
Final Version Due Mar. 9, '11
Early Registration Deadline Mar. 28, '11
PLENARY SPEAKERS
Tetsuo Asano (JAIST, Japan)
Richard Lipton (Georgia Tech., USA)
___________________________________________________________________________
14) Second Announcement: International Conference on History and Philosophy
of Computing
----
Second announcement
International Conference
History and Philosophy of Computing
Celebrating the 75th anniversary of the famous 1936 Papers by A. Church,
E.L. Post and A.M. Turing
November 7 - 10, 2011
Gent University, Belgium
http://www.computing-conference.ugent.be
From 7-10 November 2011 the Centre for Logic and Philosophy of Science
organizes an International Conference on the History and Philosophy of
Computing.
Topics of the conference include:
* The birth, evolution and future of computation
* Philosophical, foundational and practical issues of computability in
logic, mathematics and computer science
* Computation in the sciences
INVITED SPEAKERS:
Bill Aspray (University of Texas)
Martin Davis (New York University)
Fairouz Kamareddine (Heriot-Watt University Edinburgh)
Sybille Krämer (Freie Universität Berlin)
Giovanni Sambin (Universita' di Padova)
Raymond Turner (University of Essex)
Stephen Wolfram (Wolfram Research)
SUBMISSIONS
We plan to have up to 30 contributed papers to be presented at the
conference. We welcome contributions from logicians and philosophers or
historians of science as well as from philosophically aware computer
scientists and mathematicians. Authors should submit an electronic version
of an extended abstract (approximately 1000 words) through EasyChair.
Submission will be open on when the Call for Papers is launched on 15th
March 2011.
CONFERENCE CHAIRS:
Liesbeth De Mol and Giuseppe Primiero
PROGRAMME COMMITTEE:
G. Alberts (Amsterdam)
S. Artemov (New York)
M. Campbell-Kelly (Warwick)
L. Corry (Tel Aviv)
M. Denecker (Leuven)
A. Eden (Essex)
L. Floridi (Oxford & Hertfordshire)
R. Kahle (Lisbon)
B. Loewe (Amsterdam)
J. Meheus (Ghent)
E. Myin (Antwerp)
S. Negri (Helsinki)
V. de Paiva (Palo Alto)
S. Smets (Groningen)
G. Sundholm (Leiden)
C. Toffalori (Camerino)
J.P. van Bendegem (Brussels)
M. van Dyck (Ghent)
B. van Kerkhove (Brussels & Hasselt)
E. Weber (Ghent)
SUPPORT
The International Association for Computing and Philosophy will fund a $500
travel grant for an IACAP graduate student to attend. IACAP graduate
students who would like to apply for this grant need to send a copy of their
submission to Tony Beavers (executivedirector at ia-cap.org), executive
director of IACAP. More details for applications will be added later. The
Association also offers a 10% discount on the conference fee for IACAP
members.
Student members of the Association for Symbolic Logic also may apply for
travel grants. To be considered for a Travel Award, please (1) send a letter
of application, and (2) ask your thesis supervisor to send a brief
recommendation letter. The application letter should be brief (preferably
one page) and should include: (1) your name; (2) your home institution; (3)
your thesis supervisor's name; (4) a one-paragraph description of your
studies and work in logic, and a paragraph indicating why it is important to
attend the meeting; (5) your estimate of the travel expenses you will incur;
(6) (for citizens or residents of the USA) citizenship or visa status; and
(7) (voluntary) indication of your gender and minority status. Women and
members of minority groups are strongly encouraged to apply. In addition to
funds provided by the ASL, the program of travel grants is supported by a
grant from the US National Science Foundation; NSF funds may be awarded only
to students at USA universities and to citizens and permanent residents of
the USA. Air travel paid for using NSF funds must be on a US flag carrier.
Application by email is encouraged; put "ASL travel application'' in the
subject line of your message. Applications should be received at least three
months prior to the meeting at the ASL Business Office: ASL, Box 742, Vassar
College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax:
1-845-437-7830; email: asl at vassar.edu. Decisions will be communicated at
least two months prior to the meeting.
PROCEEDINGS
A selection of papers will be published as a Special Issue of the Journal
Philosophy & Technology (Springer)
More details on deadlines and submissions can be found at:
http://www.computing-conference.ugent.be
For requests and infos
computing.conference at ugent.be
More information about the FOM
mailing list