Francesco Ciraulo

Conference Presentations:

• "Geometria: la Matematica che si vede! Osservare, immaginare, astrarre … e applicare nel contesto delle discipline STEAM", 52° Seminario Nazionale del Centro Ricerche Didattiche "Ugo Morin", "Motivare ad apprendere la matematica: una sfida per l’insegnante", Paderno del Grappa, 30 agosto – 1 settembre 2024.

• "The Kuratowski's Problem in Pointfree Topology", at TACL2024, Barcelona, July 1-5, 2024.

• "Kuratowski's problems in constructive Topology", online talk at CCC2023, Kyoto, September 25-29, 2023.

• "Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza" (con Samuele Maschio), 50° Seminario Nazionale del Centro Ricerche Didattiche "Ugo Morin", "I nuclei fondamentali della matematica nei vari livelli scolari", Pieve del Grappa, 23-25 agosto 2022.

• "On the order-enriched-category of overlap algebras" at "CCC 2020", Faro (online), Portugal, August 31 - September 4, 2020.

• "Equazioni booleane e matematizzazione... nell'isola di Smullyan", convegno "Educare alla razionalità", Torino, 22-23 maggio 2019.

• "Weak closure, Strong density. An overtview" at "6WFTop & Birthday celebrations of the work of Giovanni Sambin (70) and Steve Vickers (65)", Birmingham, UK, April 8-13, 2019.

• "Overtness and density for σ-locales" at "CCC 2018", Faro, Portugal, September 24-28, 2018.

•  "La Geometria fra immagini, immaginazione... e magia!", XLVII Seminario Nazionale del Centro Ricerche Didattiche "Ugo Morin", "Geometria: quale, come e perché", Paderno del Grappa, 21-23 agosto 2018.

• "Notions of Booleanization in pointfree Topology" at "Constructive Mathematics" (within the Hausdorff trimester program: Types, Sets and Constructions), Haudorff research Insitute for Mathematics, Bonn, Germany, August 6-10, 2018.

• "σ-locales and Booleanization in Formal Topology" at "CCC 2017", Nancy, France, June 26-30 2017.

• "Interval numbers in point-free topology: localic suplattices and positivity relations" at "Interval Analysis and Constructive Mathematics", Oaxaca, Mexico, November 13-18 2016.

• "A spatiality-like property for pointfree topologies with a positivity relation" at the "Fifth Workshop on Formal Topology: spreads and choice sequences", Institut Mittag-Leffler, Stockholm, Sweden, June 8-10 2015.

• "Closed subspaces in pointfree Topology" at the "XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni", Pisa, Italy, 14-17 April 2014.
  

• "Positivity relations and localic suplattices" at the "Correctness by Construction CORCON 2014 Workshop", Genoa, Italy, 24-27 March 2014.

• "Boolean locales: a constructive analog" at the "Logic Colloquium 2013", Évora, Portugal, July 22-27 2013.

• "Binary positivity in the language of locales" at the "Fourth Workshop on Formal Topology", Ljubljana, Slovenia, June 15-20 2012.

• "The overlap relation in intuitionistic lattice theory" at the "XXIV Incontro di Logica", Bologna, Italy, 2-4 February 2011.

• "The 'overlap' relation in intuitionistic lattice theory", talk held at the symposium on Topology and Analysis: Proof and Computation, Christchurch, New Zealand, Nov 29 – Dec 3 2010.

• "What is a binary positivity for a locale?" at the "Workshop on Constructive Topology", Palermo, Italy, 6-7 September 2010.

• "The role of the overlap relation in constructive mathematics" at "Constructive Mathematics: Proofs and Computation", Fraueninsel (Chiemsee), Germany, 7-11 June 2010 .

• "A Galois Connection between Basic Covers and Binary Positivities" at the "Workshop on Constructive Aspects of Logic and Mathematics", Kanazawa, Japan, 8-12 March 2010.

• "La logica del gioco" at "Quale Logica per la Didattica", Verona, Italy, 23-25 October 2009. 

• "Fondazione costruttiva della Matematica" (joint talk with Giovanni Sambin) at "La ricerca logica in Italia", a congress in honour of Corrado Mangione, Milan, Italy, 10-11 September 2009. 

• "Regular opens in formal topology and representation theorem for overlap-algebras" at the "Leeds Symposium on Proof Theory and Constructivism", Leeds, UK, 3-16 July 2009.

• "The overlap algebra of regular opens" at "Advances in Constructive Topology and Logical Foundations", a conference in honor of the 60th birthday of Giovanni Sambin, Padua, Italy, 8-11 October 2008.

• "Satisfiability and Consistency from a constructive point of view" at the "XXIII Incontro di Logica", Genova, Italy, 20-23 February 2008.

• “A constructive treatment of satisfiability (with an application to tense logic)” at the "3rd Workshop on Formal Topology”, Padua, Italy, 7-12 May 2007.

• “A constructive semantical treatment of LJ-non-deducibility” at “Trends in Constructive Mathematics”, Frauenwörth, Germany, 19-23 June 2006.

• “On finitary formal topologies” at “Constructive Logic and Mathematics”, Benediktbeuern, Germany, 15-19 November 2004.

Publications