cie-logo   Association CiE



CIE Newsletter - No. 77

CiE Newsletter No. 77, March 19th, 2014



Please send any items you would like included in next letter to Olivier Bournez (bournez@lix.polytechnique.fr)
DEADLINE: April 10th, 2014





CONTENTS








1) Very sad news: Professor Yurii Rogozhin passed away on March, 10, 2014




The communities of universal computations, of P-systems and of
DNA computing inform you that Professor Yurii Rogozhin passed away on
March, 10, 2014, after the bad illness
against which he
valiantly struggled overwhelmed him. Yurii was a prominent researcher in
the field of small universal Turing machines where he made a definite
breakthrough, and also in the area of DNA computing and of
membrane computing. H e
has an enormous contribution to the
study of the universality, especially for small, border-line cases.
The loss of such a remarkable person and distinguished
scientist will have a profound impact on his colleagues,
collaborators and the whole research community.
CIE expresses its deepest sympathy to his family, his friends and his
colleagues.








2) CiE 2014: Language, Life, Limits - Grants, and Call for Presentations




-------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
-------------------------------------------------------------------


------------------------------------------------------
FUNDING DEADLINES
- ASL STUDENT TRAVEL GRANTS: 23 March 2014
- WOMAN IN COMPUTING GRANTS: 1 April 2014
- EACTS STUDENT GRANTS: 1 April 2014
------------------------------------------------------


CALL FOR INFORMAL PRESENTATIONS

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, also 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:

APRIL 14, 2014

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 or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might need =
us to confirm that your are going to give a presentation at CiE 2014 =
(applications of students who are presenting get higher priority). =
Therefore, we would like to ask you to submit your informal =
presentations by 20 March so that we can send you the notification =
before the ASL deadline of 23 March 2014.


GRANTS:

Grants for students, members of the ASL:

The Association for Symbolic Logic to sponsor some students that are ASL members and willing to attend =
CiE2014. The eligible students may apply for ASL travel funds that are =
available for sponsored meetings, see =
http://www.aslonline.org/studenttravelawards.html for detailed =
instructions on the application process. Applications should be received =
at least three months prior to the conference.

Elsevier

Under the name Elsevier Women in Computability (WiC), the publisher =
Elsevier (more precisely, the journals 'Annals of Pure and Applied =
Logic' and 'Theoretical Computer Science') is continuing the programme =
'Increasing representation of female researchers in the computability =
community' originally funded by the Elsevier Foundation (2008-2010).

This programme will fund the WiC workshop at CiE 2014, with the =
traditional WiC dinner for workshop participants afterwards, and offer =
up to four grants with modest support (up to 200 EUR) for junior female =
researchers to attend CiE 2014. Every registered junior female =
researcher is eligible to apply. Preference will be given to researchers =
who present a paper (contributed paper or informal talk).

Applications should contain a short CV (max 1 page) and contact =
information for an academic reference. The application should be sent to =
Liesbeth De Mol before the deadline of April =
1, 2014.

EACTS Students

The European Association for Theoretical Computer Science is providing =
limited funds for student participation. Again, preference is given to =
student presenting at the conference. Please contact the PC chairs if =
you are interested before the deadline of April 1, 2014.








3) CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014 (fwd)


_____________________________________________________________

First Call for Papers

COLLOQUIUM LOGICUM 2014
http://cca-net.de/cl2014/

4-6 September 2014, Munich, Germany

Submission deadline: June 16, 2014
______________________________________________________________


The Colloquium Logicum is organized every two years by the "Deutsche
Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der =
Exakten
Wissenschaften" (DVMLG).

In 2014 the colloquium is organized by the Theoretical Computer Science =
&
Mathematical Logic group of the Universit=E4t der Bundeswehr M=FCnchen =
in
Neubiberg, in the vicinity of Munich, Germany.

The conference will cover the whole range of mathematical logic and the
foundations of the exact sciences, in particular, logic in philosophy, =
computer
science and artificial intelligence.

Keynote Speakers.

* Matthias Aschenbrenner (Los Angeles, USA)
* Manuel Bodirsky (Palaiseau, France)
* Stefania Centrone (Oldenburg, Germany)
* Victoria Gitman (New York, USA)
* Fairouz Kamareddine (Edinburgh, Scotland)
* Anca Muscholl (Bordeaux, France)
* Olivier Roy (Bayreuth, Germany)
* Daniel Turetsky (Vienna, Austria)

In addition to the keynote talks, there will be a "PhD Colloquium" with =
invited
presentations of excellent recent PhD graduates.

The programme committee invites the submission of abstracts of papers of =
all
fields of research covered by the DVMLG: mathematical logic and the =
foundations
of the exact sciences (including logic in philosophy, computer science =
and
artificial intelligence).

Abstracts should have between 100 and 500 words and are to be submitted =
via the
easychair submission page

* https://www.easychair.org/conferences/?conf=3Dcl2014

The submission deadline is

* Monday, June 16, 2014.

Authors of papers will be notified about acceptance soon after that.

Programme Committee

* Vasco Brattka (Munich, Germany and Cape Town, South Africa)
* Anuj Dawar (Cambridge, UK)
* Liesbeth De Mol (Gent, Belgium)
* Rosalie Iemhoff (Utrecht, The Netherlands)
* Hannes Leitgeb (Munich, Germany)
* Benedikt L=F6we (Hamburg, Germany and Amsterdam, The Netherlands, =
Chair)
* Andr=E9 Nies (Auckland, New Zealand)
* Katrin Tent (M=FCnster, Germany)

Webpage

* http://cca-net.de/cl2014/

The Colloquium Logicum 2014 is generously funded by the Deutsche
Forschungsgemeinschaft (LO 834/11-1).=





4) TCS 2014 cfp





TCS 2014
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/

Held in conjunction with the 25th Conference on Concurrency Theory =
(CONCUR 2014)

We apologize if you receive multiple copies of this message.


AIM AND SCOPE OF THE CONFERENCE:

Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:

Track A: Algorithms, Complexity and Models of Computation

Track B: Logic, Semantics, Specification and Verification


TOPICS:

Suggested, but not exclusive, topics of interest include:

Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.

Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.


INVITED SPEAKERS:
Track A - Giuseppe F. Italiano Universit=E0 di Roma Tor Vergata
Track B - Jane Hillstone University of Edinburgh


SUBMISSION GUIDELINES:

Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.

PROCEEDINGS:

The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.


IMPORTANT DATES:

Deadline for submission: April 27, 2014.
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.


STEERING COMMITTEE:

- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech


CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma


PROGRAM COMMITTEES:

Track A

- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich

Track B

- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1







5) DLT 2014 2nd CfP: Invited speakers, Special Session to honor Arto Salomaa, Satellite Event, Deadline Extension





