IFIP Digital Library

IFIP WG 2.2: Formal Description of Programming Concepts

2013

Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, Farhad Arbab, Marjan Sirjani, 2013: Tehran, Iran

2012

Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings, Jos C. M. Baeten, Thomas Ball, Frank S. de Boer, 2012: Amsterdam, The Netherlands

2010

Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, Cristian S. Calude, Vladimiro Sassone, 2010: Brisbane, Australia

2008

Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, 2008: Milano, Italy

2006

Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile, Gonzalo Navarro, Leopoldo E. Bertossi, Yoshiharu Kohayakawa, 2006: Santiago, Chile