Alberto Pettorossi |
Alberto
Pettorossi email: |
email: |
|
* Book in honor of Prof. Robert
Paige (1947-1999)
* IJCRS 2024 International Joint Conference on Rough Sets 2024
May 17 - May 20, 2024, Halifax, Nova Scotia, Canada.
* LOPSTR 2023 33rd International Symposium on Logic-based Program Synthesis and Transformation 2023
October 23 - 24, 2023, Cascais, Lisbon, Portugal.
* IJCRS 2020 International Joint Conference on Rough Sets 2020
June 29 - July 3, 2020, La Habana, Cuba.
* IJCRS 2019 International Joint Conference on Rough Sets 2019
June 17-21, 2019, Debrecen, Hungary.
* PSI 2019 A. P. Ershov Informatics Conference
July 2-5, 2019, Novosibirsk, Akademgorodok, Russia.
* PEPM 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal.
* LopSTr 2018 28st International Symposium on
Logic-based Program Synthesis and Transformation Frankfurt am Main, Germany, 3-6 September, 2018.
* IJCRS 2018 International Joint Conference on
Rough Sets,
Quy Nhon, Viet Nam, 20-24 August, 2018.
* CILC 2017, 32nd Italian Conference on Computational Logic,
Naples,
Italy, 26-29 September 2017.
* IJCRS 2017, International Joint Conference on
Rough Sets,
Olsztyn,
Poland, 3-7 July 2017.
* AI*IA 2016, 15th International Conference of the
Italian Association for Artificial Intelligence, Genoa,
Italy, 28 November - 1 December 2016. * IJCRS 2016, Conference of the International
RoughSet Society,
Santiago,
Chile, 7-11 October 2016.
* 13th International Symposium of
University Professors. Jubilee of University Professors. Workshop
on "Technologies for Knowledge". University of Roma Tre, Room 6, Via
Ostiense 159, Roma (Italy), 8 September 2016.
* PPDP 2016, 18th International Symposium on
Principles and Practice of Declarative Programming, Edinburgh,
United Kingdom, 5-7 September 2016.
* CILC 2016, 31st Italian Conference on
Computational Logic, Milan,
Italy, 20-22 June 2016.
* VPT 2015, 3rd International Workshop on
Verification and Program Transformation, London,
United Kingdom, 11 April 2015.
* ICLP 2014, 30th International Conference on
Logic Programming, Vienna,
Austria, 19-22 July 2014. * CILC 2013 28th Italian Conference on Computational
Logic Catania,
Italy, 25-27 September 2013. * IFIP W.G. 2.1
Meeting on Algorithmic Languages and Calculi Rome,
Italy, 6-10 February 2012. * LopSTr 2011 21st International Symposium on
Logic-based Program Synthesis and Transformation Odense,
Denmark, 18-20 July 2011. * Fundamenta
Informaticae Vol.105, No.1-2, 2010: Italian Conference on Computational
Logic, CILC 2009 * PEPM’10 ACM SIGPLAN 2010 Workshop on Partial
Evaluation and Program Madrid,
Spain, 18-19 January 2010. * SOFSEM 2010 36th International Conference on
Current Trends in Theory and Practice of Computer Science Špindlerův
Mlýn, Czech Republic, 23-29 January 2010. Track on: Principles of Software
Construction. * ICLP
2008 24th
International Conference on Logic Programming Synthesis and Transformation Udine,
Italy, 9-13 December 2008. * LopSTr 2008 18th International Symposium on
Logic-based Program Synthesis and Transformation Valencia,
Spain, 17-18 July 2008. * LopSTr 2007 17th International Symposium on
Logic-based Program Synthesis and Transformation Kongens
Lyngby, Denmark, 22-24 August 2007. * The Digital
Evolution: Information, Intelligence, Ubiquity European
Meeting of University Professors, Rome, Italy, 22 June 2007 * Special Issues of FUNDAMENTA
INFORMATICAE on Program Transformation: |