2010 : 6th IFIP International Conference on Theoretical Computer Science 2010

September 20, 2010-September 23, 2010 in Brisbane, Australia

About the Conference

TCS 2010 is organized by IFIP Technical Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal Descriptions of Programming Concepts) in association with SIGACT and EATCS.

The Congress

The World Computer Congress (WCC2010) will bring together IT research and industry sectors in one event. The congress will combine 17 IFIP conferences with partner conferences from other international and regional, specialist IT organisations. The conference content will be presented in eight program streams. Delegates may attend any of the participating conference, industry or partner events as well as networking, social, technical tours and certification courses offered at the congress.

Conference Dates

Submissions: March 15, 2010
Notification: April 30, 2010
Event: September 20, 2010-September 23, 2010

Proceedings