Second Call for Papers -- DLT 2014

================================================================

SUBMISSIONS DEADLINE EXTENDED: MARCH 24, 2014
================================================================

================================================================
18th International Conference on Developments in Language Theory
Ural Federal University, Ekaterinburg, Russia
August 26-29, 2014
http://dlt2014.sciencesconf.org/
================================================================
The 18th International Conference on Developments in Language Theory
(DLT 2014) will take place at Ural Federal University, Ekaterinburg,
Russia, on August 26-29, 2014 under the auspices of the European
Association for Theoretical Computer Science (EATCS)
Arto Salomaa, the co-founder of the DLT series and one of the major
contributors to the area as a whole, celebrates his 80th birthday
in June 2014. DLT 2014 plans a special session in Arto's honor.
The opening lecture of the session surveying Arto's achievements
will be delivered by Juhani Karhumaki (University of Turku, Finland).

TOPICS
Typical topics include, but are not limited to, grammars, acceptors and
transducers for words, trees and graphs, algebraic theories of automata;
algorithmic, combinatorial and algebraic properties of words and languages;
variable length codes; symbolic dynamics; cellular automata; polyominoes
and multidimensional patterns; decidability questions; image manipulation
and compression; efficient text algorithms; relationships to cryptography,
concurrency, complexity theory and logic; bio-inspired computing; quantum
computing.
IMPORTANT DATES
Paper submission: *******March 24th, 2014******* (Extended deadline)
Notification: April 28th, 2014
Final version: May 12th, 2014
Conference: August 26-29, 2014

SUBMISSIONS
Authors are invited to submit papers presenting original and unpublished
research. The proceedings will be published in the Springer-Verlag Lecture
Notes in Computer Science (LNCS) Series. Simultaneous submission to journals
or other conferences with published proceedings is not allowed.
Submitted papers should not exceed 12 pages and should follow the LNCS-style
LaTeX2e (available athttp://www.springer.de/comp/lncs/authors.html). All
proofs omitted due to space constraints should be given in an appendix or
made accessible through a reliable link to a freely available electronic
preprint. Papers should be submitted electronically in PDF through the
EasyChair system:
http://www.easychair.org/conferences/?conf=dlt20140

INVITED SPEAKERS
Yuri Gurevich (Microsoft Research, Redmond, USA)
Martin Kutrib (Universitat Giessen, Germany)
Kai Salomaa (Queen's University, Kingston, Canada)
Pascal Weil (Universite Bordeaux I, France)

PROGRAM COMMITTEE
Jorge Almeida, Universidade do Porto, Portugal
Marie-Pierre Beal, Universite Paris-Est, France
Olivier Carton, Universite Paris Diderot, France
Vesa Halava, University of Turku, Finland
Yo-Sub Han Yonsei University, Korea
Oscar Ibarra University of California Santa Barbara, USA,
Markus Lohrey, Universit"at Siegen, Germany
Dirk Nowotka, Universit"at Kiel, Germany
Giovanni Pighizzini, Universita degli Studi di Milano, Italy
Igor Potapov, University of Liverpool, UK
Elena Pribavkina, Ural Federal University, Russia
Michel Rigo, Universite de Liege, Belgium
Marinella Sciortino, Universita degli Studi di Palermo, Italy
Jeffrey Shallit, University of Waterloo, Canada
Arseny Shur (co-chair), Ural Federal University, Russia
Mikhail Volkov (co-chair), Ural Federal University, Russia
Hsu-Chun Yen, National Taiwan University, Taiwan

SATELLITE EVENT
CSEDays. Theory 2014: Computer Science Days in Ekaterinburg
This is a summer school for advanced graduate and PhD students in
mathematics,
computer science and software ingeneering, as well as young researchers and
developers from industry. The main objective of the CSEdays is to expose
the students in computer science and related disciplines to the research
topics usually not covered within the regular university curricula.
The topic of the 2014's edition is "Strings, Languages, and Automata".

INVITED LECTURERS:
Mario Guarracino (High Perfomance Computing and Networking Institute, Italy)
Gregory Kucherov (University Paris-Est Marne-la-Vallee, France)
Andreas Maletti (University of Stuttgart)
Narad Rampersad (University of Winnipeg, Canada)
Further information about the school is on the website http://www.csedays.ru/

FURTHER INFORMATION AND CONTACTS
Web: http://dlt2014.sciencesconf.org/
E-mail: dlt2014@sciencesconf.org








6) ACA 2014



CALL FOR PAPERS ACA = 2014

 ACA 2014

 Third International Workshop = on

Asynchronous Cellular Automata and = Asynchronous Discrete Models

 at 11th International Conference on Cellular Automata for = Research and Industry (ACRI 2014)

 http://acri= 2014.agh.edu.pl/doku.php?id=3Daca

 http://acri2014.agh.edu.pl

 Krakow, Poland, September = 22-25, 2014

ORGANIZER

 AGH University of Science and Technology in = Krakow

AIMS = and SCOPE

 Cellular Automata are a = well-known formal tool for modeling complex systems; they are found in = many scientific fields and industrial applications. Synchronous updating = is one of the main features of Cellular Automata. Indeed, in the most = common Cellular Automata framework, all cells are updated simultaneously = at each discrete time step.

 Recent trends consider the = modeling of asynchronous systems based on local interactions. The aim of = this workshop is to bring together researchers dealing with the theme of = the asynchrony inside Cellular Automata and other Discrete Models such = as discrete Multi-Agents Systems, Boolean Networks, and so on, in order = to foster their interaction and to provide a forum for presenting new = ideas and works in progress on the subject.

 Topics include, but are not = limited to the following aspects of Asynchronous Cellular Automata and = Asynchronous Discrete Models (such as Multi-Agents Systems, Boolean = Networks and so on):

 - = dynamics

- complexity issues

- computational = issues

- emergent properties

- models of parallelism and = distributed systems

- = models of phenomena from biology, chemistry, physics, engineering and = other fields

 Contributions of both theoretical and applicative = interest are welcome.

 PROGRAM COMMITTEE

 Alberto Dennunzio (Universita' degli Studi di Milano - = Bicocca, Italy) co-chair

Nazim = Fat=C3=A8s (Inria Nancy - Loria, France)

Enrico Formenti (Nice Sophia = Antipolis University, France) co-chair

Eric Goles (Universidad  = Adolfo Ib=C3=A1=C3=B1ez, Chile)

Jia Lee = (Chongqing University, China)

Ferdinand Peper (National Institute of Information and = Communications Technology, Japan)

Adrien = Richard (CNRS and Nice Sophia Antipolis University, France)

Hiroshi Umeo (University of Osaka = Electro-Communication - Japan)

Thomas = Worsch (University of Karlsruhe, Germany) co-chair

*SUBMISSIONS AND = PUBLICATION*

 Authors are invited to = submit papers according to two contribution categories -- full and short = papers -- meant  to provide a differentiation of the papers in = terms of their length, depth and/or maturity. Papers must comply with = the Springer-Verlag format and the maximum length of 5 and 10 pages for = short and full contributions, respectively.

Details on the electronic = submission procedure will be provided through the website

" = target=3D"_blank" = data-mce-href=3D"http://acri2014.agh.edu.pl">http://acri2014.agh.edu.pl

 Accepted papers will be = published by Springer-Verlag in the Lecture Notes in Computer Science = (LNCS) series.

 

*SPECIAL ISSUE*

 Selected papers will be = considered for publication in a Special issue of the  international = journal Natural Computing (NaCo).

They will contain refereed = extended/improved versions of selected papers presented at ACA = workshop.

 

IMPORTANT DATES:

 Paper submission: April 15, = 2014

Notification of paper acceptance or rejection: May 14, = 2014

Final version of = the paper for the proceedings: June 8, = 2014



=




7) CCA 2014 CfP: Special Session on Implementation of Exact Real Number Arithmetic




______________________________________________________________

Special Session on Implementation of Exact Real Number Arithmetic

during the

Eleventh International Conference on=20
Computability and Complexity in Analysis (CCA 2014)
http://cca-net.de/cca2014/

21-24 July 2014, Darmstadt, Germany

Submission deadline: April 7, 2014=20
______________________________________________________________

The scientific field of "Computable Analysis" gives a solid theoretical=20=

foundation to numerical mathematics. However, there is still a big gap =
between=20
these theoretical results and practical applications thereof.

In a special session during CCA 2014, we want to bring together =
scientists=20
that work on realizing computable analysis. This includes, but is not=20
restricted to:

* software packages for "exact real computation"
* aspects of computational complexity and of efficiency in =
implementations
* novel algorithms for applications using exact real arithmetic=20
* comparisions of exact real arithmetic with double/multiple precision=20=

algorithms

Submissions

Scientists working in these areas are invited to submit 1-2 pages =
abstracts=20
in PDF format, including references via the original web page of the CCA =
2014=20
conference:

https://www.easychair.org/conferences/?conf=3Dcca20140=20

If full versions of papers are already available as technical report=20
or arXiv version, then corresponding links should be added to the=20
reference list. Final versions of abstracts might be distributed to=20
participants in hardcopy and/or in electronic form.=20


Invited Speakers of CCA 2014

* Matthew de Brecht (Osaka, Japan)
* Mart=EDn Escard=F3 (Birmingham, UK)=20
* Johanna Franklin (Storrs, USA)=20
* Timothy McNicholl (Ames, USA)
* Alexander Melnikov (Singapore)
* Arno Pauly (Cambridge, UK)=20


Scientific Programme Committee

* Vasco Brattka, chair (Munich, Germany and Cape Town, South Africa)
* Mathieu Hoyrup (Nancy, France)
* Zvonko Iljazovic (Zagreb, Croatia)
* Joseph S. Miller (Madison, USA)
* Takayuki Kihara (JAIST, Japan)
* Ulrich Kohlenbach (Darmstadt, Germany)
* Elvira Mayordomo (Zaragoza, Spain)
* Norbert M=FCller (Trier, Germany)
* Daniel Roy (Cambridge, UK)=20


Organising Committee

* Ulrike Brandt (Darmstadt, Germany)
* Vassilis Gregoriades (Darmstadt, Germany)
* Martin Ziegler, chair (Darmstadt, Germany)=20


Special Session on Implementation of Exact Real Number Arithmetic

Organised by Norbert M=FCller (Trier, Germany)


Dates

* Submission deadline: April 7, 2014
* Notification of authors: May 12, 2014
* Final version: June 2, 2014=20


Conference Web Page

http://cca-net.de/cca2014/

______________________________________________________________








8) MFCS 2014: Mathematical Foundations of Computer Science, Budapest (Hungary), 25-29 Aug 2014





