• Welcome
• Research
• • CAMGSD
  • CEAF
  • CEMAT
  • SQIG
• Academics
• • LMAC
  • MMA
  • DFAEA
  • DM
  • DEPE
  • DSI
  • IST-EPFL
  • UT Austin-Portugal
  • CMU-Portugal
• Faculty and researchers
• Seminars
• Library
• Contacts

Welcome...

... to the Department of Mathematics of Instituto Superior Técnico, Lisbon, Portugal.

Our site now supports MathJax allowing for easy editing and browser independent presentation of mathematical formulas such as \(-\Delta u+\lambda u=0, \text{ in } \Omega\).

News and Events

Escola de Inverno de Matemática

Previous Next

Memo

Tue, January 31, 16h 15m

Bruno Montalto
FAST: An efficient decision procedure for Static Equivalence and Message Deducibility for subterm convergent equational theories

Tue, January 31, 16h 30m

Matias del Hoyo
Vector bundles over Lie groupoids and algebroids

Wed, February 01, 14h

Joana Mohr
On the general One-Dimensional $\mathrm{XY}$ Model: positive and zerotemperature, selection and non-selection