posted by user: hossein_haeri || 3046 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

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ACM-ACAI 2020-Ei/Scopus 2020   2020 3rd International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2020)
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
MVA 2021   17th International Conference on Machine Vision Applications
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
CICS 2020   8th International Conference on Instrumentation and Control Systems
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
CLOUD 2021   10th International Conference on Cloud Computing: Services and Architecture
4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
MDPI - Risk Management - Scopus 2021   Special Issue of Journal Applied System Innovation: Risk Management