2nd Call for Papers
39th International Symposium on
Mathematical Foundations of Computer Science
MFCS 2014

Budapest, August 25--29, 2014
www.inf.u-szeged.hu/mfcs2014

*Announcement*
The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS conferences 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.

*Topics*
Principal topics of interest include (but are not limited to):
algorithms and data structures (incl. sequential, parallel,
distributed, randomized, approximation, graph, network, on-line,
parameterized, optimization algorithms),
algorithmic game theory,
algorithmic learning theory,
computational complexity (structural and model-related),
computational geometry,
models of computation,
networks (incl. wireless, sensor, ad-hoc networks),
parallel and distributed computing,
quantum computing,
automata, grammars and formal languages,
combinatorics on words, trees, and other structures,
bioinformatics,
computer-assisted reasoning,
concurrency theory,
cryptography and security,
databases and knowledge-based systems,
formal specifications and program development,
foundations of computing,
logic, algebra and categories in computer science,
types in computer science,
mobile computing,
semantics and verification of programs,
theoretical issues in artificial intelligence.

*Invited Speakers*
Krishnendu Chatterjee (IST Austria, Klosterneuburg, Austria),
Achim Jung (U. of Birmingham, UK),
D\'aniel Marx (Hungarian Academy of Sciences, Budapest, Hungary),
Peter Bro Miltersen (Aarhus U., Denmark),
Cyril Nicaud (U. Paris-Est, Marne-la-Vall\'ee, France),
Alexander Sherstov (UCLA, Los Angeles, USA),
Christian Sohler (TU Dortmund, Germany).

*Program Committee*
Albert Atserias (UPC, Barcelona, Spain),
Giorgio Ausiello (U. ``La Sapienza'', Rome, Italy),
Jos Baeten (CWI, Amsterdam, The Netherlands),
Therese Biedl (U. of Waterloo, Canada),
Miko\laj Boja\'nczyk (Warsaw U., Poland),
Gerth St\olting Brodal (Aarhus U., Denmark),
Christian Choffrut (U. Paris Diderot, France),
Erzs\'ebet Csuhaj-Varj\'u (E\"otv\"os Lor\'and U., Budapest, Hungary,
co-chair),
Rocco De Nicola (IMT Lucca, Italy),
Martin Dietzfelbinger (TU Ilmenau, Germany, co-chair),
Manfred Droste (U. of Leipzig, Germany),
Robert Els\"asser (U. Salzburg, Austria),
Zolt\'an \'Esik (U. of Szeged, Hungary, chair),
Uli Fahrenberg (Irisa/INRIA Rennes, France),
Fedor V. Fomin (U. of Bergen, Norway),
Fabio Gadducci (U. of Pisa, Italy),
Anna G\'al (U. of Texas, Austin, USA),
Dora Giammarresi (U. ``Tor Vergata'', Rome, Italy),
Roberto Grossi (U. of Pisa, Italy),
Anupam Gupta (CMU, Pittsburgh, USA),
Michel Habib (U. Paris Diderot, France),
Kristoffer Arnsfelt Hansen (Aarhus U., Denmark),
Edith Hemaspaandra (RIT, Rochester, USA),
Kazuo Iwama (Kyoto U., Japan),
Yoshihiko Kakutani (U. of Tokyo, Japan),
Juhani Karhum\"aki (U. of Turku, Finland),
Bakhadyr Khoussainov (U. of Auckland, New Zealand),
Elias Koutsoupias (U. of Oxford, UK),
Rastislav Kr\'alovi\v c (Comenius U., Bratislava, Slovakia),
Jan Kratochvil (Charles U., Prague, Czech Republic),
Stefan Kratsch (TU Berlin, Germany),
Amit Kumar (IIT, New Delhi, India),
Kim G. Larsen (Aalborg U., Denmark),
Fr\'ed\'eric Magniez (U. Paris Diderot, Paris, France),
Ralph Matthes (U. Paul Sabatier, Toulouse, France),
Madhavan Mukund (CMI, Chennai, India),
Jean-\'Eric Pin (LIAFA, U. Paris Diderot, and CNRS, Paris, France),
Alexander Rabinovich (Tel Aviv U., Israel),
Peter Rossmanith (RWTH Aachen U., Germany),
Jan Rutten (CWI, Amsterdam, and Radboud U. Nijmegen, The Netherlands),
Wojciech Rytter (Warsaw U., Poland),
Luigi Santocanale (Aix-Marseille U., France),
Christian Scheideler (U. of Paderborn, Germany),
Thomas Schwentick (TU Dortmund, Germany),
Alex Simpson (U. of Edinburgh, UK),
Mohit Singh (Microsoft Research, Redmond, USA),
Klaus Sutner (CMU, Pittsburgh, USA),
G\'abor Tardos (Hungarian Academy of Sciences, Budapest, Hungary),
Gy\"orgy Tur\'an (U. of Illinois, Chicago, USA),
Peter Widmayer (ETH Zurich, Switzerland),
Philipp Woelfel (U. of Calgary, Canada).


