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

DSAA 2017   The 4th IEEE International Conference on Data Science and Advanced Analytics 2017
ARIN 2016   Second International Conference on Artificial Intelligence
ICONIP 2017   International Conference on Neural Information Processing
DMAP 2016   Second International Conference on Data Mining and Applications
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ISOTAEP-ICAMCS 2017   International Symposium on Optimization Techniques Applied to Engineering problems
CSCESM 2017   The Fourth International Conference on Computer Science, Computer Engineering and Social Media
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
ICCV 2017   International Conference on Computer Vision
CPM 2017   Combinatorial Pattern Matching