Skip to Main Content (Press Enter)

Logo UNIPD
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze

UNI-FIND
Logo UNIPD

|

UNI-FIND

unipd.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze
  1. Persone
Persona
segnaposto immagine

CIRAULO FRANCESCO

Docenti di ruolo di IIa fascia
Dipartimento di Matematica "Tullio Levi-Civita" - DM

Gruppo 01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA

Settore MATH-01/A - Logica matematica
  • Contatti
  •  francesco.ciraulo@unipd.it
  •  Webpage
  • Competenze
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività

Settori (2)


PE1_1 - Logic and foundations - (2022)

Goal 04: Quality education

Pubblicazioni (30)

  • ascendente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

Premi e riconoscimenti

Premio di Laurea “Eduardo Gugino”, conferito da Università degli Studi di Palermo - 2003
No Results Found

Partecipazioni scientifiche (2)

fs2 – Socio/a effettivo o corrispondente - Unione Matematica Italiana (Italia) (2021 - ) 2021
fs2 – Socio/a effettivo o corrispondente - Associazione Italiana di Logica e sue Applicazioni (Italia) (2008 - ) 2008
No Results Found

Congressi (7)

Partecipazione al comitato organizzativo - CCC 2022: Continuity, Computability, Constructivity - From Logic to Algorithms, Padova, September 19–23, 2022 (19/09/2022 - 23/09/2022) 20220919
Partecipazione al comitato organizzativo - 100 years Unione Matematica Italiana - 800 years University of Padova, Padova, 23rd-27th May, 2022 (23/05/2022 - 27/05/2022) 20220523
Program committee (membro del comitato scientifico) - CCC 2019: Computability, Continuity, Constructivity - from Logic to Algorithms, Ljubljana, 2-6 September 2019 (02/09/2019 - 06/09/2019) 20190902
Partecipazione al comitato organizzativo - XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni, Padova, Italy, 25-28 September 2017 (25/09/2017 - 28/09/2017) 20170925
Program committee (membro del comitato scientifico) - Le valutazioni nazionali in matematica, Padova, Italy, 4 april 2017 (04/04/2017 - ) 20170404
Program committee (membro del comitato scientifico) - Foundation of Mathematcs for Computer-Aided Formalization, Padova, Italy, 9-11 January 2013 (09/01/2013 - 11/01/2013) 20130109
Program committee (membro del comitato scientifico) - Workshop on Constructive Topology, Palermo, Italy, 6-7 September 2010 (06/09/2010 - 07/09/2010) 20100906
No Results Found

Collegi di dottorato (5)

Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2024 (ciclo: 40 - Anno: 2024 2024 )
Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2023 (ciclo: 39 - Anno: 2023 2023 )
Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2022 (ciclo: 38 - Anno: 2022 2022 )
Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2021 (ciclo: 37 - Anno: 2021 2021 )
Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2020 (ciclo: 36 - Anno: 2020 2020 )
No Results Found
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.4.0.2