[FOM] CiE Newsletter No.67, March 15th, 2013
Olivier Bournez
martin at eipye.com
Fri Mar 15 15:07:51 EDT 2013
CiE Newsletter No.67, March 15th, 2013:
Please send any items you would like included in
next letter to Olivier Bournez (bournez at lix.polytechnique.fr)
DEADLINE: April 10th 2013.
___________________________________________________________________________
** COMPUTABILITY - The Journal of the Association
CiE. Now accepting submissions.
http://www.computability.de/journal/
** CIE 2013 http://cie2013.disco.unimib.it/
Computability in Europe 2013: The Nature of
Computation. Milano. 1st-5th July 2013.
___________________________________________________________________________
CONTENTS
• 1) 2nd CfP ESSLLI 2013 Student Session, Duesseldorf (Germany), 5-16 Aug 2013
• 2) PLS9: Ninth Panhellenic Logic Symposium, Athens (Greece), 15-19 Jul 2013
• 3) CCR 2013 in Moscow
• 4) VI International Workshop on Nature
Inspired Cooperative Strategies for Optimization - NICSO 2013
• 5) 2nd CfP ESSLLI 2013 Student Session, Duesseldorf (Germany), 5-16 Aug 2013
• 6) CCR 2013: Computability, Complexity and
Randomness, Moscow (Russia), 23-27 Sep 2013
• 7) CSEDays Student School: Algorithms and
Complexity Ekaterinburg, Russia, June 29 -- July 01, 2013
• 8) IWNC7: Natural Computing, Tokyo (Japan), 20-22 Mar 2013
• 9) Summer School in Singapore at IMS / NUS 15 - 26 July 2013
• 10) CFP: Workshop on Quantum and Classical
Complexity, Riga, Latvia, July 7 2013 (Satellite event to ICALP 2013)
• 11) NIS CONSTRUCTIVE MATHEMATICS CONFERENCE --- CMFP 2013
• 12) Call for proposals for NIAS-Lorentz Theme Group 2014-2015
• 13) LOGIC COLLOQUIUM 2013
• 14) WoLLIC 2013: Logic, Language, Information
and Computation, Darmstadt (Germany), 20-23 Aug 2013
• 15) MFCS 2013 - Call For Papers
• 16) CSL'13, last cfp, DATES POSTPONED!!
• 17) 3rd Call for papers: Machines, Computations and Universality 2013
• 18) DCFS 2013 Extended Deadline April 2
___________________________________________________________________________
1) 2nd CfP ESSLLI 2013 Student Session, Duesseldorf (Germany), 5-16 Aug 2013
Please forward to students. Apologies for the multiple messages.
*2nd Call for Papers*
ESSLLI 2013 STUDENT SESSION
Held during
The 25th European Summer School
in Logic, Language and Information
Düsseldorf, Germany, August 5-16, 2013
Deadline for submissions: April 1st, 2013
https://www.easychair.org/conferences/?conf=essllistus2013
*ABOUT*:
The Student Session of the 25th European Summer School in Logic, Language,
and Information (ESSLLI) will take place in *Düsseldorf, Germany on August
5-16, 2013*. We invite submissions of original, unpublished work from
students in any area at the intersection of Logic & Language, Language &
Computation, or Logic & Computation. Submissions will be reviewed by
several experts in the field, and accepted papers will be presented orally
or as posters and will appear in the student session proceedings in
Springer. This is an excellent opportunity to receive valuable feedback
from expert readers and to present your work to a diverse audience.
*A SEPARATE POSTER SESSION*: Note that this year there are two separate
kinds of submissions, one for the oral presentations and one for the
posters. This means that papers can be directly submitted as posters.
Reviewing and ranking will be done separately. We particularly encourage
submissions for posters.
More detailed guidelines regarding submission can be found on the Student
Session website: http://stus2013.loriweb.org/, (links to previous years'
proceedings are also available there).
Please direct inquiries about submission procedures or other matters
relating to the Student Session to margotcolinet at gmail.com
For general inquiries about ESSLLI 2013, please consult the main ESSLLI
2013 page, http://esslli2013.de/.
Kind regards,
*The ESSLLI 2013 Student Session Organization Committee*,
Chair:
Margot Colinet (Université Paris Diderot-Paris 7)
LOCO (LOgic and Computation) co-chairs:
Ronald de Haan (Technische Universität Wien)
Micha? Zawidzki (Uniwersytet ?ódzki)
LOLA (LOgic and LAnguage) co-chairs:
Agata Renans (Universität Potsdam)
Barbara Tomaszewicz (University of Southern California)
LACO (LAnguage and Computation) co-chairs:
Pierre Bourreau (Heinrich-Heine-Universität Düsseldorf)
Julia Zinova (Heinrich-Heine-Universität Düsseldorf)
___________________________________________________________________________
2) PLS9: Ninth Panhellenic Logic Symposium, Athens (Greece), 15-19 Jul 2013
======================================================================
PLS9: Ninth Panhellenic Logic Symposium
July 15-19, 2013
National Technical University of Athens, Greece
http://pls9.cs.ntua.gr/
======================================================================
IMPORTANT DATES
Deadline for submission: Friday, April 26, 2013
Notification: Wednesday, May 15, 2013
Final copy due: Wednesday June 5, 2013
======================================================================
FIRST 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 a paper, in English, not exceeding six pages, by
Friday, April 26, 2013. 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
https://www.easychair.org/conferences/?conf=pls9.
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. 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 Wednesday, May 15, 2013.
Camera-ready papers will be due by Wednesday June 5, 2013 for
inclusion in the symposium proceedings which will be distributed to
all participants.
======================================================================
SCIENTIFIC COMMITTEE
- Costas Dimitracopoulos, University of Athens
- Antonis Kakas, University of Cyprus
- Lefteris Kirousis, University of Athens
- George Koletsos, National Technical University of Athens
- Joan Moschovakis, Occidental College and ????
- Christos Nomikos, University of Ioannina
- Nikolaos Papaspyrou, National Technical University of Athens
- Athanasios Pheidas, University of Crete
- George Tourlakis, York University, Canada, Chair
- Athanassios Tzouvaras, Aristotle University of Thessaloniki
- Stathis Zachos, National Technical University of Athens
ORGANIZING COMMITTEE
- Christos Nomikos, University of Ioannina
- Nikolaos Papaspyrou, National Technical University of Athens, Chair
- Panos Rondogiannis, University of Athens
- Stathis Zachos, National Technical University of Athens
___________________________________________________________________________
3) CCR 2013 in Moscow
The Eighth International Conference on
Computability, Complexity and Randomness (CCR
2013) will be held in Moscow, at the Poncelet
lab, from the 23rd to the 27th of September 2013.
http://ccr2013.mccme.ru/
The conference, previously also known as the
conference on Logic, Computability and
Randomness, will be in the tradition of the
previous meetings Cordoba, Buenos Aires, Nanjing,
Luminy, Notre Dame, Cape Town, and Cambridge.
Topics covered include:
* Algorithmic randomness,
* Computability theory,
* Kolmogorov complexity,
* Computational complexity,
* Reverse mathematics and logic.
Authors are invited to submit an abstract in PDF
format of typically about 1 or 2 pages via the following web page:
http://www.easychair.org/conferences/?conf=ccr2013
The deadline for submissions is 15th May 2013. No
full papers will be required for this conference.
After the deadline for submissions has expired,
submissions may still be accepted for reviewing
at the discretion of the PC chair.
Invited speakers include
* Laurent Bienvenu (Paris, France)
* Edward Hirsch (Saint Petersburg, Russia)
* Emmanuel Jeandel (Marseille, France)
* Jan Reimann (Penn State University, USA)
* Alexander Shen (IITP RAS, Moscow)
* Michael Yampolsky (Toronto, Canada)
* Sergey Yekhanin (MS Research, USA)
* Yang Yue (Beijing, China)
The programme committee consists of Eric Allender
(Rutgers, USA), Mark Braverman (Princeton, USA),
Vasco Brattka (Munich, Germany), Willem Fouche
(Pretoria, South Africa), Noam Greenberg, chair
(Wellington, New Zealand), Mathieu Hoyrup (Nancy,
France), Andre Nies (Auckland, New Zealand),
Theodore Slaman (Berkeley, USA), and Frank Stephan (Singapore).
The local organizing committee consists of
Michael Raskin, Andrei Romashchenko, Alexander
Shen, and Nikolai K. Vereshchagin (chair).
The CCR Steering committee consists of Veronica
Becher (Buenos Aires, Argentina), Laurent
Bienvenu (Paris, France), Rod Downey, chair
(Wellington, New Zealand), Denis Hirschfeldt
(Chicago, United States), Elvira Mayordomo
(Zaragoza, Spain), Wolfgang Merkle (Heidelberg,
Germany), Nikolai K. Vereshchagin (Moscow,
Russia), and Liang Yu (Nanjing, China).
___________________________________________________________________________
4) VI International Workshop on Nature Inspired
Cooperative Strategies for Optimization - NICSO 2013
***********************************************************
The VI International Workshop on Nature Inspired
Cooperative Strategies for Optimization - NICSO 2013
September 2nd - 4th, 2013
Canterbury, United Kingdom
http://www.nicso2013.org
***********************************************************
CALL FOR PAPERS
* * * IMPORTANT DATES * * *
Full paper submission: April 15, 2013
Acceptance notification: May 15, 2013
Final camera ready: June 5, 2013
NICSO: September 2-4, 2013
NICSO 2013 will be the sixth edition of the
International Workshop on Nature Inspired
Cooperative Strategies for Optimization. This
workshop aims at bringing together international
researchers and practitioners from different
disciplines in order to discuss recent advances
and exchange ideas on the current state of the
art of cooperative problem solving strategies.
All submitted papers will be blind reviewed by at
least two reviewers from the Program Committee.
Selection criteria will be based on relevance,
originality, significance, impact, technical
soundness and quality of the presentation.
Contributions are expected to provide original
results, insights and experimental innovations.
Manuscripts must be in PDF, not exceeding 12
pages and conforming to the Latex template at
Instructions for Authors page for the book series
Studies in Computational Intelligence
(http://www.springer.com/series/7092).
Contributions are welcome to submission through
the system available at http://www.easychair.org/conferences/?conf=nicso2013
STUDENT SCHOLARSHIPS: Successfully accepted
postgraduate research student papers will
automatically enter a competition from where the
best will be chosen and offered a scholarship
that offsets the student registration fee. The
selection process criteria will be based on
originality, technical soundness, positioning and writing style.
The accepted papers will be published in the book
series on STUDIES IN COMPUTATIONAL INTELLIGENCE
(Springer) (http://www.springer.com/series/7092)
indexed by ISI Web of Science Conference
Proceedings, DBLP, Ulrichs, SCOPUS, MathSciNet,
Current Mathematical Publications, Mathematical
Reviews, Zentralblatt Math: MetaPress and
Springerlink. The authors of a selection of the
best accepted papers will be invited to revise
and extend their contributions for publication in
a special issue in the JOURNAL OF MEMETIC
COMPUTING (Springer)
(http://www.springer.com/engineering/computational+intelligence+and+complexity/journal/12293).
* Plenary Speakers (more to confirm) *
Alex Freitas, University of Kent, UK
Target topics (but not limited to):
Adaptive Behaviour
Ants Colonies
Amorphous Computing
Artificial Life
Artificial Immune Systems
Bioinformatics
Bio-inspired architecture
Biological and Chemical IT
Complex Systems
Distributed Computing
Evolutionary Algorithms
Evolutionary Robotics
Evolvable Systems
Games and Game Theory
Genetic Algorithms
Genetic Programming
Hyperheuristics
Membrane Computing
Memetic Algorithms
Quantum Computing
Software Self-Assembly
Systems Biology
Systems Coevolution
Swarm Intelligence
* Workshop Organizers *
Fernando Esteban Barril Otero
German Terrazas
Antonio D. Masegosa
* Steering Committee *
Natalio Krasnogor
David A. Pelta
* Programme Committee *
Alex Freitas, University of Kent, UK
AndrÈs R. Masegosa, University of Granada, Spain
BelÈn Melian, University of La Laguna, Spain
Blas J. Galv·n, University of Las Palmas de Gran Canaria, Spain
Carlos Cruz Corona, University of Granada, Spain
Carlos GarcÌa MartÌnez, Univeristy of CÛrdoba, Spain
Cecilio Angulo, Technical University of Catalunya, Spain
Christof Teuscher, Portland State University, US
Colin Johnson, University of Kent, UK
Davide Anguita, University of Genova, Italy
Enrique Onieva, University of Deusto, Spain
Evelyne Lutton, INRIA, France
Francisco Herrera, University of Granada, Spain
Gabriela Ochoa, University of Stirling, UK
Gianluigi Folino, Istituto di Calcolo e Reti ad Alte Prestazioni, Italy
Gisele Pappa, Universidade Federal de Minas Gerais, Brazil
Giuseppe Scollo, University of Catania, Italy
J. Marcos Moreno, University of La Laguna, Spain
Jaume Bacardit, University of Nottingham, UK
Jean-Louis Giavitto, UniversitÈ d'Evry, France
Jim Smith, University of the West of England, UK
Jon Timmis, University of York, UK
Jorge Casillas, University of Granada, Spain
JosÈ A. Moreno, University of La Laguna, Spain
JosÈ Alejandro Castillo, Instituto Nacional de
Investigaciones Nucleares, Mexico
JosÈ Luis Verdegay, University of Granada, Spain
JosÈ Manuel Cadenas, University of Murcia, Spain
Juan JosÈ Merelo, University of Granada, Spain
Marco Dorigo, UniversitÈ Libre de Bruxelles, Belgium
MarÃŒa Teresa Lamata, University of Granada, Spain
Marian Gheorghe, University of Sheffield, UK
Mario Pavone, University of Catania, Italy
Oliver Korb, Cambridge Crystallographic Data Centre, UK
Paolo Arena, University of Catania, Italy
RenÈ Doursat, Complex Systems Institute, France
Roberto Battiti, University of Trento, Italy
Shengxiang Yang ?, University of Leicester, UK
Stefano Pizzuti, Energy, New Technologies & Envir. Agency, Italy
Steven Gustafson, General Electric Global Research Center, US
Thomas Stibor, GSI Helmholtz Centre for Heavy Ion Research, Germany
Vincenzo Cutello, University of Catania, Italy
Vincenzo Manca, University of Verona, Italy
Vitorino Ramos, Technical University of Lisbon, Portugal
Vittorio Maniezzo, University of Bologna, Italy
Xiao-Zhi Gao, Helsinki University of Technology, Finland
Kwang-Hyun Cho, Korea Advanced Institute of
Science and Technology (KAIST), korea
___________________________________________________________________________
5) 2nd CfP ESSLLI 2013 Student Session, Duesseldorf (Germany), 5-16 Aug 2013
Please forward to students. Apologies for the multiple messages.
*2nd Call for Papers*
ESSLLI 2013 STUDENT SESSION
Held during
The 25th European Summer School
in Logic, Language and Information
Düsseldorf, Germany, August 5-16, 2013
Deadline for submissions: April 1st, 2013
https://www.easychair.org/conferences/?conf=essllistus2013
*ABOUT*:
The Student Session of the 25th European Summer School in Logic, Language,
and Information (ESSLLI) will take place in *Düsseldorf, Germany on August
5-16, 2013*. We invite submissions of original, unpublished work from
students in any area at the intersection of Logic & Language, Language &
Computation, or Logic & Computation. Submissions will be reviewed by
several experts in the field, and accepted papers will be presented orally
or as posters and will appear in the student session proceedings in
Springer. This is an excellent opportunity to receive valuable feedback
from expert readers and to present your work to a diverse audience.
*A SEPARATE POSTER SESSION*: Note that this year there are two separate
kinds of submissions, one for the oral presentations and one for the
posters. This means that papers can be directly submitted as posters.
Reviewing and ranking will be done separately. We particularly encourage
submissions for posters.
More detailed guidelines regarding submission can be found on the Student
Session website: http://stus2013.loriweb.org/, (links to previous years'
proceedings are also available there).
Please direct inquiries about submission procedures or other matters
relating to the Student Session to margotcolinet at gmail.com
For general inquiries about ESSLLI 2013, please consult the main ESSLLI
2013 page, http://esslli2013.de/.
Kind regards,
*The ESSLLI 2013 Student Session Organization Committee*,
Chair:
Margot Colinet (Université Paris Diderot-Paris 7)
LOCO (LOgic and Computation) co-chairs:
Ronald de Haan (Technische Universität Wien)
Micha? Zawidzki (Uniwersytet ?ódzki)
LOLA (LOgic and LAnguage) co-chairs:
Agata Renans (Universität Potsdam)
Barbara Tomaszewicz (University of Southern California)
LACO (LAnguage and Computation) co-chairs:
Pierre Bourreau (Heinrich-Heine-Universität Düsseldorf)
Julia Zinova (Heinrich-Heine-Universität Düsseldorf)
___________________________________________________________________________
6) CCR 2013: Computability, Complexity and
Randomness, Moscow (Russia), 23-27 Sep 2013
The Eighth International Conference on
Computability, Complexity and Randomness (CCR
2013) will be held in Moscow, at the Poncelet
lab, from the 23rd to the 27th of September 2013.
http://ccr2013.mccme.ru/
The conference, previously also known as the
conference on Logic, Computability and
Randomness, will be in the tradition of the
previous meetings Cordoba, Buenos Aires, Nanjing,
Luminy, Notre Dame, Cape Town, and Cambridge. Topics covered include:
* Algorithmic randomness,
* Computability theory,
* Kolmogorov complexity,
* Computational complexity,
* Reverse mathematics and logic.
Authors are invited to submit an abstract in PDF
format of typically about 1 or 2 pages via the following web page:
http://www.easychair.org/conferences/?conf=ccr2013
The deadline for submissions is 15th May 2013. No
full papers will be required for this conference.
After the deadline for submissions has expired,
submissions may still be accepted for reviewing
at the discretion of the PC chair.
Invited speakers include
* Laurent Bienvenu (Paris, France)
* Edward Hirsch (Saint Petersburg, Russia)
* Emmanuel Jeandel (Marseille, France)
* Jan Reimann (Penn State University, USA)
* Alexander Shen (IITP RAS, Moscow)
* Michael Yampolsky (Toronto, Canada)
* Sergey Yekhanin (MS Research, USA)
* Yang Yue (Beijing, China)
The programme committee consists of Eric Allender
(Rutgers, USA), Mark Braverman (Princeton, USA),
Vasco Brattka (Munich, Germany), Willem Fouche
(Pretoria, South Africa), Noam Greenberg, chair
(Wellington, New Zealand), Mathieu Hoyrup (Nancy,
France), Andre Nies (Auckland, New Zealand),
Theodore Slaman (Berkeley, USA), and Frank Stephan (Singapore).
The local organizing committee consists of
Michael Raskin, Andrei Romashchenko, Alexander
Shen, and Nikolai K. Vereshchagin (chair).
The CCR Steering committee consists of Veronica
Becher (Buenos Aires, Argentina), Laurent
Bienvenu (Paris, France), Rod Downey, chair
(Wellington, New Zealand), Denis Hirschfeldt
(Chicago, United States), Elvira Mayordomo
(Zaragoza, Spain), Wolfgang Merkle (Heidelberg,
Germany), Nikolai K. Vereshchagin (Moscow,
Russia), and Liang Yu (Nanjing, China).
___________________________________________________________________________
7) CSEDays Student School: Algorithms and
Complexity Ekaterinburg, Russia, June 29 -- July 01, 2013
(From Alexander S. Kulikov)
CSEDays Student School: Algorithms and Complexity
Ekaterinburg, Russia, June 29 -- July 01, 2013
http://www.csedays.ru/theory2013/about
LECTURERS
Konstantin Makarychev (Microsoft Research, US)
Semidefinite programming and approximation algorithms
Alexander Shen (Montpellier Laboratory of Informatics, Robotics,
and Microelectronics and Institute for Information Transmission Problems, RU)
Kolmogorov complexity
Mario Szegedy (Rutgers University, US)
Lovász Local Lemma
Ryan Williams (Stanford University, US)
Connections Between Algorithms and Lower Bounds
ABOUT THE SCHOOL
The school will be held in Ekaterinburg, Russia on June 29 -- July 01, 2013.
The topic of the school is "Algorithms and Complexity". The program will
consist of 4 short lecture courses as well as student presentations and
poster sessions. Students are encouraged to submit not only published or
completed research, but also a short summary of work in progress or even a
concise review of a problem area. The primary goal of submitting a paper,
as we see it, is getting feedback from experts in complexity theory as well
as school lecturers and participants.
The school will be held right after the 8th International Computer Science
Symposium in Russia (CSR 2013, June 25--29): http://csr2013.urfu.ru/
Any participant of the school may arrive earlier and attend the talks of
the CSR 2013 without paying the conference registration fee.
Application form: http://www.csedays.ru/theory2013/form
Deadline: April 10, 2013
___________________________________________________________________________
8) IWNC7: Natural Computing, Tokyo (Japan), 20-22 Mar 2013
Call For Abstracts
7th International Workshop on Natural Computing, IWNC7
March 20-22, 2013, The University of Tokyo, Japan
http://natural-computing.com/IWNC7
Organized by: SIG-NAC, Japanese Society of Artificial Intelligence
Co-organized by:Grant-in-Aid for Scientific Research on Innovative Areas
?Synthetic biology for the comprehension of Biomolecular networks? project
and ?Molecular Robotics? project
Computation is an intrinsic feature of natural and artificial systems
because almost all of them can transform information in a predictable
or programmable way. We witness experimental prototypes of natural
computers: plasmodium computers, reaction-diffusion processors,
amorphous computers, DNA computers, and theoretical paradigms:
cellular automata, artificial chemistry, P-systems, evolutionary
computing, neural networks.
Fine mechanics of computation may significantly differ from system to
system and even be somewhere ambiguous. This workshop aims to
bring together computer scientists, biologists, physicists, mathematicians,
electronic engineers, aestheticians and so on to critically assess
present findings in the field, and to outline future developments in
natural computing.
Topics:
-Computing with Natural media:
Synthetic Biology, Molecular Robotics, Slime mold computing, Computing
with chemical reaction, Reaction-diffusion computing, Unconventional
Computing models, etc.
-Bio-Inspired Computing: Ant / Bees Algorithm, Swarm intelligence,
Evolutional Computing, etc.
-Model and Theory:
Artificial Life, Cellular Automaton, DNA computing, P systems, Formal
Language theory and model for natural computing, Multiset computing,
Mathematical Biology, etc.
-Computational Aesthetics:
Theory of or/and Empirical Aesthetics, Design / Fine and Media Art /
Music relating to computing or/and Nature, Scientific Visualization, etc.
-Philosophy of Natural Computing:
Philosophy of Computing, Scientific Philosophy of Natural Computing,
Scientific Communication
e.t.c.
-Other related topics:
Important Date
Deadline of Abstract: 28.Feb.2013
Workshop: 20-22.March 2013
Deadline of Paper for Postceeding: May. 1. 2013
Notification: June. 2013
Registration: Registration fee is Free of Charge
Publication: Post-ceedings will be published from Springer Verlag, Japan,
and selected papers to be published in International Journal of Unconventional
Computing, Journal of Cellular Automata.
Programming Committee:
Fuminori Akiba, Nagoya Univ.
Peter Dittirich, Friedrich-Schiller-Univ.,
Masami Hagiya, Univ. of Tokyo,
Kenichi Morita, Hiroshima Univ.,
Vincenzo Manca, Univ. of Verona,
Giancarlo Mauri, Univ. of Milan, Bicocca,
Ferdinand Peper, NICT,
Hiroki Sayama, Binghamton Univ, State Univ. of New York,
Yasuhiro Suzuki, Nagoya Univ.,
Hiroshi Umeo, Osaka Electro-Communication Univ.
Contact to:
yasuhiro SUZUKI (ysuzuki at nagoya-u.jp), Chair and Secretariat
___________________________________________________________________________
9) Summer School in Singapore at IMS / NUS 15 - 26 July 2013
(from Frank Stephan)
Asian Initiative for Infinity (AII) Graduate Summer School
15-26 July 2013, IMS, National University of Singapore,
http://www2.ims.nus.edu.sg/Programs/013aiiss/
This summer school is for graduate students in mathematical logic and has
the topics set theory and recursion theory. Students who have foundations
in one or both of these subjects are invited to participate.
Theodore A. Slaman and Hugh Woodin from The University of California at
Berkeley will both teach a one week tutorial. The topics are from recursion
theory and set theory, respectively, and the tutorials expect basic knowledge
of one graduate course in each of the subjects. In addition to the teaching
component, the programme leaves enough time for the students to discuss
their research ideas with the local and overseas scientists and among each
other and to start to collaborate with peers in the field.
The programme is supported by the Institute of Mathematical Sciences
of the National University of Singapore (NUS), where it is hosted,
and by the John Templeton Foundation. Overseas participants are
eligible to a stipend of USD 1500 and will furthermore be provided
with accomodation. Students should apply through the link in above
mentioned webpage by 1 April 2013; the same webpage provides also
more details on the programme. Up to 25 students can enrole into
the programme, preference will be given to students who participate
the programme for the first time.
Chi Tat Chong, Qi Feng, Dilip Raghavan, Frank Stephan and Yue Yang
Institute of Mathematical Sciences and Department of Mathematics
National University of Singapore, Singapore 119076, Republic of Singapore
ims at nus.edu.sg; matcct at nus.edu.sg; fstephan at comp.nus.edu.sg
___________________________________________________________________________
10) CFP: Workshop on Quantum and Classical
Complexity, Riga, Latvia, July 7 2013 (Satellite event to ICALP 2013)
* Our apologies if you receive multiple copies of this announcement *
CALL FOR PAPERS
Workshop on Quantum and Classical Complexity, Riga, Latvia, July 7
2013 (Satellite event to ICALP 2013)
Outline:
The workshop should be devoted to discussions on its title area.
Submissions including non-finished ideas to raise discussion are
possible and indeed welcomed. Also, well-written tutorials on specific
topics can be accepted as contributions.
Authors are cordially welcomed to send their contributions belonging
to the workshop title area and following the outline to Mika
Hirvensalo (email: mikhirve at utu.fi) in any usual electronic form. All
contributions will be peer-reviewed.
The authors are supposed to prepare the final versions of accepted
papers with LaTeX.
Schedule:
Submission deadline: May 5, 2013
Author notification: May 20, 2013
Final version due: June 9, 2013
Invited Speaker: To be announced soon
Workshop information:
Organizers:
Mika Hirvensalo (University of Turku, Finland) and Abuzer Yakaryýlmaz
(University of Latvia)
Program committee:
Farid Ablayev (Kazan State University, Tatarstan, Russia)
Pýnar Heggernes (University of Bergen, Norway)
Mika Hirvensalo (University of Turku, Finland)
Juraj Hromkovic (ETH Zürich, Switzerland)
Jarkko Kari (University of Turku, Finland)
Akinori Kawachi (Tokyo Institute of Technology, Japan)
Abuzer Yakaryýlmaz (University of Latvia)
Further information on workshop page http://users.utu.fi/mikhirve/workshop/
___________________________________________________________________________
11) NI? CONSTRUCTIVE MATHEMATICS CONFERENCE --- CMFP 2013
**********************************************************
NI? CONSTRUCTIVE MATHEMATICS CONFERENCE --- CMFP 2013
On the occasion of the 1700 Anniversary of the Edict of Milan
"Constuctive Mathematics: Foundations and Practice"
****************************************************
Second Announcement
------------------
We apologise if your have already received this announcement.
University of Ni?, Faculty of Mechanical Engineering, Ni?, Serbia
June 24-28, 2013
The meeting will be sponsored by the University of Ni? and
Faculty of Mechanical Engineering of University of Ni?, and will
be part of the celebration of the 1700th anniversary of the Edict
of Milan, which was signed by emperors Constantine and Licinius
in 313 AD and which initiated the era of religious toleration for
the Christian faith in the Roman Empire. Constantine ("The
Great") was born in the Roman city of Naissus, present-day Ni?,
in 272 AD.
The main aims of the meeting are:
- To provide mini-series of lectures, presented by experts and designed
to lead mathematicians (including graduate students) from the basic
elements of constructive mathematics to a level where they can appreciate
recent developments in the area. The subjects covered will cover :
* the foundations of constructive mathematics (logic, type
theory, and set theory);
* the practice of constructive analysis, algebra, and topology;
* constructive reverse mathematics.
- To enable selected speakers to present seminars on their recent
research in aspects of constructive mathematics.
Submissions
The schedule of the meeting will have slots for a small number of short
talks by non-invited speakers. Abstracts, of most two pages, for such
talks may be submitted, only as pdf files, to the following email address:
cmfp2013 at masfak.ni.ac.rs
- The closing date for submission of abstracts is 30 April 2013.
- The abstracts will be refereed, and it is expected that the outcome on
refereeing process will be communicated to the authors by 10 May 2013.
Website of the conference: http://www.masfak.ni.ac.rs/cmfp2013
E-mail: cmfp2013 at masfak.ni.ac.rs
Invited Speakers
-- Thierry COQUAND (Gothenburg, SWE)
-- Laura CROSILLA (Leeds, UK)
-- Hannes DIENER (Siegen, GER)
-- Kosta DOSEN (Belgrade, SRB)
-- Silvia GHILEZAN (Novi Sad, SRB)
-- Matthew HENDTLASS (Udine, ITA)
-- Hajime ISHIHARA (JAIST, Ishikawa)
-- Davorin LESNIK (Darmstadt, GER)
-- Henri LOMBARDI (Besançon, FRA)
-- Robert LUBARSKY (Boca Raton, FL, USA)
-- Maria Emilia MAIETTI (Padova, ITA)
-- Maarten MCKUBRE-JORDENS (Christchurch, NZ)
-- Zoran MARKOVIC (Belgrade, SRB)
-- Takako NEMOTO (JAIST, Ishikawa)
-- Eric PALMGREN (Stockholm, SWE)
-- Giovanni SAMBIN (Padova, ITA)
-- Iosif PETRAKIS (Munich,GER)
-- Sam SANDERS (Munich,GER)
-- Peter SCHUSTER (Leeds, UK)
-- Helmut SCHWICHTENBERG (Munich, GER)
A registration desk will be set up during the conference. The registration
fee is payable in cash upon arrival; it covers printed materials (such as
the booklet of submitted abstracts), refreshments and snacks:
Registration fee: 50 ?
Conference dinner: 20 ?
Excursion: 10 ?
Feel free to forward this announcement to your colleagues and students
who may not be on our mailing list. Join us at this exciting conference
in June!
See you in Ni?, at CMFP 2013!
Organizing Committee
___________________________________________________________________________
12) Call for proposals for NIAS-Lorentz Theme Group 2014-2015
Subject: Call for proposals for NIAS-Lorentz Theme Group 2014-2015
Dear Sir/Madam,
The NIAS-Lorentz Program calls for proposals for the NIAS-Lorentz Theme
Group (NLTG) 2014/2015.
We kindly ask you to distribute the information below in your institute.
The deadline for application is 1 April 2013.
An NLTG carries out cutting-edge research that bridges the Humanities
and/or Social Sciences with the Natural Sciences and/or Technology.
The aim of the NIAS-Lorentz Theme Group Fellowships is to encourage the
kind of intensive interdisciplinary collaboration that
is often difficult to realize in a normal university setting. Group
members will work together during several months on a topic that
involves contributions from the natural as well as the social sciences or
the arts. The NLTG workshop offers an opportunity to invite a
larger group of colleagues to work together intensively for a week at
some point during the Fellowship period.
The NIAS-Lorentz Program is a collaboration established in 2006 by NIAS
(Netherlands Institute for Advanced Study in the
Humanities and Social Sciences; Wassenaar) and the Lorentz Center
(Leiden).
The NIAS-Lorentz Program promotes innovative interdisciplinary research
that brings together perspectives from the
Social Sciences and Humanities on the one hand and the Natural Sciences
and Technologies on the other.
Topics of societal importance that require extensive collaboration across
traditional scientific boundaries in order to
progress, have the special attention of this program.
We kindly ask you to draw the attention of possibly interested persons to
this NLTG call.
Thank you.
For information about the NIAS-Lorentz Program and the partners, please
visit the NIAS-Lorentz website
www.nias-lorentz.nl
or contact us.
Sincerely,
Petry Kievit
(NIAS)
Henriette Jensenius (Lorentz Center)
+31 70 512
2725 +31
71 527 5580
p.kievit at nias.knaw.nl
jensenius at lorentzcenter.nl
www.nias.knaw.nl
www.lorentzcenter.nl
___________________________________________________________________________
13) LOGIC COLLOQUIUM 2013
The Logic Colloquium 2013 (ASL European Summer Meeting) will take
place for the first time in Portugal, in Évora, one of Portugal?s
most beautifully preserved medieval towns, which was declared World
Heritage by the UNESCO in 1986, on July 22-27, 2013. The Logic
Colloquium is the annual European conference on Logic, organised under
the auspices of the Association for Symbolic Logic (ASL) and provides
a forum for presenting and discussing the new developments in the area
of Logic, including Mathematical logic, Computer science logic and
Philosophical logic. The scientific program of the Logic Colloquium
2013 is composed of very important invited speakers including a
Fields Medalist (Mathematics Nobel prize) and a CNRS Silver Medalist.
Submission for Contributed talks is now open and the call for ASL
travel grants and ASL-NSF travel grants is also open. Registration
will open soon. For further details see the meeting web page:
http://ptmat.fc.ul.pt/LC2013.
Deadline for submissions: March 29, 2013
Please forward this message to everyone you know. Don't forget anyone!
The organizing committee.
___________________________________________________________________________
14) WoLLIC 2013: Logic, Language, Information and
Computation, Darmstadt (Germany), 20-23 Aug 2013
WoLLIC 2013
20th Workshop on Logic, Language, Information and Computation
August 20th to 23rd, 2013
Technische Universität Darmstadt
Darmstadt, Germany
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Organisation
Fachbereich Mathematik, Technische Universität Darmstadt, Germany
Centro de Informática, Universidade Federal de Pernambuco, Brazil
Financial Support
Deutsche Vereinigung für Mathematische Logik und
für Grundlagenforschung der Exakten Wissenschaften (DVMLG)
Call for Papers
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 twentieth WoLLIC will be
held at the Technische Universität Darmstadt,
Germany, from August 20th to 23rd, 2013. It is
sponsored by the Association for Symbolic Logic
(ASL), the Interest Group in Pure and Applied
Logics (IGPL), the The Association for Logic,
Language and Information (FoLLI), theEuropean
Association for Theoretical Computer Science
(EATCS), the European Association for Computer
Science Logic (EACSL), the Sociedade Brasileira
de Computação (SBC), and the 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 2012 EasyChair website. (Please go to
http://wollic.org/wollic2013/instructions.html
for instructions.) A title and single-paragraph
abstract should be submitted by March 25th, and
the full paper by March 29th (firm date).
Notifications are expected by May 3rd, and final
papers for the proceedings will be due by May 15th (firm date).
Proceedings
The proceedings of WoLLIC 2013, including both
invited and contributed papers, will be published
in advance of the meeting as a volume in
Springer's 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 2013 issue of a
scientific journal (to be confirmed).
Invited Speakers
* Natasha Alechina (University of Nottingham)
* Steve Awodey (Carnegie Mellon University)
* Mikolaj Bojanczyk (Warsaw University)
* Wim Martens (Universität Bayreuth)
* Catuscia Palamidessi (INRIA Saclay and LIX)
* Thomas Schwentick (TU Dortmund)
Student Grants
ASL sponsorship of WoLLIC 2013 will permit ASL
student members to apply for a modest travel
grant (deadline: May 1st, 2013). See
http://www.aslonline.org/studenttravelawards.html for details.
Important Dates
* March 25th, 2013: Paper title and abstract deadline
* March 29th, 2013: Full paper deadline
* May 3rd, 2013: Author notification
* May 15th, 2013: Final version deadline (firm)
Programme Committee
* Albert Atserias (UPC Barcelona)
* Alexandru Baltag (Univ Amsterdam)
* Stephanie Delaune (ENS, CNRS)
* Amy Felty (Univ Ottawa)
* Santiago Figueira (Univ Buenos Aires)
* Amelie Gheerbrant (Univ Edinburgh)
* Radha Jagadeesan (DePaul Univ)
* Delia Kesner (Univ Paris-Diderot)
* Benoit Larose (Concordia Univ)
* Leonid Libkin (Univ Edinburgh - CHAIR)
* Fenrong Liu (Tsinghua Univ)
* Jerzy Marcinkowski (Wroclaw Univ)
* Peter O'Hearn (UCL)
* Joël Ouaknine (Oxford Univ)
* Gerald Penn (Univ Toronto)
* Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux)
* R. Ramanujam (The Institute of Mathematical Sciences)
* Peter Selinger (Dalhousie Univ)
* Szymon Torunczyk (Warsaw Univ)
* Anna Zamansky (TU Wien)
Steering Committee
* Samson Abramksy, Johan van Benthem, Anuj Dawar,
Joe Halpern, Wilfrid Hodges, Daniel Leivant,
Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz.
Organising Committee
* Ulrich Kohlenbach (Tech U Darmstadt) (Local chair)
* Anjolina G. de Oliveira (U Fed Pernambuco)
* Martin Otto (Tech U Darmstadt)
* Ruy de Queiroz (U Fed Pernambuco) (co-chair)
* Thomas Streicher (Tech U Darmstadt)
* Martin Ziegler (Tech U Darmstadt)
Further information
Contact one of the Co-Chairs of the Organising Committee.
Web page
http://wollic.org/wollic2013/
___________________________________________________________________________
15) MFCS 2013 - Call For Papers
========================================================================
MFCS 2013 - Call for Papers
38th International Symposium on Mathematical Foundations of Computer Science
August 26 - 30, 2013, IST Austria, Klosterneuburg, Austria
http://http://ist.ac.at/mfcs13/
========================================================================
The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS symposia encourage high-quality
research in all branches of theoretical computer science. Their broad
scope provides an opportunity to bring together researchers who do not
usually meet at specialized conferences. Quality papers presenting
original research on theoretical aspects of computer science are solicited.
PRINCIPAL TOPICS
Principal topics of interest include (but are not limited to):
- algorithmic game theory,
- algorithmic learning theory,
- algorithms and data structures (incl. sequential, parallel,
distributed, approximation, graph, network, on-line, parameterized,
optimization),
- automata, grammars and formal languages,
- bioinformatics,
- complexity (structural and computational),
- computational geometry,
- computer-assisted reasoning,
- concurrency theory,
- cryptography and security,
- databases and knowledge-based systems,
- formal specifications and program development,
- foundations of computing,
- logic in computer science,
- mobile computing,
- models of computation,
- networks (incl. wireless, sensor, ad-hoc),
- parallel and distributed computing,
- quantum computing,
- semantics and verification of programs,
- theoretical issues in artificial intelligence
INVITED SPEAKERS
- Sam Buss (UC San Diego)
- Martin Grohe (Humboldt U. Berlin, RWTH Aachen U)
- Leah Epstein (U. Haifa)
- Elias Koutsoupias (U. Athens)
- Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
- Nir Piterman (U. Leicester)
PROGRAM CHAIRS
- Jiri Sgall (Charles U., Czech Republic)
- Krishnendu Chatterjee (IST Austria, Austria)
PROGRAM COMMITTEE
- Parosh Abdulla (Uppsala U., Sweden)
- Eli Ben-Sasson (Technion, Israel)
- Nathalie Bertrand (INRIA Rennes, France)
- Markus Blaser (U. des Saarlandes, Germany)
- Tomas Brazdil (Masaryk U., Czech Republic)
- Ioannis Caragiannis (U. Patras, Greece)
- Krishnendu Chatterjee (IST Austria, Austria - Chair)
- Thomas Colcombet (LIAFA-CNRS, France)
- Anuj Dawar (U. Cambridge, UK)
- Giorgio Delzanno (U. Genova, Italy)
- Martin Dietzfelbinger (TU Ilmenau, Germany)
- Krzysztof Diks (U. Warsaw, Poland)
- Zoltan Esik (U. Szeged, Hungary)
- Sandor Fekete (TU Braunschweig, Germany)
- Eldar Fischer (Technion, Israel)
- Dmitry Gavinsky (NEC Labs, Princeton, USA)
- Andrew Goldberg (Microsoft Research, USA)
- Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
- Tao Jiang (UC Riverside, USA)
- Barbara Konig (U. Duisburg-Essen (UDE), Germany)
- Pascal Koiran (Ecole Normale Supérieure de Lyon, France)
- Rastislav Kralovic (Comenius U., Slovakia)
- Erik Jan van Leeuwen (MPI, Saarbrücken, Germany)
- Stefano Leonardi (Sapienza U. Rome, Italy)
- Christof Loding (RWTH Aachen U., Germany)
- Zvi Lotker (Ben Gurion U., Israel)
- Jerzy Marcinkowski (U.Wroc?aw, Poland)
- Daniel Marx (Hungarian Academy of Sciences, Hungary)
- Peter Bro Miltersen (Aarhus U., Denmark)
- Madhavan Mukund (CMI, India)
- Rasmus Pagh (IT U. Copenhagen, Denmark)
- Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
- Daniel Paulusma (Durham U., UK)
- Holger Petersen (msg systems ag, Germany)
- Alex Rabinovich (Tel Aviv U., Israel)
- Rahul Santhanam (U. Edinburgh, UK)
- Jiri Sgall (Charles U., Czech Republic - Chair)
- Martin J. Strauss (U. Michigan, USA)
- Ola Svensson (EPFL, Switzerland)
- Maxim Sviridenko (U. Warwick, UK)
- Pavel Valtr (Charles U., Czech Republic)
- Peter Widmayer (ETH, Switzerland)
- Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
- James Worrell (U. Oxford, UK)
IMPORTANT DEADLINES
- Paper submission deadline: April 19, 2013 AOE
- Author notification: June 4, 2013 AOE
- Camera-ready deadline: June 16, 2013 AOE
- Conference: August 26-30, 2013
PAPER SUBMISSION
Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's
Lecture Notes style and including bibliography). If the authors believe
that more details are essential to substantiate the main claims, they
may include a clearly marked appendix that will be read at the
discretion of the program committee. Simultaneous submissions of papers
to any other conference with published proceedings or submitting
previously published papers is not allowed. Only electronic submissions
in the PDF format are accepted. Information about the submission
procedure will be available on the conference web page in due time. The
proceedings will be published in the new ARCoSS subline of Lecture Notes
in Computer Science by Springer-Verlag.
Please submit via EasyChair
(https://www.easychair.org/conferences/?conf=mfcs2013).
STEERING COMMITETEE
- Juraj Hromkovic (Zurich)
- AntonÃn Kucera (Brno), chair
- Jerzy Marcinkowski (Wroclaw)
- Damian Niwinski (Warsaw)
- Branislav Rovan (Bratislava)
- Jici Sgall (Prague)
The conference is organized by IST Austria in cooperation with EATCS.
___________________________________________________________________________
16) CSL'13, last cfp, DATES POSTPONED!!
______________________________________________________________________________________________
CSL 2013
COMPUTER SCIENCE LOGIC 2013
Torino, September 2-5 2013
http://csl13.di.unito.it/
last call-for-paper
DATES CHANGED!!!!!!!!!!!
_______________________________________________________________________________________________
AIM AND SCOPE
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.
LOCATION
The 22nd EACSL Annual Conference on Computer
Science Logic will be held at Museo di Scienze Naturali in Torino from
Monday 2nd through Thursday 5th of September 2013.
LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
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, computational proof theory, bounded
arithmetic and propositional proof complexity,
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 aspects of
quantum computing, logical foundations of
programming paradigms, verification and program
analysis, linear logic,
higher-order logic, non-monotonic reasoning.
IMPORTANT DATES
Abstract submission: April, 8th 2013
Paper Submission: April, 15th 2013
Paper Notification: June, 17th 2013
Paper final version: July, 8th 2013
Conference: September, 2nd --- 5th 2013
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.
Submitted papers must be in English and must
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 introduction
which is directed at all members
of the program committee.
The submission is in two stages. Abstract
submissions are due before April 1st, 2013. Full
paper submissions must be done before April 8th, 2013.
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 a journal by
March 24th, 2013. Papers authored or co-authored
by members of the Programme Committee are not allowed.
SATELLITE EVENTS
The 9th International Workshop on Fixed Points
in Computer Science (FICS'13) will be held on 1st
of September 2013 as a satellite event of CSL'13.
The 14th International Workshop on Logic and
Computational Complexity (LCC'13) will be held on
6th of September 2013 as a satellite event of CSL'13.
An international summer school on ?Linear logic
and related topics? will be held from 28th
through 31st of August 2013 as a satellite event of CSL'13.
Further details will appear on this page as soon as possible.
PROGRAM COMMITTEE
Zena Ariola (University of Oregon)
Arnon Avron (Tel-Aviv University)
Roberto Bagnara (University of Parma, and BUGSENG srl)
Christel Baier (Technical University of Dresden)
Marc Bezem (University of Bergen)
Paola Bruscoli (University of Bath, Computer Science Department)
Agata Ciabattoni (TU Wien)
Thierry Coquand (Chalmers University)
Ugo Dal Lago (Università di Bologna)
Valeria De Paiva (Nuance Communications)
Reinhard Kahle (CENTRIA and DM, UNL, Portugal)
Stephan Kreutzer (Technical University Berlin)
Olivier Laurent (CNRS - ENS Lyon)
Carsten Lutz (Universität Bremen)
Jean-Yves Marion (Université de Lorraine, LORIA)
Damian Niwinski (Warsaw University)
Frank Pfenning (Carnegie Mellon University)
Elaine Pimentel (UFMG)
Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR (Università di Torino)
Jan Rutten (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (Dept. of Math & Stats, U. Ottawa)
Peter Selinger (Dalhousie University)
Makoto Tatsuta (National Institute of Informatics)
Tachio Terauchi (Nagoya University)
ORGANIZING COMMITTEE
Erika De Benedetti (Dipartimento di Informatica, Torino)
Paola Giannini (Dipartimento di Scienze e
Innovazione Tecnologica (DISIT), Alessandria)
Mauro Piccolo (Dipartimento di Informatica, Torino)
Luca Padovani (Dipartimento di Informatica, Torino)
Luca Paolini (Dipartimento di Informatica, Torino)
Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)
Luca Roversi (Dipartimento di Informatica, Torino)
Angelo Troina (Dipartimento di Informatica, Torino)
___________________________________________________________________________
17) 3rd Call for papers: Machines, Computations and Universality 2013
Machines, Computations and Universality (MCU) 2013, the 6th conference
in the MCU series, will be hosted at the University of Zurich on
September 9-12, 2013.
http://mcu2013.ini.uzh.ch/
SCOPE
MCU explores computation in the setting of various discrete models
(Turing machines, register machines, cellular automata, tile assembly
systems, rewriting systems, neural models etc.) and analog and hybrid
models (BSS machines, infinite time cellular automata, real machines,
quantum computing etc.). There is particular (but not exclusive)
emphasis given towards the following:
1. the search for frontiers between decidability and undecidability in
the various models. (For example, what is the smallest number of pairs
of words for which the Post correspondence problem is undecidable, or
what is the largest state-symbol product for which the halting problem
is decidable for Turing machines?)
2. the search for the simplest universal models (such as small universal
Turing machines, universal rewriting systems with few rules, universal
cellular automata with small neighborhoods and a small number of states,
etc.)
3. the computational complexity of predicting the evolution of
computations in the various models. (For example, is it possible to
predict an arbitrary number of time steps for a model more efficiently
than explicit step by step simulation of the model?)
4. universality and undecidability in continuous models of computation.
IMPORTANT DATES
Submission: March 31, 2013
Notification: May 17, 2013
Final Version: June 14, 2013
Conference: September 9-12, 2013
PROGRAM COMMITTEE
Andrew Adamatzky (University of the West of England, UK)
Matthew Cook (University of Zurich and ETH Zurich) (co-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Budapest, Hungary)
Jérôme Durand-Lose (University of Orléans, France)
Rudolf Freund (University of Vienna, Austria)
Gabriel Istrate (Institute e-Austria, Timisoara, Romania)
Jarkko Kari (University of Turku, Finland)
Lila Kari (University of Western Ontario, London, Canada)
Kamala Krithivasan (Indian Institute of Technology, Chennai, India)
Maurice Margenstern (University of Lorraine, France)
Turlough Neary (University of Zurich and ETH Zurich) (co-chair)
Matthew Pattitz (University of Arkansas, Fayetteville, USA)
Igor Potapov (University of Liverpool, UK)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
Sergey Verlan (University of Paris Est, France)
Damien Woods (California Institute of Technology, USA)
INVITED SPEAKERS
Liesbeth De Mol (Ghent University, Belgium)
Jarkko Kari (University of Turku, Finland)
Kenichi Morita (Hiroshima University, Japan)
Erik Winfree (California Institute of Technology, USA)
Damien Woods (California Institute of Technology, USA)
STEERING COMMITTEE
Maurice Margenstern (University of Lorraine, France) (chair)
Jérôme Durand-Lose (University of Orléans, France) (vice-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Hungary)
Natasha Jonoska (University of South Florida, USA)
Kenichi Morita (Hiroshima University, Japan)
Gheorghe P?un (The Romanian Academy, Romania)
Arto Salomaa (University of Turku, Finland)
K. G. Subramanian (University of Science, Malaysia)
PAPER PREPARATION AND SUBMISSION
Authors are invited to submit extended abstracts of no more than 12
pages via the EasyChair system at
https://www.easychair.org/conferences/?conf=mcu2013. Submissions should
contain original research that has not previously been published.
Concurrent submissions to other conferences/journals is not permitted.
Supplementary material that exceeds the 12 page limit will be considered
at the committee?s discretion. Submissions must be in the form of a PDF
prepared using the EPTCS style file (available at
http://style.eptcs.org/). The title page should include the title of the
paper, the names, affiliations and email addresses of each of the
authors, and an abstract of no more than 300 words.
CONFERENCE PROCEEDINGS
The proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) and will be available at the
conference, and freely available online. For more information see the
EPTCS website at http://about.eptcs.org/.
Following, the conference, authors of selected papers will be invited to
submit an extended version of their work to a special issue of an
international journal.
___________________________________________________________________________
18) DCFS 2013 Extended Deadline April 2
Dear colleagues,
The deadline for DCFS 2013 was extended to April 2.
We hope that many of you can still submit papers and will attend the workshop.
With best wishes,
Helmut Jürgensen (University of London, Ontario)
Rogério Reis (University of Porto)
PS.: We apologize for multiple posting.
--------------------
Final Call for Papers -- DCFS 2013
15th International Workshop on Descriptional Complexity of Formal Systems
London, Ontario, Canada
July 22-25, 2013
http://www.csd.uwo.ca/dcfs2013
-------------------
DCFS 2013 will be held in London, Ontario, Canada, on July 22-25, 2013.
It will be preceded by CIAA in Halifax, Canada, 16-19 July.
Detailed information will be available at
http://www.csd.uwo.ca/dcfs2013
The DCFS email address is: dcfs2013 at csd.uwo.ca
Paper submissions are invited which fit into the general theme of the workshop.
In particular, we look for submissions in the following general areas -- this
list is not meant to be exclusive:
- Automata, grammars, languages and other formal systems; various modes
of operations and complexity measures.
- Succinctness of description of objects, state-explosion-like phenomena.
- Circuit complexity of Boolean functions and related measures.
- Size complexity of formal systems.
- Structural complexity of formal systems.
- Trade-offs between computational models and mode of operation.
- Applications of formal systems -- for instance in software and
hardware testing, in dialogue systems,
in systems modeling or in modeling natural languages-- and their complexity
constraints.
- Co-operating formal systems.
- Size or structural complexity of formal systems for modeling
natural languages.
- Complexity aspects related to the combinatorics of words.
- Descriptional complexity in resource-bounded or structure-bounded
environments.
- Structural complexity as related to descriptional complexity.
- Frontiers between decidability and undecidability.
- Universality and reversibility.
- Nature-motivated (bio-inspired) architectures and unconventional models
of computing.
- Kolmogorov-Chaitin complexity, algorithmic information.
If in doubt, please feel free to ask for advice
at the email address given above.
Submissions
Submissions concerning the descriptional
complexity of formal systems are invited for the workshop.
Papers on applications of such issues, for
instance in the fields of software or hardware testing,
systems modelling, natural language modelling as
well as demonstrations of systems related to these
issues are also welcome.
The papers should present original research
contributions concerning the topics of the workshop.
They should not exceed 12 pages when prepared
using LaTeX and the style of the Springer Lecture Notes
in Computer Science. The style file is available from the the Springer LNCS
authors' link: http://www.springer.de/comp/lncs/authors.html
Papers must be written in English and must
provide sufficient detail for the program committee to assess
their merits. Proofs omitted due to space
constraints can be put into an appendix which will read by
program committee members at their discression.
Simultaneous submission of the same paper to other
conferences or workshops is not acceptable.
Papers should be submitted as pdf files
electronically to the easy chair address:
http://www.easychair.org/conferences/?conf=dcfs2013
The proceedings will be published in the Springer Lecture Notes in
Computer Science (LNCS) series and will be available at the
workshop. As in previous years, a special journal issue with full
versions of selected papers will be devoted to DCFS 2013.
Important Dates:
Submission Deadline: April 2, 2013 (extended)
Notification of accepted papers: April 25, 2013
Final Version: May 8, 2013
Conference dates: July 22-25, 2013
Invited Speakers
Cezar Câmpeanu (University of Prince Edward Island, Charlotteteown, Canada)
Frank Drewes (Umeå Universitet, Sweden)
Pierre McKenzie (Université de Montréal, Canada)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, US)
Program Committee
Viliam Geffert, Univerzita Pavol Jozefa ?afárika, Ko?ice, Slovakia
Galina Jirásková, Slovak Academy of Sciences, Ko?ice, Slovakia
Helmut Jürgensen, University of Western Ontario, London, Canada (Co-Chair)
Christos Kapoutsis, Université Paris Diderot, France
Lila Kari, University of Western Ontario, London, Canada
Stavros Konstantinidis, St. Mary's University, Halifax, Canada
Dexter Kozen, Cornell University, Ithaca, USA
Martin Kutrib, Universität Gießen, Germany
Andreas Malcher, Universität Gießen, Germany
Ian McQuillan, University of Saskatchewan, Saskatoon, Canada
Victor Mitrana, Universitatea Bucure?ti, Romania
Nelma Moreira, Universidade do Porto, Portugal
Beatrice Palano, Università degli Studi di Milano, Italy
Giovanni Pighizzini, Università degli Studi di Milano, Italy
Rogério Reis, Universidade do Porto, Portugal (Co-Chair)
Jaques Sakarovitch, CNRS/ENST, Paris, France
Kai Salomaa, Queen's University, Kingston, Canada
Jeffrey Shallit, University of Waterloo, Canada
Bianca Truthe, Otto-von-Guericke-Universität, Magdeburg, Germany
Steering Committee
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Jürgen Dassow (Magdeburg, Germany)
Helmut Jürgensen (London, ON, Canada)
Hing Leung (Las Cruces, New Mexico)
Giovanni Pighizzini (Milano, Italy) (Chair)
Detlef Wotschke (Frankfurt, Germany)
Organizing Committee
Helmut Jürgensen
Cheryl McGrath
Andrew Szillard
Additional members to be announced
___________________________________________________________________________
More information about the FOM
mailing list