|
Freek Wiedijk |
Radbound University Nijmegen |
Saturday June 13 |
Formal proof between mathematics and computer science |
|
porto.pdf |
|
|
Gabriella Böhm |
Wigner RCP Budapest |
Saturday June 13 |
Weak multiplier bialgebras |
porto_abstract.pdf |
Bohm_Porto_15.pdf |
http://www.ams.org/journals/tran/0000-000-00/S0002-9947-2015-06308-9/home.html |
|
George Hitching |
Høgskolen i Oslo og Akershus |
Thursday June 11 |
Theta divisors of stable vector bundles with many maximal subbundles |
Hitching_Porto_abstract.pdf |
Hitching_Porto_2015.pdf |
http://arxiv.org/abs/1211.1064 |
|
Hartmut Weiss |
CAU Kiel |
Friday June 12 |
Ends of moduli spaces of Higgs bundles |
1111-53-228.pdf |
talk_porto_handout.pdf |
|
|
Helder Pinto |
CIDMA - University of Aveiro |
Wednesday June 10 |
The reasons behind the request of the mathematician Gomes Teixeira to be transferred to the Polytechnic Academy of Porto |
abstract_hpinto.pdf |
helder_pinto_ams_ems_meeting_final.pdf |
|
|
Helio Schechtman |
Fundação Oswaldo Cruz |
Thursday June 11 |
Stage-structured model for Aedes Aegypti and Wolbachia interaction |
Abstract_Final_Alternative.pdf |
Porto0615.pdf |
|
|
Helle Sørensen |
University of Copenhagen |
Thursday June 11 |
Stochastic differential equations with random effects |
|
sde-mixed.pdf |
|
|
Henning Kempka |
Technische Universität Chemnitz |
Wednesday June 10 |
Variable exponent Lorentz spaces |
abstract_Kempka.pdf |
Talk_Kempka_Porto2015-2.pdf |
|
|
Henrik Holm |
University of Copenhagen |
Friday June 12 |
The structure of balanced big CM modules over CM rings |
|
HenrikHolm2.pdf |
|
|
Ines Klimann |
LIAFA, Université Paris Diderot & CNRS |
Wednesday June 10 |
On torsion elements in a (semi)group generated by a reversible automaton. |
abstract.pdf |
session40_klimann_wednesday_9h30.pdf |
|