*Important dates*
Paper submission deadline: *April 18, 2014.*
Author notification: *June 3, 2014.*
Camera-ready deadline: *June 16, 2014.*
Conference: *August 25--29, 2014.*

*Submission guidelines*
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 simultaneous or previous submission of the
same contribution to journals is not allowed. Only electronic
submissions
in PDF format are accepted.
Information about the submission procedure is available on the
conference web page. The proceedings will be published in the
*ARCoSS subline of Lecture Notes in Computer Science by
Springer-Verlag*.
It is planned to have a special issue of*Information and Computation*
to which journal versions of the best papers are invited.

*Contact*
Zolt\'an \'Esik: ze@inf.u-szeged.hu or
Erzs\'ebet Csuhaj-Varj\'u: csuhaj@inf.elte.hu or
Martin Dietzfelbinger: martin.dietzfelbinger@tu-ilmenau.de

The conference is organized by the Faculty of Informatics,
E\"otv\"os Lor\'and University, Budapest,
and the Department of Foundations of Computer Science,
Faculty of Science and Informatics, University of Szeged,
in cooperation with EATCS.







9) STACS'14 Proceedings published open access (LIPIcs, Vol.25)



=3D Book Announcement =3D

Title: 31st International Symposium on Theoretical Aspects of Computer =
Science (STACS'14)
Editors: Ernst W. Mayr, Natacha Portier
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 25
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-65-1

=3D=3D Access =3D=3D

Open access (online & free of charge) at

http://www.dagstuhl.de/dagpub/978-3-939897-65-1

You may also check the dblp page at

http://www.dblp.org/db/conf/stacs/stacs2014.html

=3D=3D About the Proceedings =3D=3D

The Symposium on Theoretical Aspects of Computer Science (STACS)
conference series is an international forum for original research on
theoretical aspects of computer science. This year=92s conference =
(taking
place March 5=968 in Lyon) is the 31st in the series.
The interest in STACS has remained at a high level over the past years.
The STACS 2014 call for papers led to 210 submissions with authors from
35 countries. Each paper was assigned to three program committee
members who, at their discretion, asked external reviewers for reports.
The committee selected 54 papers during a three-week electronic meeting
held in November/December. As co-chairs of the program committee, we
would like to sincerely thank all its members and the many external
referees for their valuable work. In particular, there were intense and
interesting discussions. The overall very high quality of the
submissions made the selection a difficult task.

See also:
* Frontmatter incl. table of contents and preface: =
http://dx.doi.org/10.4230/LIPIcs.STACS.2014.i
* http://stacs2014.sciencesconf.org/

=3D=3D About the STACS Symposium =3D=3D

The "Symposium on Theoretical Aspects of Computer Science" (STACS) takes
place each year since 1984, alternately in Germany and France. Typical
topics of the conference include:
* algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms
* automata and formal languages, games
* computational complexity, parameterized complexity, randomness in
computation
* logic in computer science, including: semantics, specification and
verification, rewriting and deduction
* current challenges, for example: natural computing, quantum
computing, mobile and net computing

See also:
* http://www.stacs-conf.org/

=3D=3D About the LIPIcs Series =3D=3D

"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge for
the reader.

See also:
* http://www.dagstuhl.de/lipics/








10) Call for Nominations: E W Beth Prize, Deadline: 5 May 2014



E. W. Beth Dissertation Prize: 2014 call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information, =
http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to =
outstanding dissertations in the fields of Logic, Language, and =
Information. We invite submissions for the best dissertation which =
resulted in a Ph.D. degree awarded in 2013. The dissertations will be =
judged on technical depth and strength, originality, and impact made in =
at least two of three fields of Logic, Language, and Computation. =
Interdisciplinarity is an important feature of the theses competing for =
the E.W. Beth Dissertation Prize.

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree =
in the areas of Logic, Language, or Information between January 1st, =
2013 and December 31st, 2013. Theses must be written in English; =
however, the Committee accepts submissions of English translations of =
theses originally written in other languages, and for which a PhD was =
awarded in the preceding two years (i.e. between January 1st, 2011 and =
December 31st, 2012). There is no restriction on the nationality of the =
candidate or on the university where the Ph.D. was granted.

Prize.

The prize consists of:

-a certificate

-a donation of 2500 euros provided by the E.W. Beth Foundation

-an invitation to submit the thesis (or a revised version of it) to the =
FoLLI Publications on Logic, Language and Information (Springer). For =
further information on this series see the FoLLI site.

How to submit.

