<div dir="ltr">Apologize for multiple copies<br><div class="gmail_quote"><div dir="ltr"><div>Season's greetings<br><br></div>Daniele<br><div><br>=======================================================<br><div><div><br>
TCS 2014<br>
8th IFIP International Conference on Theoretical Computer Science<br> September 1-3, 2014 Rome, Italy<br> <a href="http://www.cyprusconferences.org/tcs2014/" target="_blank">http://www.cyprusconferences.org/tcs2014/</a><br>
<br>Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)<br><br>AIM AND SCOPE OF THE CONFERENCE:<br><br>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:<br><br>Track A: Algorithms, Complexity and Models of Computation<br><br>Track B: Logic, Semantics, Specification and Verification<br><br><br>TOPICS:<br><br>Suggested, but not exclusive, topics of interest include:<br>
<br>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.<br><br>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.<br><br><br>SUBMISSION GUIDELINES:<br><br>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.<br><br>PROCEEDINGS:<br><br>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.<br><br><br>IMPORTANT DATES:<br><br>Deadline for submission: April 27, 2014.<br>Notification of acceptance: June 25, 2014.<br>Final manuscript due: July 6, 2014.<br>Conference: September 1-3, 2014.<br>
<br><br>STEERING COMMITTEE:<br><br>- Giorgio Ausiello, Sapienza Univ. di Roma<br>- Jos Baeten, CWI Amsterdam<br>- Jacques Sakarovitch, CNRS/T el ecom ParisTech<br><br><br>CONFERENCE CO-CHAIRS:<br>- Daniele Gorla, Sapienza Univ. di Roma<br>
- Rossella Petreschi, Sapienza Univ. di Roma<br><br><br>PROGRAM COMMITTEES:<br><br>Track A<br><br>- Cristian Calude, University of Auckland<br>- Josep Diaz (Chair), UPC Barcelona<br>- Irene Finocchi, Sapienza Univ. di Roma<br>
- Paola Flocchini, University of Ottawa<br>- Aristides Gionis, Aalto University Helsinki<br>- Mordecai Golin, Hong Kong University of Tech.<br>- Juhani Karhumaki, Turku University<br>- Massimo Melucci, Univ. di Padova<br>
- Elvira Mayordomo, Universidad de Zaragoza<br>- Friedhelm Meyer auf der Heide, Univ. of Paderborn<br>- Pekka Orponen, Aalto University Helsinki<br>- Giuseppe Persiano, Univ. di Salerno<br>- G eraud S enizergues, Universit e Bordeaux 1<br>
- Olivier Serre, CNRS / Universit e Paris 7<br>- Paul Spirakis, University of Liverpool<br>- Osamu Watanabe, Tokyo Inst. of Technology<br>- Peter Widmayer, ETH Zurich<br><br>Track B<br><br>- Jos Baeten, CWI Amsterdam<br>
- Lars Birkedal, Aarhus University<br>
- Andrei Bulatov, Simon Fraser University<br>- James Cheney, University of Edinburgh<br>- Ugo Dal Lago, Univ. di Bologna<br>- Jos ee Desharnais, Universit e Laval<br>- Jorg Endrullis, Vrije Universiteit Amsterdam<br>- J erome Feret, ENS Paris<br>
- Marcelo Fiore, University of Cambridge<br>- Silvio Ghilardi, Univ. di Milano<br>- Benjamin Gr egoire, INRIA Sophia<br>- Ichiro Hasuo, University of Tokyo<br>- Marieke Huisman, University of Twente<br>- Jean Krivine, CNRS / Universit e Paris 7<br>
- Radha Jagadeesan, DePaul University, Chicago<br>- Ivan Lanese, Univ. di Bologna<br>- Grigore Rosu, University of Illinois at U-C<br>- Davide Sangiorgi (Chair), Univ. di Bologna<br>- Vladimiro Sassone, University of Southampton<br>
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1<br><br></div></div></div></div>
</div><br><br clear="all"><br>-- <br><div dir="ltr">================================<br>
Daniele Gorla<br>
<br>
Associate Professor in Computer Science<br>
"Sapienza" Universitą di Roma<br>
Via Salaria 113, 00198 Roma (IT)<br>
tel. +390649918434<br>
<div>email: <a href="mailto:gorla@di.uniroma1.it" target="_blank">gorla@di.uniroma1.it</a><br>
</div>web: <a href="http://wwwusers.di.uniroma1.it/~gorla/" target="_blank">http://wwwusers.di.uniroma1.it/~gorla/</a><br>
================================</div>
</div>