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

NCMA 2023   13th International Workshop on Non-Classical Models of Automata and Applications
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
CIAA 2023   27th International Conference on Implementation and Application of Automata
CAIML 2023   4th International Conference on Artificial Intelligence and Machine Learning
AUTOMATA 2023   29th International Workshop on Cellular Automata and Discrete Complex Systems
SGRECT 2023   2023 2nd Asia Conference on Smart Grid, Renewable Energy and Computing Technology (SGRECT 2023)
SI-MLT 2023   Special Issue on MACHINE LEARNING IN TOURISM - Int. J. of Machine Learning and Cybernetics (Springer)
IEIJ 2023   Informatics Engineering, an International Journal
iWOAR 2023   8th international Workshop on Sensor-Based Activity Recognition and Artificial Intelligence
ACM ICCBDC 2023   ACM--2023 7th International Conference on Cloud and Big Data Computing (ICCBDC 2023)