Research groups

Logica

Logica è lo studio dell'interazione tra sintassi (linguaggi e calcoli formali) e semantica (interpretazioni e modelli) com'è fondamentale sia per la matematica astratta sia per l'informatica teorica.

Logic is the study of syntax (formal languages and calculi) and semantics (structures and models) in their interaction, as it is fundamental both for abstract mathematics and for theoretical computer science.
Contact people
Peter Michael Schuster

URL
https://logicseminarverona.wordpress.com/

Maria Paola Bonacina
Full Professor
Andrea Masini
Full Professor
Pietro Sala
Temporary Assistant Professor
Margherita Zorzi
Temporary Professor (Department Culture and Civilisation)
Matteo Cristani
Assistant Professor
Davide Rinaldi
Research Scholarship Holders
Peter Michael Schuster
Associate Professor
Topic Research area ISI-CRUI
Intelligent Agents Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Computability Informatica teorica
Theory of computation  -  Models of computation
Computer Science & Engineering
Formal methods and theory of security Ingegneria del software e sicurezza
Security and privacy  -  Formal methods and theory of security
Computer Science & Engineering
General logic Matematica discreta e computazionale
Mathematical logic and foundations
Mathematics
Hilbert's Programme for Abstract Mathematics Matematica discreta e computazionale
Mathematical logic and foundations
Mathematics
Lambda Calculus Informatica teorica
Theory of computation  -  Logic
Computer Science & Engineering
modal and temporal logics Informatica teorica
Theory of computation  -  Logic
Models for spatio-temporal granularities Sistemi informativi
Information systems  -  Data management systems
Computer Science & Engineering
Network security Ingegneria del software e sicurezza
Security and privacy  -  Network security
Computer Science & Engineering
Philosophical aspects of logic and foundations Matematica discreta e computazionale
Mathematical logic and foundations
Mathematics
Proof theory and constructive mathematics Matematica discreta e computazionale
Mathematical logic and foundations
Mathematics
proof theory, Linear logic, Type theory Informatica teorica
Theory of computation  -  Logic
Quantum computation theory Informatica teorica
Theory of computation  -  Models of computation
Computer Science & Engineering
Automated Reasoning Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
Computer Science & Engineering
Rappresentazione della conoscenza Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Multiagent Systems Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Temporal Workflow Models Sistemi informativi
Information systems  -  Data management systems
Computer Science & Engineering
Teoria della dimostrazione e teoria dei tipi Informatica teorica
Theory of computation  -  Formal languages and automata theory
Computer Science & Engineering
Software Verification Informatica teorica
Theory of computation  -  Logic
Computer Science & Engineering
Workflow Systems in Medicine Sistemi informativi
Information systems  -  Information systems applications
Computer Science & Engineering

Activities

Research facilities