Skip to Main Content (Press Enter)

Logo UNINSUBRIA
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNINSUBRIA

|

UNI-FIND

uninsubria.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni
Persona
BENINI MARCO

BENINI MARCO

Ricercatori
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
Course Catalogue:
https://uninsubria.coursecatalogue.cineca.it/docen...

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

Settore MATH-01/A - Logica matematica
  • Contatti
  •  marco.benini@uninsubria.it
  • Avvisi
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività
  • Insegnamenti
  • Ricevimento
  • Risorse Utili

Comunicazioni

Pubblicazioni (64)

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

Ricerca e didattica presso enti (2)

Visiting Researcher all'interno del progetto di ricerca "Correctness by Construction" (CORCON), 7th framework programme, schema FP7-PEOPLE-2013-IRSES, grant agreement number PIRSES-GA-2013-612638 presso: JAIST Japan Advanced Institute of Science and Technology - Visiting Researcher (15/05/2014 - 16/06/2014)20140515
Marie Curie Research Fellow: Principal Investigator nel progetto "Predicative Theories and Grothendieck Toposes", grant PIEF-GA-2010-271926 presso: University of Leeds - Titolare di contratto di ricerca (01/10/2011 - 31/03/2013)20111001
No Results Found

Congressi

Program chair (presidente/responsabile del comitato scientifico) - special session "History and philosophy of computing" - Computability in Europe 2015 (CiE2015) (01/01/2015 - ) 20150101
No Results Found

Collegi di dottorato (12)

  • ascendente
  • decrescente
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2018 (ciclo: 34 - Anno: 2018 2018 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2017 (ciclo: 33 - Anno: 2017 2017 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2016 (ciclo: 32 - Anno: 2016 2016 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2015 (ciclo: 31 - Anno: 2015 2015 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2014 (ciclo: 30 - Anno: 2014 2014 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2013 (ciclo: 29 - Anno: 2013 2013 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 2012 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 2011 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 2010 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 2009 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 2008 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2007 (ciclo: 23 - Anno: 2007 2007 )
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}

Insegnamenti offerta formativa corrente

SCC0593 - MATHEMATICAL LOGIC

Secondo Semestre (24/02/2025 - 13/06/2025) - 2024
MATEMATICA ( DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA )
Laurea Magistrale
8 CFU
78 ore
No Results Found

Ricevimento

Video

Risorse Utili

  • Accessibilità
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.5.0.1