 News

Conference on Numerical Aspects of Hyperbolic Balance Laws and Related Problems
Università di Ferrara, Italy, April 1620, 2018 
DMCS is reconfirmed in the top positions for recruitment policies. Computer Science, Numerical Analysis, and Teaching and History of Mathematics at the top positions in the national rankings

Valeria Ruggiero confirmed as director of the GNCS
Prof. Valeria Ruggiero has been confirmed as director of the National Group of Scientific Computing (GNCS) of Indam 
"Women and Mathematics in Italy"
Historical exibit about famous women in Mathematics
 Events

Picard groups of moduli of curves and polarized K3 surfaces  Andrea Di Lorenzo
Oct 04, 2019  Seminario di Geometria Algebrica

Numerical methods for model kinetic equations and their application to external highspeed flows  Vladimir Titarev (Federal Research Center "Computer Science and control", Russian Academy of Sciences, Russia)
Sep 17, 2019  Seminario di analisi numerica

Gale duality, blowups and moduli spaces  Carolina Araujo
Sep 16, 2019  Seminario di Geometria Algebrica

Simultaneous reconstruction of emission and attenuation in Passive Gamma Emission Tomography for spent nuclear fuel  Tatiana Bubba (Dept. of Mathematics and Statistics, University of Helsinki, Finland)
Jun 28, 2019  Seminario di Analisi Numerica

Modulus of continuity in semilinear classical damped wave equations  Michael Reissig (Technische Universitat Bergakademie Freiberg)
Jun 18, 2019  Seminario di: Analisi Matematica
 Highlights

Uncertainty quantification and the Boltzmann legacy
After the celebrated Boltzmann equation in 1872, which describes the time evolution of a rarefied gas, kinetic equations have been applied to model a variety of phenomena whose multiscale nature cannot be described by a standard macroscopic approach. 
On coarser interval temporal logics
The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals. 
Combining Logic and Probability
Combining logic and probability is one of the long standing problems of Artificial Intelligence. Logic is very useful for describing domains with many different entities connected by complex relationships, while probability theory deals very well with the uncertainty that is associated to the data we collect from the world. 
A brief history of Mathematics at the University of Ferrara
Mathematics has a strong tradition at the University of Ferrara which goes back to the foundation of the University in 1391. Focus here is on the early history of mathematics at University of Ferrara. Recent developments will only be mentioned marginally. (In Italian)