Only electronic submissions are accepted. The following documents are =
required:

1. The thesis in pdf format (ps/doc/rtf not accepted).

2. A ten-page abstract of the dissertation in pdf format.

3. A letter of nomination from the thesis supervisor. Self-nominations =
are not admitted: each nomination must be sponsored by the thesis =
supervisor. The letter of nomination should concisely describe the scope =
and significance of the dissertation and state when the degree was =
officially awarded.

4. Two additional letters of support, including at least one letter from =
a referee not affiliated with the academic institution that awarded the =
Ph.D. degree.

All documents must be submitted electronically (preferably as a zip =
file) to Ian Pratt-Hartmann (ipratt@cs.man.ac.uk). Hard copy submissions =
are not allowed. In case of any problems with the email submission or a =
lack of notification within three working days, nominators should write =
to Ian Pratt-Hartmann.

Important dates:

Deadline for Submissions: May 5th, 2014. Notification of Decision: July =
14th, 2014.

Committee :


Julian Bradfield (Edinburgh)

Wojciech Buszkowski (Poznan)

Michael Kaminski (Haifa)

Marco Kuhlmann (Linkoping)

Larry Moss (Bloomington)

Ian Pratt-Hartmann (chair) (Manchester)

Ruy de Queiroz (Recife)

Giovanni Sambin (Padua)

Rob van der Sandt (Nijmegen)

Rineke Verbrugge (Groningen)









11) CfP special issue of Mind & Machines on "Algorithmic Randomness", Deadline: 31 May 2014




> Minds and Machines is pleased to invite extended abstracts for =
?Algorithmic Randomness: Mathematical Progress and Philosophical =
Promise,? a special issue edited by Christopher Porter of Universit=E9 =
Paris 7.

> Over roughly the past fifteen years, research in the subject of =
algorithmic randomness has flourished. Despite the many developments in =
the theory of algorithmic randomness over this period of time, there has =
been little reflection on the philosophical significance of these =
developments. One plausible reason for this gap in the philosophical =
literature is the highly technical nature of work on algorithmic =
randomness.

> The focus of the special issue is two-fold: (1) to provide an =
accessible point of entry into recent developments in algorithmic =
randomness, and (2) to provide a forum for philosophical reflection on =
these developments. The editor invites articles on topics in the theory =
of algorithmic randomness that illustrate the various roles that =
algorithmic randomness plays in computational, statistical, and =
mathematical practice, as well as submissions addressing various issues =
in the philosophy of algorithmic randomness. The editor especially =
encourages submissions concerned with (i) whether and to what extent the =
theory of algorithmic randomness provides insight into the concept of =
randomness, (ii) the relationship between randomness and computation, =
and (iii) the ways in which algorithmic randomness illuminates various =
uses of randomness in classical mathematics.
>=20
> Anyone interested in contributing to the special issue must submit an =
extended abstract of one to three pages by May 31, 2014. The abstract =
is a proposal for a full paper the author thereby agrees to submit by =
January 31, 2015 if his or her proposal has been approved by the editor =
of the special issue. Each full paper will thereupon undergo peer =
review.

> A primary goal of the special issue is to open new interdisciplinary =
avenues for discussion of the significance of algorithmic randomness, =
potentially bringing mathematicians, computer scientists, statisticians, =
and philosophers of mathematics / computer science / science together in =
dialogue.
>=20
> Deadline for extended abstracts: May 31, 2014.
>=20
> To submit an extended abstract, follow the instructions at the website =
for submissions:

> www.editorialmanager.com/mind
>=20
> When prompted to choose an article type, select ?SI: Algorithmic =
Randomness.?
>=20
> Inquiries may be directed to:
>=20
> cp@cpporter.com
>=20
> Guest Editor: Christopher P. Porter






12) CSR 2014: Call for Participation



Dear Colleagues,

Please find below the Call for Participation for CSR-2014.

If you need a visa to come to Russia (most nationalities do need it!),
please register and ask for the official invitation *NOW*=20
to be on time with the official papers.
It is recommended to do it before March 15.
In any case, please do it before the early registration deadline March =
31.

The preliminary program can be now found at
http://logic.pdmi.ras.ru/csr2014/program

A limited number of travel grants is available (with preference to
students and authors of accepted papers).

Best regards,
Jean-Eric Pin (program committee chair)
Edward A. Hirsch, Sergei O. Kuznetsov, Nikolay K. Vereshchagin =
(symposium co-chairs)

%%%

LAST CALL FOR PARTICIPATION - CSR 2014

9th International Computer Science Symposium in Russia
June 7-11, 2014, Moscow, Russia
Workshops on June 5, 6 and 12

http://logic.pdmi.ras.ru/csr2014/

*** PLEASE REGISTER AS SOON AS POSSIBLE ***

The conference program features

* Distinguished opening lecture:
- Shafi Goldwasser. Title TBA.

* Six invited talks:
- Benjamin Rossman. Formulas vs. Circuits
- Volker Diekert. Finding All Solutions of Equations=20
in Free Groups and Monoids with Involution
- Alexei Semenov. The Lattice of Definability.=20
Origins, Recent Developments, and Further Direction
- Igor Walukiewicz. Transfer theorems
- Martin Grohe. Algorithmic Meta Theorems for Sparse Graph Classes
- Mark Braverman. Title TBA

* 27 contributed talks (see the conference program)
that have been selected out of 76 submissions.

* Four associated workshops:
- Workshop on Current Trends in Cryptology (CTCrypt)
(organizer: Technical committee on standardization=20
"Cryptography and security mechanisms" (TC26))
http://www.tc26.ru/en/CTCryptEN/CTCrypt2014/
- Extremal graph theory
(organizer: Andrei Raigorodsky)
http://logic.pdmi.ras.ru/csr2014/extremalgraphtheory
- New directions in cryptography
(organizers: A.V.Mikhalev, A.A.Mikhalev, S.Glavatsky, D.Grigoriev, and =
V.Shpilrain)
http://ndc14.ru/
- Program Semantics, Specification and Verification (PSSV 2014)
(organizers: V.A.Sokolov and V.A.Nepomnyaschij)
(see the conference web page)

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2014
Email: csr2014 "at" googlegroups.com






13) EASLLC 2014: East-Asian School on Logic, Language and Computation, Beijing (China), 2-8 Jul 2014




*the Third East-Asian School on Logic, Language and Computation (EASLLC =
2014)*

The Third East-Asian School on Logic, Language and Computation (EASLLC =
2014) will take place at Tsinghua University, China on July 2-8, 2014. =
The event will start with an international workshop ?Current Trends in =
Logic? on July 2, continue with the school on July 3-8. The program of =
the School will consist of six courses on logic in its interdisciplinary =
width. The courses cover logic, philosophy, computer science, and =
linguistics, with an emphasis on interaction between fields. There will =
be two plenary evening talks for a wider audience.

In addition, there will be student sessions in the late afternoon/early =
evening. The student session is a forum for students at all levels =
(Bachelor, Master or PhD) to present original research to the audience. =
We plan a "mentoring" program in which selected students will be =
assigned to one of the lecturers for informal interaction and =
research/career discussions.

We invite submissions of abstracts of original, unpublished papers from =
students in the area of logic, language and computation. Submissions =
will be reviewed by several experts in the field. Authors of accepted =
papers will be invited to present in the student session, and a selected =
number of them will be provided with free reasonable accommodation.



*Instruction for Authors:*

Students are invited to submit an abstract of maximum 5 pages on any =
topic in logic, language and computation. The abstract should be written =
in properly readable English, and must be in PDF format that is to be =
submitted using our EasyChair =
website.




*Important Dates:*

*April 1, 2014* - deadline for short abstracts of papers (at most 5 =
pages)

*April 20, 2014* - notification date of acceptance/rejection of the =
papers



*SCHOOL COURSES*

6 different courses will be offered, covering logic, philosophy, =
computer
science, and linguistics, with an emphasis on the interaction between =
those
fields. Course title, reading materials, and the final schedule will =
come
soon.



=A7 Logic and Quantum Information: Samson Abramsky (Oxford University),

=A7 Logic and Computation: Phokion Kolaitis (UC Santa Cruz)

=A7 Logic and Language: Larry Moss (Indiana University)

=A7 Formal Philosophy: Wesley Holliday (UC Berkeley)

=A7 Philosophical Logic: Alexandru Baltag and Sonja Smets (The =
University of
Amsterdam)

=A7 Mathematical Logic: Jouko V=E4=E4n=E4nen (The University of =
Helsinki and
University of Amsterdam)



*Program Committee*

*Chairs*: Samson Abramsky (Oxford University)

Andrew Yao (Tsinghua University)

*Committee*

=A7 Johan van Benthem (The University of Amsterdam and Stanford =
University)

=A7 Yijia Chen (Shanghai Jiaotong University)

=A7 Phan Minh Dung (Asian Institute of Technology, Thailand)

=A7 Xinyu Feng (University of Science and Technology of China, Hefei)

=A7 Xiangdong He (South west University, Chongqing)

=A7 Huaxin Huang (Zhejiang University, Hangzhou)

=A7 Yi Jiang (Beijing Normal University)

=A7 Shier Ju (Sun Yat-sen University, Guangzhou)

=A7 Fangzhen Lin (Hong Kong University of Science and Technology)

=A7 Hiroakira Ono (Japan Advanced Institute of Science and Technology)

=A7 Jeremy Seligman (The University of Auckland)

=A7 Xiaoming Ren (Nankai University, Tianjin)

=A7 Kaile Su (Griffith University, Australia)

=A7 Cong Tian (Xidian University, Xi?an)

=A7 Lu Wang (Tsinghua University, Beijing)

=A7 Wen-Fang Wang (Yang-Ming University, Taipei)

=A7 Tomoyuki Yamada (Hokkaido University, Japan)

=A7 Yue Yang (Singapore National University, Singapore)

=A7 Chin-mu Yang (National Taiwan University, Taipei)

=A7 Wujin Yang (Renmin University, Beijing)

=A7 Naijun Zhan (The Chinese Academy of Science, Beijing)

=A7 Jianjun Zhang (Nanjing University, Nanjing)

=A7 Beihai Zhou (Peking University, Beijing)

=A7 Chongli Zou (Chinese Academy of Social Sciences, Beijing)

*Organizing Committee*

=A7 Fenrong Liu (Chair, Tsinghua University)

=A7 Jiahong Guo (Beijing Normal University)

=A7 Fengkui Ju (Beijing Normal University)

=A7 Pingzhong Tang (Tsinghua University)

=A7 Yanjing Wang (Peking University)

*Student Program Organizers*

=A7 Chairs: Junhua Yu (The Graduate Center, CUNY)

Chanjuan Liu (Peking University)

*Organizing Institutions*

=A7 Tsinghua University

=A7 Beijing Normal University

=A7 Association for Logicians in Beijing

=A7 The University of Amsterdam

School website:
=
www.tsinghualogic.net/events/2014/easllc mer%20school/school/www.tsinghualogic.net/events/2014/easllc>

For any questions, please contact easllc2014@gmail.com







14) CCA 2014 CfP: Special Session on Implementation of Exact Real Number Arithmetic


>=20
> ______________________________________________________________
>=20
> Special Session on Implementation of Exact Real Number Arithmetic
>=20
> during the
>=20
> Eleventh International Conference on=20
> Computability and Complexity in Analysis (CCA 2014)
> http://cca-net.de/cca2014/
>=20
> 21-24 July 2014, Darmstadt, Germany
>=20
> Submission deadline: April 7, 2014=20
> ______________________________________________________________
>=20
> The scientific field of "Computable Analysis" gives a solid =
theoretical=20
> foundation to numerical mathematics. However, there is still a big gap =
between=20
> these theoretical results and practical applications thereof.
>=20
> In a special session during CCA 2014, we want to bring together =
scientists=20
> that work on realizing computable analysis. This includes, but is not=20=

> restricted to:
>=20
> * software packages for "exact real computation"
> * aspects of computational complexity and of efficiency in =
implementations
> * novel algorithms for applications using exact real arithmetic=20
> * comparisions of exact real arithmetic with double/multiple =
precision=20
> algorithms
>=20
> Submissions
>=20
> Scientists working in these areas are invited to submit 1-2 pages =
abstracts=20
> in PDF format, including references via the original web page of the =
CCA 2014=20
> conference:
>=20
> https://www.easychair.org/conferences/?conf=3Dcca20140=20
>=20
> If full versions of papers are already available as technical report=20=

