TCS: IFIP International Conference on Theoretical Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2015 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TCS 2014 8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE
Sep 1, 2014 - Sep 3, 2014 Rome, Italy Apr 27, 2014
TCS 2012 IFIP Theoretical Computer Science 2012
Sep 26, 2012 - Sep 28, 2012 Amsterdam, The Netherlands May 1, 2012
TCS 2008 5th IFIP International Conference on Theoretical Computer Science
Sep 8, 2008 - Sep 12, 2008 Milan, Italy Feb 15, 2008 (Mar 31, 2008)
 
 

Present CFP : 2014

8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE (TCS 2014)
Call for Papers
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/

* 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

* 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.

* CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
* PROGRAM CHAIRS
- Track A: Josep Diaz (Chair), UPC Barcelona
- Track B: Davide Sangiorgi (Chair), Univ. di Bologna
 

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
COLT 2018   Computational Learning Theory
ACMC 2017   Australasian Computer Music Conference
COLT 2018   Conference on Learning Theory
ECCV 2018   European Conference on Computer Vision
NATP 2017   3rd International Conference on Natural Language Processing
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
MathSJ 2017   Applied Mathematics and Sciences: An International Journal
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems