[TYPES/announce] Final CfP and Extended Deadline: ICTAC 2011 - Theoretical Aspects of Computing

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers ICTAC 2011 International Colloquium on Theoretical Aspects of Computing URL: http://www.ictac.net/ictac2011/ 31 August - 2 September 2011, Johannesburg, South Africa

[TYPES/announce] ICTAC 2011 School on Software Engineering: Call for Participants and Applications of Scholarship

- Deadline to request for an examination 20 July 2011 - Latest deadline for application submission 5 August 2011 - Selection process closing (application submission and selection process may close earlier if all available positions are filled) ORGANISERS * Antonio Cerone, United Nations University

[TYPES/announce] OpenCert 2011 - Final Call for Papers

Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China ORGANISATION CO-CHAIRS Antonio Cerone, Siraj Shaikh, PROGRAM COMMITTEE Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal (Co-chair) Andrea Capiluppi, University of East London, UK Francisco Carvalho-Junior, Univ

[TYPES/announce] Call For Papers: OpenCERT 2023 - 11th Int. Work. on Open Community approaches to Education, Research and Technology

-- PROGRAM CO-CHAIRS ----------- * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Program Co-chair) * Marco Temperini, Department of Computer, Control, a