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

ICML 2017   34rd International Conference on Machine Learning
ISOTAEP-ICAMCS 2017   International Symposium on Optimization Techniques Applied to Engineering problems
WSCG 2017   WSCG - 25. Conference on Computer Graphics, Visualization and Computer Vision
IAEAC 2017   2017 IEEE 2nd Advanced Information Technology, Electronic and Automation Control Conference
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
IEEE IAEAC 2017   2017 IEEE 2nd Advanced Information Technology, Electronic and Automation Control Conference
ICCV 2017   International Conference on Computer Vision
SIGGRAPH 2017   International Conference on Computer Graphics and Interactive Techniques
ICINCO 2017   International Conference on Informatics in Control, Automation and Robotics
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference