|
Alexander Schenkel |
Heriot-Watt University, Edinburgh |
Saturday June 13 |
Nonassociative geometry in quasi-Hopf representation categories |
|
porto15.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 |
|
Emanuele Rodaro |
CMUP, University of Porto |
Saturday June 13 |
Decidability vs Undecidability of the word problem in HNN-extensions of inverse semigroups |
|
Undecidability_vs_Decidability_HNN.pdf |
|
|
Boris Vernikov |
Ural Federal University |
Saturday June 13 |
Special elements of lattices of semigroup varieties |
Vernikov-abstract.pdf |
Vernikov-slides.pdf |
|
|
Matthew M. Jones |
Middlesex University London |
Saturday June 13 |
Composition operators induced by universal covering maps |
PORTOAbstract.pdf |
PORTO2015.pdf |
doi:10.1016/j.jfa.2014.11.003 |
|
Pedro Macias Marques |
Universidade de Évora |
Saturday June 13 |
Monads over projective varieties |
20150610abstract.pdf |
20150613AMSEMSSPMPortoMonadspresent.pdf |
|
|
Vladimir Shpilrain |
The City College of New York |
Saturday June 13 |
Cayley graph of $SL_2(F_p)$ and applications to hashing |
|
hash2015.pdf |
|
|
Alberto Cattaneo |
University of Zurich |
Saturday June 13 |
Perturbative BV-BFV theories on manifolds with boundary |
1111-55-404.pdf |
BV-BFV_talk.pdf |
|
|
Freek Wiedijk |
Radbound University Nijmegen |
Saturday June 13 |
Formal proof between mathematics and computer science |
|
porto.pdf |
|
|
Miguel Abreu |
Instituto Superior Técnico, Universidade de Lisboa |
Saturday June 13 |
Kaehler-Sasaki metrics on toric symplectic cones |
|
MAbreu-talk-notes.pdf |
|
