<div dir="ltr">Apologize for multiple copies<br><div class="gmail_quote"><div dir="ltr"><div>Season&#39;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>
&quot;Sapienza&quot; 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>