mathematics4computation.org
Information | Mathematics for Computation
https://mathematics4computation.org/information
8-13 May 2016, Lower Bavaria, DE. The workshop is related to and/or sponsored by the following research projects:. Abstract Mathematics for Actual Computation: Hilbert’s Program in the 21st Century. Funded by the John Templeton Foundation. Core Funding, Mathematical and Physical Sciences. Correctness by Construction (CORCON). Funded by the European Commission, 7th Framework Programme, FP7-PEOPLE-2013-IRSES. A Advanced Research Network. On 7th May 2016. Blog at WordPress.com.
corcon2014.net
Info | Correctness by Construction CORCON 2014 Workshop
https://corcon2014.net/info
Correctness by Construction CORCON 2014 Workshop. 24-27 March 2014, Genoa, Italy. Follow Correctness by Construction CORCON 2014 Workshop on WordPress.com. Is an FP7 EU-funded project under the Marie Curie IRSES schema. This workshop aims at bringing together the participants and those researchers who are interested in the themes of the project. The main themes of the project and the workshop are as follows:. Proof Theory, Type Theory, and Constructive Set Theory. Constructive Topology and Analysis.
marcobenini.wordpress.com
Projects | Marco Benini
https://marcobenini.wordpress.com/projects
Abstract Mathematics for Actual Computation: Hilbert’s Program in the 21st Century. Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, 2014-2016, (leader of research unit). John Templeton Foundation, Core Funding, Mathematical and Physical Sciences. University of Leeds, Department of Pure Mathematics and Department of Computer Science (UK). Correctness by Construction ( CORCON. Metodi matematici in Informatica. Università degli Studi dell’Insubria (FAR). Dipartimento di Info...