[FOM] CiE Newsletter No.45, March 15, 2011
Olivier Bournez
bournez at lix.polytechnique.fr
Tue Mar 15 19:52:00 EDT 2011
CiE Newsletter No.45, March 15, 2011:
Please send any items you would like included in
next letter to Olivier Bournez <bournez at lix.polytechnique.fr>
DEADLINE: April 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/
In particular:
Call for Informal Presentations: Deadline May 15 2011 (see item 7 below).
___________________________________________________________________________
CONTENTS:
1) DCFS 2011---Descriptional Complexity of Formal Systems.
2) Computational Prospects of Infinity II: AII Graduate Summer School
3) Turing Centenary Workshop on "THE INCOMPUTABLE"
4) CSL'11 call for papers and workshop proposals
5) ICTAC 2011 International Colloquium on Theoretical Aspects of
Computing
5') Call for Tutorials and Workshops Proposal at ICTAC 2011
International Colloquium on Theoretical Aspects of Computing
6) LOGIC IN COMPUTER SCIENCE (LICS 2011)
7) CiE 2011: Computability in Europe. Call for Informal Presentations
8) LCC'11 WORKSHOP ANNOUNCEMENT
9) COMPUTABILITY THEORY AND APPLICATIONS: A
MEETING IN HONOR OF ROBERT I. SOARE
10) WORKSHOP : Quantum Physics meets TARK
11) quantum foundations announcements list
12) 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M ***
13) Logic Colloquium 2011, Barcelona (Spain), 11-16 July 2011
14) Book Announcement: "Computability In Context"
15) International Conference on the History and Philosophy of
Computing
___________________________________________________________________________
1) DCFS 2011---Descriptional Complexity of Formal Systems.
***********************************************************************
* PAPER SUBMISSION EXTENDED: March 21, 2011 *
***********************************************************************
Dear colleagues and friends,
Enclosed you will find the
C A L L F O R P A P E R S
for
DCFS 2011---Descriptional Complexity of Formal Systems.
The 13th International Workshop DCFS 2011 will take place
in the vicinity of Giessen, Germany, from July 25--27, 2011.
The workshop is organized by the Institut fuer Informatik of the
Justus-Liebig-Universitaet Giessen. Special thanks go to the
invited speakers
Jarkko Kari (Turku, Finland)
Friedrich Otto (Kassel, Germany)
Stefan Schwoon (Cachan, France)
Denis Therien (Montreal, Canada)
for accepting our invitation and presenting their recent results
at DCFS 2011
Submissions (12 pages LNCS style) concerning the descriptional
complexity of formal systems and structures (and its applications)
are invited for DCFS 2011 by
***** March 21, 2011 (extended deadline). *****
For the topics, the submission instructions, and further information,
please see the website at
http://www.informatik.uni-giessen.de/dcfs2011/
The proceedings will be published in the Springer Lecture Notes
in Computer Science (LNCS) series. As in previous years, a special
journal issue with full versions of selected papers will be devoted
to DCFS.
We hope that many of you will submit papers and will attend
DCFS 2011.
With best wishes,
Markus Holzer (University of Giessen)
Martin Kutrib (University of Giessen)
Giovanni Pighizzini (University of Milano)
PS.: We apologize for multiple posting.
___________________________________________________________________________
2) Computational Prospects of Infinity II: AII Graduate Summer School
From: Peter Cholak <Peter.Cholak.1 at nd.edu>
To: "COMP-THY at listserv.nd.edu" <COMP-THY at listserv.nd.edu>
Subject: [COMP-THY] from CT Chong
We are inviting applications for participation in the Asian Initiative
for Infinity Graduate Summer School in Logic for 2011. This summer school
is funded by the John Templeton Foundation and the Institute for
Mathematical Sciences at the National University of Singapore. The summer
school will be held from June 15 through July 13. Funding will be
available for graduate students selected for participation, and for up to
four postdoctoral fellows for a one-month stay. For details , please
visit
http://www2.ims.nus.edu.sg/Programs/011aiiss/index.php
___________________________________________________________________________
3) Turing Centenary Workshop on "THE INCOMPUTABLE"
Preliminary announcement:
June 12-15, 2012 - Turing Centenary Workshop on
"THE INCOMPUTABLE"
at the Kavli Royal Society International Centre, Chicheley Hall, UK
www.mathcomp.leeds.ac.uk/turing2012/inc/
THE INCOMPUTABLE is a major workshop of the 6-month Isaac Newton Institute
programme - "Semantics and Syntax: A Legacy of Alan Turing" (SAS).
THE INCOMPUTABLE 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, philosophy and
the wider scientific world. It is held in association with the Turing
Centenary Conference (CiE 2012) in Cambridge the following week, which
will run up to the June 23rd centenary of Turing's birth, and will
culminate with a birthday celebration at Turing's old college, King's
College, Cambridge.
THE INCOMPUTABLE is unique in its focus on the mathematical theory of
incomputability, and its relevance for the real world. This is a core
aspect of Turing's scientific legacy - and this meeting for the first time
reunites (in)computability theory and 'big science' in a way not attempted
since Turing's premature passing.
Chicheley Hall is a truly extraordinary venue for the meeting, beautifully
maintained by the Royal Society, and offering superb facilities for the
talks, accommodation, and informal discussions. Set in 80 acres of country
landscape, it offers comfort, free wifi throughout, a bar open to 12 or
later each night, and many other comforts and opportunities for exciting
and novel interactions.
THE INCOMPUTABLE, generously supported by the John Templeton Foundation,
promises to be a historic event, bringing the mathematical theory of
incomputability centre-stage once again. Attendance is limited to 100
participants - up to 60 housed on-site - so early booking is advised.
Organisers: S Barry Cooper and Mariya Soskova
___________________________________________________________________________
4) CSL'11 call for papers and workshop proposals
-------------------------------------------------------------------
CALL FOR PAPERS AND WORKSHOP PROPOSALS
CSL 2011
20th Annual Conference of the
European Association for Computer Science Logic
Bergen, Norway
September 12-15, 2011
http://www.eacsl.org/csl11
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
GENERAL INFORMATION
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.
The Ackermann Award for 2011 will be presented to the
recipients at CSL 2011.
INVITED SPEAKERS
Thomas Ehrhard (University Paris Diderot)
Martin Otto (Technical University Darmstadt)
Moshe Vardi (Rice University)
Frank Wolter (University of Liverpool)
SCOPE
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
- domain theory,
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical foundations of programming paradigms
- logical aspects of quantum computing
- verification and program analysis
- linear logic
- higher-order logic
- nonmonotonic reasoning
PROCEEDINGS
The proceedings will be published in the series LIPIcs,
Leibniz International Proceedings in Informatics.
Each paper accepted by the Program Committee (PC) must be
presented at the conference by one of the authors,
and a final copy must be prepared according to LIPIcs guidelines
(http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/).
PAPER SUBMISSION
Authors are invited to submit papers of not more than 15 pages
in LIPIcs style presenting work not previously published.
Papers are to be submitted through EasyChair:
http://www.easychair.org/conferences/?conf=csl2011. Submitted papers
must be in English and provide sufficient detail to allow the PC to
assess the merits of the paper. Full proofs may appear in a technical
appendix which will be read at the reviewers' discretion.
Authors are strongly encouraged to include a well written intro-
duction which is directed at all members of the program committee.
Submission is in two phases with dates as given below.
Papers must not be submitted concurrently to another conference with
refereed proceedings; The PC chair should be informed of closely
related work submitted to a conference or journal by March 19, 2011.
Papers authored or coauthored by members of the PC are not allowed.
WORKSHOPS
Proposals for satellite workshops on more specialized topics are
welcome and can be sent to csl11 at eacsl.org
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)
ORGANIZING COMMITTEE
Isolde Adler
Marc Bezem
Magne Haveraaen
Michal Walicki
Uwe Wolter
CONFERENCE ADDRESS
CSL 2011, Department of Informatics,
University of Bergen,
P.O.Box 7803, N-5020 Bergen, Norway
http://www.eacsl.org/csl11
___________________________________________________________________________
5) ICTAC 2011 International Colloquium on Theoretical Aspects of
Computing
Second Call for Papers
ICTAC 2011
International Colloquium on Theoretical Aspects of Computing
URL: http://www.ictac.net/ictac2011/
31 August - 2 September 2011, Johannesburg, South Africa
-------------------------------------------------
The Colloquium will be held in a nature reserve two hours
travel by car from the centre of Johannesburg (transfer
provided), in a malaria-free area in the Waterberg mountains.
All of the big five can be viewed at the reserve and a safari
tour will form part of the social programme for delegates.
-------------------------------------------------
EXTENDED DEADLINES
Paper abstract submission deadline: 31 March 2011
Paper submission deadline: 7 April 2011
-------------------------------------------------
BACKGROUND
ICTAC 2011 is the 8th International Colloquium on Theoretical
Aspects of Computing, the latest in a series founded by the
International Institute for Software Technology of the United
Nations University (UNU-IIST). ICTAC 2011 will bring together
practitioners and researchers from academia, industry and
government to present research and to exchange ideas and
experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and
tools for system development. The other main purpose is to
promote cooperation in research and education between participants
and their institutions, from developing and industrial countries,
as in the mandate of the United Nations University.
TOPICS
The topics of the conference include, but are not limited to:
* automata theory and formal languages;
* principles and semantics of programming languages;
* logics and their applications;
* software architectures and their description languages;
* software specification, refinement, verification and testing;
* model checking and theorem proving;
* formal techniques in software testing;
* models of object and component systems;
* coordination and feature interaction;
* integration of theories, formal methods and tools for
engineering computing systems;
* service-oriented development;
* service-oriented architectures: models and development methods;
* document-driven development;
* models of concurrency, security, and mobility;
* theory of parallel, distributed, and grid computing;
* real-time, embedded and hybrid systems;
* type and category theory in computer science;
* models for learning and education;
* cognitive architectures;
* qualitative reasoning;
* case studies, theories, tools and experiments of verified systems;
* domain-specific modeling and technology: examples, frameworks
and experience.
KEYNOTE SPEAKERS
* Jayadev Misra
* David Parnas
* Willem Visser
VENUE, TRANSPORTATION AND ACCOMMODATION
The ICTAC 2011 Colloquium will be held in a nature reserve, away from
the bustle and noise of a large city. The reserve is two hours travel
by car from the centre of Johannesburg, in the Waterberg mountains,
situated on 12000 hectares of malaria-free bushveld. All of the big
five can be viewed at the reserve and a game drive will form part of
the social programme for delegates.
Transfers will be provided for delegates from the ICTAC tutorials to
the reserve, and back again to Johannesburg after the event. The reserve
is also easily accessible by self-drive with normal motor cars.
Delegates can additionally arrange to stay on after the colloquium to
relax and enjoy the quiet of the region, or take part in the numerous
adventure activities - such as horse riding, abseiling, and archery.
Accomodation at the reserve is recommended to simplify access during
the event as other lodges are not easy to reach without a hired vehicle.
Travel to Johannesburg is easy from all parts of the world with many
major carriers having multiple departures each day and the availability
of a modern rail link from O. R. Tambo International Airport to hotels
in and around Johannesburg.
PUBLICATION AND SUBMISSION
The proceedings of ICTAC 2011 will be published by Springer
in the series Lecture Notes in Computer Science (LNCS) and
will be avaialble at the colloquium. A special issue of a
journal with extended version of selected papers from
ICTAC 2011 is under negotiation.
Submissions to the colloquium must not have been published
or be concurrently considered for publication elsewhere.
All submissions will be judged on the basis of originality,
contribution to the field, technical and presentation quality,
and relevance to the conference. Papers should be written in
English and not exceed 15 pages in LNCS format
(see http://www.springer.de/comp/lncs/authors.html for details).
Papers shall be submitted at
http://www.easychair.org/conferences/?conf=ictac2011.
All queries should be sent to: ictac2011 at iist.unu.edu
IMPORTANT DATES:
Paper abstract submission deadline: 15 March 2011
Paper submission deadline: 22 March 2011
Paper Accept/Reject Notification: 15 May 2011
Final paper submission 31 May 2011
PROGRAM COMMITTEE
* Bernhard K. Aichernig, Austria
* Junia Anacleto, Brazil
* Jonathan P. Bowen, UK
* Christiano Braga, Brazil
* Vasco Brattka, South Africa
* Andrew Butterfield, Ireland
* Ana Cavalcanti, UK
* Antonio Cerone, Macau SAR China (co-chair)
* Dang Van Hung, Vietnam
* Jim Davies, UK
* David Deharbe, Brazil
* Wan Fokkink, Netherlands
* Pascal Fontaine, France
* Marcelo Frias, Argentina
* Lindsay Groves, New Zealand
* Stefan Gruner, South Africa
* Michael R. Hansen, Denmark
* Rob Hierons, UK
* Lynne Hunt, Australia
* Moonzoo Kim, Korea
* Coenraad Labuschagne, South Africa
* Martin Leucker, Germany
* Liu Zhiming, Macau SAR China
* Patricia Machado, Brazil
* Mieke Massink, Italy
* Ali Mili, USA
* Marius Minea, Romania
* Tobias Nipkow, Germany
* Ogawa Mizuhito, Japan
* Odejobi Odetunji, Nigeria
* Jose Oliveira, Portugal
* Ekow Otoo, South Africa
* Pekka Pihlajasaari, South Africa (co-chair)
* Anders Ravn, Denmark
* Francesca Pozzi, Italy
* Markus Roggenbach, UK
* Augusto Sampaio, Brazil
* Bernhard Schätz, Germany
* Gerardo Schneider, Sweden
* Natarajan Shankar, USA
* Marjan Sirjani, Iceland
* Fausto Spoto, Italy
* Clint van Alten, South Africa
* Franck van Breugel, Canada
* Govert van Drimmelen, South Africa
* Daniel Varro, Hungary
* Herbert Wiklicky, UK
ORGANISING COMMITTEE
* Antonio Cerone, Macau SAR China
* Coenraad Labuschagne, South Africa
* Pekka Pihlajasaari, South Africa
* David Sherwell, South Africa
* Clint van Alten, South Africa
STEERING COMMITTEE
* John Fitzgerald, UK
* Martin Leucker, Germany
* Liu Zhiming, Macau SAR China
* Tobias Nipkow, Germany
* Augusto Sampaio, Brazil
* Natarajan Shankar, USA
* Jim Woodcock, UK
___________________________________________________________________________
5') Call for Tutorials and Workshops Proposal at ICTAC 2011
International Colloquium on Theoretical Aspects of Computing
Please find below the Call for Tutorials and Workshops
for ICTAC 2011.
Please distribute it among your colleagues and relevant
mailing lists.
Deadlines are as follows:
- WORKSHOP PROPOSALS
Submission: 31 March 2011
Notification of acceptance: 11 April 2011
- TUTORIAL PROPOSALS
Submission: 5 June 2011
Notification of acceptance: 24 June 2011
Thank you very much for your support in advertising
ICTAC 2011.
Best regards
Antonio Cerone and Pekka Pihlajasaari
(ICTAC 2011 Program Co-chairs)
-------------------------------------------------
Call for Tutorials and Workshops Proposal at ICTAC 2011
International Colloquium on Theoretical Aspects of Computing
29-30 August 2011, Johannesburg, South Africa
URL: http://www.ictac.net/ictac2011/
-------------------------------------------------
WORKSHOP PROPOSALS EXTENDED DEADLINES
Submission: 31 March 2011
Notification of acceptance: 11 April 2011
-------------------------------------------------
BACKGROUND
ICTAC 2011 is the 8th International Colloquium on Theoretical
Aspects of Computing, the latest in a series founded by the
International Institute for Software Technology of the United
Nations University (UNU-IIST). ICTAC 2011 will bring together
practitioners and researchers from academia, industry and
government to present research and to exchange ideas and
experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and
tools for system development. The other main purpose is to
promote cooperation in research and education between participants
and their institutions, from developing and industrial countries,
as in the mandate of the United Nations University.
TOPICS
The topics of the conference include, but are not limited to:
* automata theory and formal languages;
* principles and semantics of programming languages;
* logics and their applications;
* software architectures and their description languages;
* software specification, refinement, verification and testing;
* model checking and theorem proving;
* formal techniques in software testing;
* models of object and component systems;
* coordination and feature interaction;
* integration of theories, formal methods and tools fo
engineering computing systems;
* service-oriented development;
* service-oriented architectures: models and development methods;
* document-driven development;
* models of concurrency, security, and mobility;
* theory of parallel, distributed, and grid computing;
* real-time, embedded and hybrid systems;
* type and category theory in computer science;
* models for learning and education;
* cognitive architectures;
* qualitative reasoning;
* case studies, theories, tools and experiments of verified systems;
* domain-specific modeling and technology: examples, frameworks
and experience.
KEYNOTE SPEAKERS
* Jayadev Misra
* David Parnas
* Willem Visser
LOCATION
Tutorials and Workshops are hosted by the University of the
Witwatersrand, Johannesburg, South Africa at its Braamfontein
campus.
The university is a leading learning institute on the continent
and is in close proximity to a number of hotels and provides an
established facility to hold the tutorial portion of the event.
The Colloquium will be held at a game lodge two hours drive
outside Johannesburg with facilities to experience the
wilderness at first hand while attending ICTAC.
PROPOSAL SUBMISSIONS
You are welcome to submit proposals for tutorials and workshops
on the subjects related to the colloquium topics.
TUTORIAL proposal submissions:
It should include detailed description of tutorial contents,
time duration (half/one day), intended audience, biography of
presenter(s) and extended abstract not exceeding 5 pages.
Extended abstracts of the accepted tutorials will be included
in the proceedings of the ICTAC 2012 colloquium to be published
in the LNCS series by Springer.
WORKSHOP proposal submissions:
It should include detailed description of background and aims,
duration (one or two days), intended audience, estimated number
of participants, proceedings publication policy, biography of
the organiser(s), information on perspective keynote speakers,
provisional budget for additional expenses to be factored in
the workshop fee (e.g. keynote speakers, printing, social event).
Standard workshop fee will cover lunches, refreshments, room and
equipment.
All proposals should be written in English and should not exceed
10 pages.
Proposal submissions should be sent to: ictac2011 at iist.unu.edu
WORKSHOPS IMPORTANT DATES
Submission: 31 March 2011
Notification of acceptance: 11 April 2011
ICTAC 2011 Workshops: 29-30 August 2011
TUTORIALS IMPORTANT DATES
Submission: 5 June 2011
Notification of acceptance: 24 June 2011
ICTAC 2011 Tutorials: 29-30 August 2011
ORGANISING COMMITTEE
* Antonio Cerone, Macau SAR China
* Coenraad Labuschagne, South Africa
* Pekka Pihlajasaari, South Africa
* David Sherwell, South Africa
* Clint van Alten, South Africa
STEERING COMMITTEE
* John Fitzgerald, UK
* Martin Leucker, Germany
* Liu Zhiming, Macau SAR China
* Tobias Nipkow, Germany
* Augusto Sampaio, Brazil
* Natarajan Shankar, USA
* Jim Woodcock, UK
___________________________________________________________________________
6) LOGIC IN COMPUTER SCIENCE (LICS 2011)
Twenty-Sixth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2011)
2124 June 2011,
Toronto, Ontario, Canada
CALL FOR SHORT PRESENTATIONS
Following a now established tradition, there will be a short talk session
during LICS 2011, which is intended for descriptions of work in progress,
student projects, trailers for longer presentations at one of the affiliated
workshops, and relevant research being or to be published elsewhere;
other brief communications may be acceptable.
Talks can be on any topic related to logic in computer science as
summarised in the LICS call for papers.
Submission Instructions
---------------------------
Proposals for a short presentations must be submitted in the IEEE latex style
files for the two-column proceedings format and may be no longer than 2 pages
including references.
The style files and instructions for using them can be found at
http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/
(The file bare_conf.tex may be used as a template.)
Important Dates
------------------
* Submission Deadline: 21 March 2011
* Author Notification: 4 May 2011
The submission server opens on 14 March 2011.
Submission Site
-------------------
The URL for submitting papers is
http://www.easychair.org/conferences/?conf=lics2011.
This link will bring you to the "Login Page for LICS 2011". Either
sign in using your existing
EasyChair account, or sign up for a new account.
You'll reach the "LICS 2011 (author)" page. The page should be
self-explanatory.
To submit a paper, click "New Submission" and follow the instructions.
Technical Support
---------------------
In case of problems please send email to the Programme Chair,
grohe at informatik.hu-berlin.de
___________________________________________________________________________
7) CiE 2011: Computability in Europe. Call for Informal Presentations
_________________________________________________________________
Call for Informal Presentations
CiE 2011: Computability in Europe
Models of Computation in Context
Sofia, Bulgaria
27 June 2011 - 2 July 2011
http://cie2011.fmi.uni-sofia.bg/
_____________________________________________________________________
There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the
conference and inform the participants about current research and work in
progress. The format of computer science conferences with pre-conference
proceedings is not able to accommodate this form of scientific
communication.
Continuing the tradition of past CiE conferences, this year's CiE
conference endeavours to get the best of both worlds. In addition to the
formal presentations based on our LNCS proceedings volume, we invite
researchers to present informal presentations. For this, please send us a
brief description of your talk (between one paragraph and one page) by the
DEADLINE:
MAY 15, 2011
Please submit your abstract electronically, via EasyChair, selecting the
category "Informal Presentation".
You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission, so if you intend
to apply for ASL Student Travel Awards you should submit your abstract
before March 27, 2011.
Let us remind you that we are planning several post-conference
publications, which will contain full articles of selected CiE 2011
presentations, including informal presentations.
GRANTS:
Grants for students, members of the ASL:
Students who are members of the ASL may apply for ASL travel support.
Applications have to be addressed directly to the ASL, see their web-site
on student travel awards for more information. The deadline for applying
for an ASL grant is March 27, 2011, applying earlier is encouraged.
NSF Grants for young U.S. participants:
The National Science Foundation of the United States is providing travel
support targeted at junior researchers and students from the U.S.
Request for support should be sent to cenzer at ufl.edu by March 30, 2011.
Preference will be given to those who are presenting papers at the
conference. Students should provide a letter of support from their
advisors.
EMS grants for young East European Reserchers:
Thanks to the generous support from EMS, CiE 2011 is glad to be able to
offer partial or total fee waivers for a small number of Eastern European
researchers (including from former Soviet Union), whose work has been
accepted for presentation at CiE2011. Preference will be given to young
researchers and researchers with papers accepted for LNCS. To apply,
please send an application to cie2011 at fmi.uni-sofia.bg. The application
should include name, affiliation and the title of the submission for CiE
2011. The deadline for application is April 30, 2011.
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. The grant will be paid as
a reimbursement of up to 200 EUR of travel and accommodation expenses.
More information about deadlines and the application process will become
available in March 2011. All questions about the conference could be send
at
cie2011 at fmi.uni-sofia.bg
___________________________________________________________
Association Computability in Europe
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE 2011
http://cie2011.fmi.uni-sofia.bg
CiE Membership Application Form
http://www.cs.swan.ac.uk/acie
___________________________________________________________
___________________________________________________________________________
8) (From Uli Berger) LCC'11 WORKSHOP ANNOUNCEMENT
LCC'11 WORKSHOP ANNOUNCEMENT
The Twelfth International Workshop on Logic and Computational Complexity
(LCC'11,http://www.cs.swansea.ac.uk/lcc2011/)
will be held in Toronto on June 25, 2011, as an affiliated meeting
of LiCS'11 (http://www2.informatik.hu-berlin.de/lics/lics11/).
LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in
implicit computational complexity (descriptive and type-theoretic methods);
deductive formalisms as they relate to complexity (e.g. ramification,
weak comprehension, bounded arithmetic, linear logic and resource logics);
complexity aspects of finite model theory and databases;
complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity.
The LCC'11 program will consist of invited lectures as well as
contributed papers selected by the program committee. This year there
will be no published proceedings, and we welcome informal
presentations about work in progress, survey papers, as well as work
submitted or published elsewhere, provided all pertinent information
is disclosed at submission time. Submissions in the form of an
extended abstract of approx. 5 pages are welcome. If full papers
are submitted, they should not exceed 15 pages. Proposed papers
should be uploaded to https://www.easychair.org/conferences/?conf=lcc2011
by 20 April 2011.
IMPORTANT DATES
Paper submission deadline: 20 April
Authors' notification: 10 May
LCC'11 workshop: 25 June
For additional information see http://www.cs.swansea.ac.uk/lcc2011/
or www.cs.indiana.edu/lcc, or email inquiries to u.berger at swansea.ac.uk
or denis at cs.mcgill.ca Further information about previous
LCC meetings can be found at http://www.cis.syr.edu/~royer/lcc.
PROGRAM COMMITTEE
* Ulrich Berger (Swansea, Co-Chair)
* Denis Therien (McGill Montreal, Co-Chair)
* Klaus Aehlig (Southampton)
* Arnold Beckmann (Swansea)
* Guillaume Bonfante (LORIA Nancy)
* Ugo Dal Lago (Bologna)
* Phuong Nguyen (McGill Montreal)
* Luca Roversi (Torino)
* Thomas Schwentick (TU Dortmund)
* Howard Straubing (Boston College)
* Kazushige Terui (Kyoto)
* Heribert Vollmer (Hanover)
STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair),
Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell),
Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon),
Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst),
Neil Jones (Copenhagen), Bruce Kapron (U Victoria),
Stefan Kreutzer (Oxford), Jean-Yves Marion (LORIA Nancy),
Luke Ong (Oxford), Martin Otto (Darmstadt), James Royer (Syracuse),
Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw)
___________________________________________________________________________
9) (From Barbara F. Csima) COMPUTABILITY THEORY AND APPLICATIONS: A
MEETING IN HONOR OF ROBERT I. SOARE
************
COMPUTABILITY THEORY AND APPLICATIONS: A MEETING IN HONOR OF ROBERT I. SOARE
Registration is now open for Computability Theory and Applications: A
Meeting in Honor of Robert I. Soare. The meeting will take place at
the University of Chicago, May 14/15, 2011.
The invited speakers are: L. Harrington, C. Jockusch, J. Knight, S.
Lempp, A. Nerode, G. Sacks, R. Shore, and T. Slaman.
For more information, and to register (free), please visit
http://www.math.uwaterloo.ca/~csima/soare/ before Apr 12th.
We hope that you will be able to join us for what promises to be a
pleasant and productive meeting honouring Prof. Soare.
************
___________________________________________________________________________
10) WORKSHOP : Quantum Physics meets TARK
-----------------------------------------
CALL FOR PAPERS:
WORKSHOP : Quantum Physics meets TARK
Groningen, the Netherlands, Friday 15 July 2011
http://www.ai.rug.nl/conf/quantumTARK/
Workshop Goal:
The aim of this workshop is to explore the connections between
traditional TARK topics and Quantum Physics. While TARK traditionally
focuses on the theoretical aspects of rationality and knowledge, quantum
mechanics and quantum computation focus on the fundamental link between
physical reality and informational (knowledge-acquiring) actions, such
as observations and measurements. We think one can gain new insights from
combining methods and concepts coming from these two lines of research.
On the one hand, we are interested in how techniques from quantum physics
can help us reason about knowledge or rational decision making. On the
other hand, we are interested in how the logical and game-theoretical
techniques traditionally associated with TARK (coming from epistemic
logic, belief revision, dynamic logic, temporal logic, probabilistic
learning, resource-sensitive logics, epistemic game theory,
decision-theoretic methods etc.) can be used to formalize physical
theories, reason about their concepts or their applications, and provide
some principled understanding of their foundations.
Topics of interest include but are not limited to:
classical correlations versus quantum correlations;
classical games versus quantum games;
classical information flow versus quantum information flow;
logical methods for quantum computation;
quantum logic and its relation to logics of knowledge and action;
the use of quantum methods and concepts in decision theory, game theory
and logic;
game-theoretical logical semantics and foundations of quantum mechanics.
Invited Speakers :
Samson Abramsky (Oxford University)
Adam Brandenburger (Stern School of Business, New York)
Deadline CfP: Please send your submission in PDF format, not exceeding
10 double-spaced pages (4,000 words) by Wednesday May 4, 2011. The PDF -
files have to be uploaded online via the workshop's submission website:
https://www.easychair.org/account/signin.cgi?conf=quantumtark2011
Authors will be notified of acceptance by Friday, May 27.
Authors of accepted papers will be expected to upload their paper in an
online workshop proceedings collection that we are currently
setting up. Further details about the proceedings will be made available
on the conference website soon.
MAIN WEBSITE : http://www.ai.rug.nl/conf/quantumTARK/
Program Committee:
- Sonja Smets (University of Groningen, Chair)
- Samson Abramsky (Oxford University)
- Alexandru Baltag (Oxford University)
- Adam Brandenburger (Stern School of Business, New York)
- Jerome Busemeyer (Indiana University)
- Pierfrancesco La Mura (Leipzig Graduate School of Management )
- Daniel Lehmann (The Hebrew University of Jerusalem)
- Alessandra Palmigiano (University of Amsterdam)
- Prakash Panangaden (McGill University)
- Alex Wilce (Susquehanna University)
TARK Local Organizers at the University of Groningen:
Rineke Verbrugge and Sonja Smets (chairs),
Virginie Fiutek, Sujata Ghosh, Barteld Kooi, Ben Meijering, Bryan Renne,
Ben Rodenhäuser, Olivier Roy, Allard Tamminga, Bart Verheij.
Sponsors: The Netherlands Organization for Scientific Research, The
VIDI Project: ‘Reasoning about quantum interaction: Logical modelling
and verification of multi-agent quantum protocols’
The workshop follows one day after TARK XIII,
The Thirteenth conference on Theoretical Aspects of Rationality and
Knowledge
http://www.philos.rug.nl/TARK2011/
___________________________________________________________________________
11) Quantum foundations announcements list
-----------------------------------------
From: Bob Coecke <Bob.Coecke at comlab.ox.ac.uk>
To: quantum-foundations at maillist.ox.ac.uk
Subject: [quantum-foundations] This is the quantum foundations
announcements list; welcome!
Welcome to the quantum foundations announcement list!
Please forward this email to other relevant local lists, post on
blogs, or advertise by any other means that would reach potential
subscribers.
It was agreed by many that the existence of a quantum foundations
mailing list, with a wide scope and involving the broad international
community, was long overdue. This moderated list (to avoid spam or
abuse) will mainly distribute announcements of conferences and other
international events in the area, as well as other relevant adverts
such as jobs in the area. It is set up at Oxford University, which should
provide a guarantee of stability and sustainability. The scope ranges
from the mathematical end of quantum foundations research to the
purely philosophical issues.
(UN)SUBSCRIBING INSTRUCTIONS:
To subscribe to the list, send a blank email to
quantum-foundations-subscribe at maillist.ox.ac.uk
To unsubscribe from the list, send a blank email to
quantum-foundations-unsubscribe at maillist.ox.ac.uk
POSTING INSTRUCTIONS:
To make a post, send an email to
quantum-foundations at maillist.ox.ac.uk
You may also want to put this address in your 'safe list' so that
messages don't get sent to your spam folder.
Any complaints etc can be send to:
Bob Coecke <Bob.Coecke at comlab.ox.ac.uk>
Jamie Vicary <Jamie.Vicary at comlab.ox.ac.uk>
___________________________________________________________________________
12) 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M ***
*******************************************************************************
*******************************************************************************
*** ***
*** T H E 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M ***
*** J u l y 4 - 8 , 2 0 1 1 ***
*** I o a n n i n a, G r e e c e ***
*** ***
*** www.cs.uoi.gr/~pls8/ ***
*** ***
*******************************************************************************
*******************************************************************************
CALL FOR PAPERS
HISTORY OF THE SYMPOSIUM
The Panhellenic Logic Symposium, a biennial scientific event established in
1997, aims to promote interaction and cross-fertilization among different areas
of logic. Originally conceived as a way of bringing together the many logicians
of Hellenic descent throughout the world, it has evolved into an international
forum for the communication of state-of-the-art advances in logic. The
symposium is open to researchers worldwide who work in logic broadly conceived.
The Eighth Panhellenic Logic Symposium will be hosted by the Department of
Computer Science at the University of Ioannina.
PROGRAM OF THE SYMPOSIUM
The scientific program of the symposium will consist of one-hour long invited
talks, three-hour long tutorials, and twenty-five-minute presentations of
accepted contributed papers. There will also be special opportunities for
students to give short talks, and receive comments on work in progress.
INVITED TUTORIALS
- Jeremy Avigad (Carnegie Mellon, USA)
- Dale Miller (INRIA, France)
- Simon Thomas (Rutgers, USA)
INVITED SPEAKERS
- George Barmpalias (University of Amsterdam, Netherlands)
- Ozlem Beyarslan (Bogazici University, Turkey)
- Michael Rathjen (University of Leeds, UK)
- Nicole Schweikardt (Goethe University, Germany)
- Athanassios Tzouvaras (University of Thessaloniki, Greece)
CALL FOR PAPERS
Original papers that fall within the scope of the symposium are solicited.
Prospective speakers of twenty-five-minute presentations are invited to submit
an extended abstract, in English, not exceeding five pages, by 25 March 2011.
Papers should be prepared using the EasyChair class style (available from
http://www.easychair.org/coolnews.cgi) and submitted electronically, using
the Easy Chair conference system, at
http://www.easychair.org/conferences/?conf=pls8
If possible, each submitted paper should be classified in one of the following
areas (in alphabetical order):
- Algebraic and Categorical Methods in Logic
- Computability Theory
- History and Philosophy of Logic
- Logic in Computer Science
- Model Theory
- Nonclassical and Modal Logics
- Proof Theory
- Set Theory
All submitted papers will be reviewed by the scientific committee of the
symposium, who will make final decisions on acceptance or rejection. During
the symposium, each accepted paper will be presented by one of its authors,
with five extra minutes for questions. Authors of submitted papers will be
notified of the decision by early May 2011. Camera-ready extended abstracts
will be due by the end of May for inclusion in the symposium proceedings which
will be distributed to all participants.
STUDENT SESSIONS
Graduate students are invited to submit short abstracts on work in progress
but not yet ready for a regular contributed talk. Those accepted will have
an opportunity to present their subject in a special student session, and to
receive comments and suggestions from mentors including some of the invited
speakers.
Interested students should submit to
http://www.easychair.org/conferences/?conf=pls8
by May 29, 2011, an abstract of no more than one page in .pdf form.
IMPORTANT DATES:
- Abstract Submission Deadline: March 25, 2011
- Student Abstract Submission Deadline: May 29, 2011
- Acceptance Notification: May 7, 2011
- Camera Ready Papers Deadline: May 31, 2011
- Acceptance Notification for Student Abstracts: June 10, 2011
- Conference Dates: July 4-8, 2011
SCIENTIFIC COMMITTEE
- Ayse Berkman (Middle East Technical University)
- Costas Dimitracopoulos (University of Athens)
- Kostas Hatzikiriakou (University of Thessaly)
- Antonis Kakas (University of Cyprus)
- Panagis Karazeris (University of Patras)
- Phokion Kolaitis (University of California, Santa Cruz
and IBM Research-Almaden)
- George Koletsos (National Technical University of Athens )
- Joan Moschovakis (Occidental College (retired), Chair of SC)
- Christos Nomikos (University of Ioannina)
- Itay Neeman (University of California, Los Angeles)
- Thanases Pheidas (University of Crete)
- Alexandra Soskova (Sofia University)
- Constantine Tsinakis (Vanderbilt University)
- Stathis Zachos (National Technical University of Athens )
ORGANIZING COMMITTEE
- Manolis Gergatsoulis (Ionian University)
- Spyros Kontogiannis (University of Ioannina)
- Costas Koutras (University of Peloponnese)
- Christos Nomikos (University of Ioannina, chair of the OC)
- Panos Rondogiannis (University of Athens)
SYMPOSIUM WEBPAGE
www.cs.uoi.gr/~pls8/
CONTACT
Joan Moschovakis (Chair of the Scientific Committee)
e-mail: joan at math.ucla.edu
Christos Nomikos (Chair of the Organizing Committee)
address: University of Ioannina
Department of Computer Science
P.O. Box 1186
45110, Ioannina
Greece
tel: +30 26510 08815
fax: +30 26510 08895
e-mail: cnomikos at cs.uoi.gr
pls8 at zeus.cs.uoi.gr
___________________________________________________________________________
13) Logic Colloquium 2011, Barcelona (Spain), 11-16 July 2011
The 2011 ASL European Summer Meeting (Logic Colloquium '11) will take
place in Barcelona (Catalonia, Spain) on July 11--16, 2011
http://www.logic2011.org/
The Program Committee members are: K. Ambos-Spies (Chair), J. Avigad,
H. Barendregt, E. Casanovas, S. Kreutzer, H. Mildenberger, A. Sorbi,
T. Tinchev, A. Visser, and B. Zilber. The Local Organizing Committee
includes: D. Asperó, A. Atserias, J. Bagaria (Chair),
F. Bou, E. Casanovas, V. Dalmau, P. Dellunde, M. Esteban, R. Jansana,
D. Palacín, J. Potier, and D. Virgili.
Scientific Programme:
Gödel lecture: Anand Pillay (University of Leeds)
Tutorials: Georges Gonthier (Microsoft Research): Formal
Verification. Martin Ziegler (Universität Freiburg): Model Theory.
Plenary Speakers: Steve Awodey (Carnegie Mellon University), George
Barmpalias (University of Amsterdam), Lev D. Beklemishev (Steklov
Mathematical University), Raf Cluckers (Université Lille), Todd
Eisworth (Ohio University), Sergey Goncharov (Russian Academy of
Sciences), Henri Lombardi (Université de Franche-Comté), Jordi
López-Abad (ICMAT), Kenneth Manders (University of Pittsburgh), Martin
Otto (Technische Universität Darmstadt), Jan Reimann (Penn State
University), Andrzej Roslanowski (University of Nebraska), Yde Venema
(University of Amsterdam).
Special Sessions (Organizers):
- Computability Theory and Logic for Computer Science (Albert Atserias
and Rod Downey),
- Foundations of Mathematics and Philosophy of Logic (Johan van Benthem
and Ian Pratt-Hartmann),
- Model Theory (Enrique Casanovas and Kobi Peterzil),
- Proof Theory and Constructive Mathematics (Erik Palmgren and Michael
Rathjen),
- Set Theory (Joan Bagaria and Heike Mildenberger)
Important dates:
1. Abstracts for contributed talks should be received before the
deadline of March 28, 2011. They may be submitted online at
http://www.logic2011.org/
or by regular mail to the official meeting address:
Joan Bagaria,
Chair of the Organizing Committee, LC11,
Departament de Logica, Historia i Filosofia de la Ciencia,
Universitat de Barcelona,
Montalegre 6,
08001 Barcelona, Spain
email: lc2011 at lsi.upc.edu.
2. A number of travel grants are available for students and recent
PhDs. To apply please fill in the form at http://www.logic2011.org/
before March 21.
3. Early registration rates are available before April 30.
___________________________________________________________________________
14) Book Announcement: "Computability In Context"
Book Announcement:
__________________________________________________________________________
COMPUTABILITY IN CONTEXT: Computation and Logic in the Real World
(ed. S Barry Cooper and Andrea Sorbi)
World Scientific, Feb. 2011
Computability has played a crucial role in mathematics and computer
science, leading to the discovery, understanding and classification of
decidable/undecidable problems, paving the way for the modern computer
era, and affecting deeply our view of the world. Recent new paradigms of
computation, based on biological and physical models, address in a
radically new way questions of efficiency and challenge assumptions about
the so-called Turing barrier.
This volume addresses various aspects of the ways computability and
theoretical computer science enable scientists and philosophers to deal
with mathematical and real-world issues, covering problems related to
logic, mathematics, physical processes, real computation and learning
theory. At the same time it will focus on different ways in which
computability emerges from the real world, and how this affects our way of
thinking about everyday computational issues.
Contents:
* Computation, Information, and the Arrow of Time (P Adriaans & P van Emde
Boas)
* The Isomorphism Conjecture for NP (M Agrawal)
* The Ershov Hierarchy (M M Arslanov)
* Complexity and Approximation in Reoptimization (G Ausiello et al.)
* Definability in the Real Universe (S B Cooper)
* HF-Computability (Y L Ershov et al.)
* The Mathematics of Computing Between Logic and Physics (G Longo & T
Paul)
* Liquid State Machines: Motivation, Theory, and Applications (W Maass)
* Experiments on an Internal Approach to Typed Algorithms in Analysis (D
Normann)
* Recursive Functions: An Archeological Look (P Odifreddi)
* Reverse Mathematics and Well-Ordering Principles (M Rathjen & A
Weiermann)
* Discrete Transfinite Computation Models (P D Welch)
ISBN: 978-1-84816-245-7, 1-84816-245-6
___________________________________________________________________________
15) International Conference on the History and Philosophy of
Computing
CALL FOR PAPERS
International Conference on the History and Philosophy of Computing
7?10 November 2011
Ghent University, Ghent, Belgium
http://www.computing-conference.ugent.be
Celebrating the 75th anniversary of the famous 1936
Papers by A. Church, E.L. Post and A.M. Turing.
From 7-10 November 2011 the Centre for Logic and Philosophy of Science, Ghent
University organizes an International Conference on the History and Philosophy
of computing.
The number of researchers working in fields related to computing is growing
rapidly in many different directions. As Mahoney once stated, ?the computer is
not one thing but many different things, and the same holds true of computing?.
As a consequence, the computing sciences collect the most diverse complex of
experts: philosophers, logicians, historians, mathematicians, computer
scientists, programmers, engineers. The number of involved subjects grows
accordingly: from the foundational issues to their applications; from the
philosophical questions to problems of realizability and design of
specifications; from the theoretical studies of computational barriers to the
relevance of machines for educational purposes. Given the significance of
computing for modern society, the relevance of its history and philosophy can
hardly be overestimated. The aim of this conference is to bring together these
two streams: we are strongly convinced that an interplay between researchers
with an interest in the history and philosophy of computing can crucially add
to the maturity of the field.
Topics of the conference include but are not restricted to:
? The history of computing
? Philosophical, foundational and practical issues of computability in logic,
mathematics and computer science
? Computation in the sciences
For a more detailed list of possible topics see http://www.computing-
conference.ugent.behttp://www.computing-conference.ugent.be/cfp
SUBMISSION DETAILS:
We cordially invite researchers working in a field relevant to the main topics
of the conference to submit a short abstract of approximately 200 words and an
extended abstract of at most a 1000 words (references included) to
https://www.easychair.org/account/signin.cgi?conf=hapoc11
Abstracts must be written in English. Please note that the format of uploaded
files must be .pdf or .doc. In order to access the submission page, the
creation of an EasyChair account will be required. Please notice that what is
called ?abstract? in the EasyChair ?Title, Abstract and Other Information?
section corresponds to the short abstract of this call, and what is called
?paper? in the EasyChair ?Upload Paper? section corresponds to the extended
abstract of this call.
IMPORTANT DATES:
Submission deadline: May 15, 2011
Notification of acceptance: July 20, 2011
INVITED SPEAKERS:
Bill Aspray (University of Texas)
Martin Davis (New York University, UC Berkeley)
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)
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)
GRANTS
The International Association for Computing and Philosophy http://ia-cap.org/
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.
orgexecutivedirector at ia-cap.org), executive director of IACAP. The Association
also offers a 10% discount on the conference fee for IACAP members.??
Student members of the Association for Symbolic Logic
http://www.aslonline.org/index.htmhttp://www.aslonline.org/index.htm also
may apply for ASL travel support. Applications have to be addressed directly to
the ASL. For more information and application details on ASL student travel
awards see
http://www.aslonline.org/studenttravelawards.htmlhttp://www.aslonline.
org/studenttravelawards.html. Note that the deadline for application is 7,
2011.
?SPECIAL ISSUES
A selection of papers will be published as a special issue of the journal
Philosophy & Technology (Springer)?http://www.springer.
com/philosophy/epistemology+and+philosophy+of+science/journal/13347
We also intend to publish a selection of papers in a special issue of History
and Philosophy of Logic (Taylor & Francis)
http://www.tandf.co.uk/journals/authors/thplauth.asp
More details will follow later.
CONTACT AND INFORMATION:
For further information please contact us at:?
computing.conference at ugent.be
or have a look at our website:
http://www.computing-conference.ugent.be
___________________________________________________________________________
More information about the FOM
mailing list