posted by user: hossein_haeri || 2796 views || tracked by 4 users: [display]

TCS 2014 : 8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE

FacebookTwitterLinkedInGoogle


Conference Series : IFIP International Conference on Theoretical Computer Science
 
Link: http://www.cyprusconferences.org/tcs2014/
 
When Sep 1, 2014 - Sep 3, 2014
Where Rome, Italy
Submission Deadline Apr 27, 2014
Notification Due Jun 25, 2014
Final Version Due Jul 6, 2014
Categories    algorithms   computation and complexity   logic and semantics   specification and verification
 

Call For Papers

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

FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ICPP 2020   International Conference on Parallel Processing
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
WCBD 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
IJMPICT 2019   International Journal of Managing Public Sector Information and Communication Technologies
ISCSIC 2020   2020 4th International Symposium on Computer Science andComputer Science(ISCSIC 2020)
IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
ISBDAI 2020   【Ei Compendex Scopus】2020 International Symposium on Big Data and Artificial Intelligence
SIGMETRICS 2019   ACM SIGMETRICS / IFIP PERFORMANCE 2019