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