> or arXiv version, then corresponding links should be added to the=20
> reference list. Final versions of abstracts might be distributed to=20
> participants in hardcopy and/or in electronic form.=20
>=20
>=20
> Invited Speakers of CCA 2014
>=20
> * Matthew de Brecht (Osaka, Japan)
> * Mart=EDn Escard=F3 (Birmingham, UK)=20
> * Johanna Franklin (Storrs, USA)=20
> * Timothy McNicholl (Ames, USA)
> * Alexander Melnikov (Singapore)
> * Arno Pauly (Cambridge, UK)=20
>=20
>=20
> Scientific Programme Committee
>=20
> * Vasco Brattka, chair (Munich, Germany and Cape Town, South =
Africa)
> * Mathieu Hoyrup (Nancy, France)
> * Zvonko Iljazovic (Zagreb, Croatia)
> * Joseph S. Miller (Madison, USA)
> * Takayuki Kihara (JAIST, Japan)
> * Ulrich Kohlenbach (Darmstadt, Germany)
> * Elvira Mayordomo (Zaragoza, Spain)
> * Norbert M=FCller (Trier, Germany)
> * Daniel Roy (Cambridge, UK)=20
>=20
>=20
> Organising Committee
>=20
> * Ulrike Brandt (Darmstadt, Germany)
> * Vassilis Gregoriades (Darmstadt, Germany)
> * Martin Ziegler, chair (Darmstadt, Germany)=20
>=20
>=20
> Special Session on Implementation of Exact Real Number Arithmetic
>=20
> Organised by Norbert M=FCller (Trier, Germany)
>=20
>=20
> Dates
>=20
> * Submission deadline: April 7, 2014
> * Notification of authors: May 12, 2014
> * Final version: June 2, 2014=20
>=20
>=20
> Conference Web Page
>=20
> http://cca-net.de/cca2014/
>=20
> ______________________________________________________________
>=20






15) 2nd CfP: Non-Classical Models of Automata and Applications (NCMA 2014)





6-th International Workshop on=20
``Non-Classical Models of Automata and Applications''
(NCMA 2014)

July 28 - 29, 2014, in Kassel, Germany

Call for Papers:

Research papers are invited that contain original contributions on non-
classical models of automata and applications and related subjects. Many=20=

non-classical models of automata and grammar-like structures are the=20
natural objects of theoretical computer science. They are studied from=20=

different points of view in various areas, both as theoretical concepts=20=

and as formal models for applications. The aim of the workshops on=20
``Non-Classical Models of Automata and Applications''
is to provide an opportunity for researchers who work on different =
aspects=20
of non-classical models of automata and grammars to exchange and develop=20=

novel ideas.=20

In order to emphasize the workshop character of NCMA 2014, we also =
invite
short contributions that report on recent results or ongoing work in =
addition
to full papers. However, in contrast to the accepted regular (full) =
papers=20
that will be published in the OCG proceedings, the accepted short papers =
will=20
appear in a separate technical report.

Topics for NCMA 2014 include
- formal models inspired by Linguistics, Bio-Computing, Text Processing,=20=

Document Engineering, Self-Assemblance, etc.,
- bio-inspired models of automata and generative devices,
- cellular automata,
- gorgetting automata and restarting automata,
- automata with additional resources,
- regulated rewriting/automata,
- networks of automata or generative devices,
- models of cooperation and communication,
- quantum automata,
but other related topics are welcome, too. In particular, it should be=20=

stressed that also contributions dealing with questions on classical =
automata=20
and generative devices are welcome.

The first workshop on Non-Classical Models of Automata and Applications,
NCMA 2009, was held in Wroclaw, Poland, in 2009 as a satellite event of=20=

FCT 2009, sponsored by the AutoMathA project of the European Science=20
Foundation (ESF). The second workshop, NCMA 2010, was held in Jena,=20
Germany, as an associated workshop of the Conference on Membrane =
Computing=20
(CMC 2010), the third workshop, NCMA 2011, was organized at the =
Universita=20
degli Studi di Milano, Milano, Italy, the fourth workshop, NCMA 2012, =
was=20
held in Fribourg, Switzerland, and the fifth workshop, NCMA 2013, was =
held=20
in Umea, Sweden. The proceedings of these workshops have appeared as =
volumes=20
256, 263, 282, 290, and 294 in the series books@ocg.at of the Austrian =
Computer=20
Society. In addition, special issues of Fundamenta Informaticae were =
dedicated=20
to NCMA 2009 (Fund. Inf. 104 (1-2), 2010) and to NCMA 2010 (Fund. Inf. =
112
(2-3), 2011), and a special issue of RAIRO Theoretical Informatics and=20=

Applications was dedicated to NCMA 2011 (RAIRO Theor. Inf. and Appl. 46 =
(4)=20
2012). Furthermore, a special issue of the latter journal for NCMA 2012 =
and=20
a special issue of Fundamenta Informaticae for NCMA 2013 are in =
preparation,
and for NCMA 2014, a special issue of Fundamenta Informaticae is =
anticipated.

Important Dates:

Deadline for submissions of full papers: May 4, 2014
Notification of acceptance (full papers): May 31, 2014
Deadline for submissions of short papers: June 8, 2014
Notification of acceptance (short papers): June 20, 2014
Deadline for all final papers: July 1, 2014=20
Workshop: July 28-29, 2014.

Submissions:

Authors are invited to submit full papers of up to 16 pages or short =
papers=20
of up to 6 pages in electronic form (Postscript or PDF). All submissions =
should=20
be prepared using the OCG-style (please see the web-page=20
``http://www.theory.informatik.uni-kassel.de/NCMA2014''=20
for detailed information). Concerning full papers, proofs omitted due to =
space=20
constraints may be put into an appendix that will be read by the =
reviewers at=20
their discretion. All full papers will be reviewed by at least three =
referees,=20
and simultaneous submissions to other conferences or workshops with =
published=20
proceedings are not allowed. Short papers will be reviewed by at least =
two PC=20
members, but simultaneous submissions of extended versions to other =
conferences=20
or workshops with published proceedings are allowed. To submit your =
paper,
please visit=20
https://www.easychair.org/conferences/?conf=3Dncma2014

Invited Speakers:

- Peter Leupold (Leipzig, Germany):
Is Computation Observer-Relative?

- Frantisek Mraz (Prague, Czech Republic):
Limited Restarting Automata

Program Committee:
- Artiom Alhazov (Chisinau, Moldavia)
- Suna Bensch (Umea, Co-Chair)
- Henning Bordihn (Potsdam, Germany)
- Jerome Durand-Lose (Orleans, France)
- Rudolf Freund (Vienna, Austria, Co-chair)
- Mika Hirvensalo (Turku, Finland)
- Martin Kutrib (Giessen, Germany)
- Peter Leupold (Leipzig, Germany)
- Andreas Maletti (Stuttgart, Germany)
- Florin Manea (Kiel, Germany)
- Nelma Moreira (Porto, Portugal)
- Frantisek Mraz (Prague, Czech Republic)
- Friedrich Otto (Kassel, Germany, Co-Chair)
- Beatrice Palano (Milan, Italy)
- Daniel Reidenbach (Loughborough, Great Britain)
- Bianca Truthe (Magdeburg, Germany)
- Gyorgy Vaszil (Debrecen, Hungary)

Local Organizers:
- Angelika Hoffmann-Hesse
- Norbert Hundeshagen
- Friedrich Otto
- Qichao Wang

Local Information:

Kassel is easily reached by train from Frankfurt or Hannover.
More information can be found at the web-page of NCMA 2014:
http://www.theory.informatik.uni-kassel.de/NCMA2014








16) Computability Days 2014



=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Computability Days

LIRMM, Universit=E9 Montpellier 2

April 28-29, 2014

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

We organise at the LIRMM (Montpellier, France) the 3rd edition of the
Computability Days (=91Journ=E9es Calculabilit=E9s=92) after Paris in =
2012 and
Nancy in 2013. This is a rather informal meeting whose goal is to gather
researchers interested in computability, understood in a broad sense.
This includes (but is not limited to) the following topics:
- Classical computability theory (reductions, degrees)
- Other models of computation: geometric models (tilings, signal
machines), algebraic models (Abstract State Machines), dynamical and
distributed models (cellular automata, population protocols, sand =
piles),
continuous-time models, ordinal-time models, computation on infinite
structures (orders, etc)
- Applications of computability theory to the following fields:
computable/constructive mathematics, cryptology, virology, information
theory (Kolmogorov complexity), computational complexity, model theory,
proof theory and reverse mathematics, set theory, domain theory.=20

Talks will be in English. Their duration will depend on the number of
speakers. If you wish to participate and/or give a talk at this meeting,
please contact the organisers at jc@computability.fr before March 30 in
case you want to give a talk. More details will be put online
progressively at http://www.computability.fr/jc2014/

Hoping to see you soon in Montpellier!

Laurent Bienvenu
Bruno Durand
Gr=E9gory Lafitte







17) Workshop on Computability Theory, Prague (Czech Republic), 3-4 Jul 2014






A Workshop on Computability Theory will be held in Prague on July 3 and
July 4, 2014. The workshop will take place in the week between the end
of the conference Computability in Europe 2014 Language, Life and Limits
in Budapest and the start of the Vienna Summer of Logic.

Accepted speakers include:

Vasco Bratka, Munich
Barbara Csima, Waterloo
Ekaterina Fokina, Vienna
Noam Greenberg, Wellington
Ian Herbert, Singapore
Mushfeq Khan, Madison
Ludovic Patey, Paris
Alexandra Soskova, Sofia
Stefan Vatev, Sofia
Linda Westrick, Berkeley

More information about the workshop can be found here:
http://www.math.uconn.edu/~damir/wctprague/


This will be the seventh in the Workshops on Computability Theory (WCT)
Series. The WCT series was initiated by a two day meeting in Sofia,
Bulgaria in 2009, associated to the Logic Colloquium. There were workshops
adjunct to the Computability in Europe 2010 meeting in Ponta Delgada,
Portugal and the Logic Colloquium 2010 in Paris. The fourth workshop took
place in San Francisco before the 2011 ASL Annual Meeting. The fifth
meeting was held in Barcelona between the Logic Colloquium and the CRM
Infinity Conference. The sixth meeting was held in conjunction with the
Isaac Newton Institute Workshop 'The Incomputable'. More information
about these events can be found at:
http://www.fmi.uni-sofia.bg/fmi/logic/msoskova/wct/index.html

For more information, you can contact any of the organizers:
Damir Dzhfarov, Connecticut
Antonin Kucera, Prague
Andy Lewis-Pye, LSE
Mariya Soskova, Berkeley







18) ACRI 2014 - Workshops: ACA, C&CA, TCA, ABSim&CA - updated info



******************************************************************
Call for Papers - Workshops

11th International Conference Cellular Automata for Research and =
Industry (ACRI 2014)
Krakow, Poland, September 22-25, 2014
http://acri2014.agh.edu.pl

3rd edition of ACA - Asynchronous Cellular Automata =
http://acri2014.agh.edu.pl/doku.php?id=3Daca (updated info)

5th edition of C&CA - Crowds and Cellular Automata =
http://acri2014.agh.edu.pl/doku.php?id=3Dcca (updated info)

3rd edition of TCA - Traffic and Cellular Automata =
http://acri2014.agh.edu.pl/doku.php?id=3Dtca (updated info)

1st edition of ABSim&CA - Agent-Based Simulation & Cellular Automata =
http://acri2014.agh.edu.pl/doku.php?id=3Dabsim (updated info)

=
**************************************************************************=
****************

Cellular automata (CA) present a very powerful approach to the study of =
spatio-temporal systems where complex phenomena build up out of many =
simple local interactions. They account often for real phenomena or =
solutions of problems, whose high complexity could unlikely be =
formalised in different contexts.

Four Workshops will be organized in conjunction with ACRI 2014:

C&CA - Crowds and Cellular Automata
ACA - Asynchronous Cellular Automata
TCA - Traffic and Cellular Automata
ABSim&CA - Agent-Based Simulation & Cellular Automata

SUBMISSIONS:
Authors are invited to submit papers presenting their original and =
unpublished research. Papers should be formatted according to the usual =
LNCS article style http://www.springer.com/computer/lncs . Details on =
the electronic submission procedure will be provided through the website =
of the conference http://acri2014.agh.edu.pl . A volume of proceedings =
will be published by Springer-Verlag in the Lecture Notes in Computer =
Science series and will be available by the time of the conference.

IMPORTANT DATES - WORKSHOPS :
Paper submission deadline: April 15, 2014 (extended)
Notification: May 14, 2014
Final version of the paper for the proceedings: June 8, 2014
Conference: September 22-25, 2014

IMPORTANT DATES - ACRI main conference :
Paper submission deadline: April 7, 2014 (extended)
Notification: May 15, 2014
Final version of the paper for the proceedings: June 8, 2014
Conference: September 22-25, 2014

CONFERENCE LOCATION:
ACRI2014 which will be held at AGH University of Science and Technology, =
Krakow, Poland on September 22-25 2014, is the eleventh in a series of =
conferences inaugurated in 1994 in Rende, Italy, and followed by ACRI =
1996 in Milan, Italy, ACRI 1998 in Trieste, Italy, ACRI 2000 in =
Karlsruhe, Germany, ACRI 2002 in Geneva, Switzerland, ACRI 2004 in =
Amsterdam, The Netherlands, ACRI 2006 in Perpignan, France, ACRI 2008 in =
Yokohama, Japan, ACRI 2010 in Ascoli Piceno, Italy and ACRI 2012 in =
Santorini, Greece.

AGH University of Science and Technology is one of the leading technical =
universities in Poland. The AGH University was established in 1919.
Krakow is known as "cultural capital of Poland", "a city of tradition" =
and a city of a unique medieval architecture. Krakow is registered on =
the UNESCO World Heritage List and awarded the title of the European =
Capital of Culture in 2000. Krakow as a very popular touristic =
destination is served by convenient air, road and rail connections.

URL: http://acri2014.agh.edu.pl
contact : acri2014@agh.edu.pl

Best regards

Stefania Bandini
Georgios Sirakoulis
Jaroslaw Was