Matem Matat e is m ka ati i s n k s a t iit s tio t n utein onen Mate M m at a e tis m k a a ti i s n k s a ti i t n u s ti titon u e ti n o en

Transkript

1 Matematiska institutionen Matematiska institutionen Årsrapport 2012 Årsrapport 2012

2

3 Förord År 2012 kännetecknades som ett år av uppbyggnad för Matematiska institutionen. Under årets anställdes 6 fast anställda lektorer och ytterligare anställningar förbereddes. Det nya, med KTH gemensamma masterprogrammet i matematik detaljplanerades och kommer sjösättas med sin första kull studenter under 2013, samt mycket arbete lades ner på HSV:s utvärdering av grundutbildningen i matematiska vetenskaper i Sverige. Det var således ett år då anställda jobbade ovanligt hårt och framgångsrikt, vilket vi hoppas ska skörda frukter under de kommande åren, såväl inom grundutbildning som forskning. Även under året har vi dock bedrivit högkvalitativ utbildning (för allt fler studenter) och framgångsrik forskning vilket framgår av denna läsvärda årsrapport. Årsrapporten har tillkommit med bidrag från ett flertal personer och allt sammanställt av Sara Woldegiorgis och Annemarie Luger. Omslagets foton är tagna av Mehrdad Jafari Mamaghani och Katarina Tamm. Tom Britton, prefekt, Valborgsmässoafton 2013

4 Innehåll 1 Personal Forskning Forskningsaktiviteter Publikationer Gäster vid institutionen Gästforskning och vistelse vid annat lärosäte Konferensdeltagande Föreläsningar Opponent- och sakkunniguppdrag Anslag, priser och utmärkelser Seminarieserier Särskilda evenemang vid institutionen Forskarutbildning Forskarutbildning matematik Forskarutbildning matematisk statistik Doktorsavhandlingar Licentiatavhandlingar Utbildning på grund- och avancerad nivå Kurser och program Utbildning vid avdelning matematik Utbildning vid avdelning matematisk statistik Lärarutbildningen Internationalisering av utbildningar Erasmus Betalande studenter PACM (Pan African Center of Mathematics) Andra internationella insatser Examensarbeten Avdelning matematik Avdelning matematisk statistik SMC - Stockholms matematikcentrum Samverkan med samhället Vetenskapens hus Populärvetenskapliga föreläsningar Övriga samverkansinsatser Administration och ekonomi Administration Administrativa uppdrag inom institutionen Ledamotskap, uppdrag, extern verksamhet Övrig verksamhet Konsultverksamheten inom Statistiska forskningsgruppen Matematiska biblioteket Ekonomi Ekonomiskt utfall för Kommentarer om det ekonomiska utfallet för Bilagor Bilaga 1. Kurser i matematik och lärarutbildning i matematik Bilaga 2. Kurser i matematisk statistik Bilaga 3. Ekonomisk redovisning Utbildning på grund- och avancerad nivå (UGA) Bilaga 4. Ekonomisk redovisning Forskning och forskarutbildning (FUF)... 49

5 1 Personal Professorer, avd matematik Björk, Jan-Erik Fröberg, Ralf Merkulov, Sergei Palmgren, Erik Bøgvad, Rikard Kurasov, Pavel B Leites, Dimitry Shapiro, Boris Szulkin, Andrzej Zhou, Yishao Professorer, avd matematisk statistik Britton, Tom Palmgren, Juni (tjl) Silvestrov, Dmitrii Sundberg, Rolf Hössjer, Ola Tyrcha, Joanna Residyteori i flera komplexa variabler, D-moduler Algebra Geometri och algebra Matematisk logik Algebra Analys, operatorteori, mathematisk fysik Algebraisk geometri, differentialekvationer Icke-linjär funktionalanalys, icke-linjära differentialekvationer Matematisk statistisk, modellering för biologiska tillämpningar Statistisk vetenskap: teori och tillämpningar. Bland de senare särskilt inom paleoklimatforskning Populationsgenetik Neuroscience Forskarassistenter, biträdande lektorer, postdoktorer, avd matematik Forssell, Henrik Kategorisk logik Forskarassistenter, biträdande lektorer, postdoktorer, avd matematisk statistik Trapman, Pieter Matematisk statistik Universitetslektorer, vikarierande universitetslektorer och gästlärare, avd matematik Andersson, Johan (from sep) Analytisk talteori Backelin, Jörgen Berglund, Alexander (from april, tjl tom dec) Algebraisk topologi Bergström, Jonas (from april, tjl tom juli) Algebraisk geometri Börjeson, Lennart Harmonisk analys Gottlieb, Christian Kommutativ algebra Luger, Annemarie Analys Maad Sasane, Sara (tjl) Matematisk analys Rökaeus, Karl (from aug) Algebraisk geometri Svensson, Erik Tadesse, Yohannes (tom juni) Tambour, Torbjörn Algebra, matematikdidaktik Tamm, Martin Vaderlind, Paul Waliullah, Shoyeb (tom feb) Walther, Björn Gabriel Tzou, Leo (from apr, tjl) Inverse Problems Gennow, Susannen (from sep) Markussen, Anny (from sep) 5

6 Universitetslektorer, vikarierande universitetslektorer och gästlärare, avd matematisk statistik Brattström, Gudrun Klimatstatistik Deijfen, Maria Sannolikhetsteori Holmgren, Cecilia (from aug) Sannolikhetsteori Sköld, Martin Inferensteori, biostatistik Doktorander, avd matematik Aermark, Lior Alexandersson, Per Alm, Johan Backman, Theo Bergh, Daniel Bergvall, Olof Börjeson, Kaj (from aug) Espíndola, Christian Forsgård, Jens Gawell, Elin Robbestad Gylterud, Håkon Johansson, Petter Jost, Christine Leander, Madeleine Lundqvist, Johannes Martino, Ivan Neuner, Christoph (from nov) Oneto, Alessandro (from sep) Ottergren, Elin Tveiten, Ketil Doktorander, avd matematisk statistik Andersson, Patrik (tom juni) Ekheden, Erland (tjl 80%) Fetisova, Ekaterina (from sep) Höhna, Sebastian Lopes, Fabio Malmberg, Hannes (from juli) Malmros, Jens Jafari Mamaghani, Mehrdad Olsson, Fredrik Pang, Ying Petersson, Mikael Spricer, Kristoffer (from sep) Lindenstrand, David (tom juli) Kombinatorik Algebraisk geometri Algebraisk geometri Kategorisk logik Komplex geometri Beräkningsaspekter inom algebraisk geometri Komplex analys och komplex geometri Algebra, Geometry and Combinatorics Analys Analys Algebraisk geometri Matematisk statistik Försäkringsmatematik Inferens på sociala nätverk Matematisk statistik Matematisk Statistik - Populationsgenetik Stokastiska processer Doktorander inom International Science Program Abathun, Addisalem Goncalves, Iara Nonkane, Ibrahim Ogik, Rao Ongaro, Jared Amanuenser och tim- och projektanställda, avd matematik Alsaadi, Sarah Carlson, Magnus Kokkarinen, Anu Krüger, Oliver 6

7 Larsson, Pinar Loiko, Alexandre Malysheva, Inna (från feb) Ohlson Timoudas, Thomas Sass, John Zavala Svensson, Daniel Projektassistent Amanuenser, avd matematisk statistik Aksberg, Martina (from nov) Malmberg, Hannes (tom juni) Administrativ och teknisk personal, hela institutionen Königsson, Kerstin Administrativ chef Källström, Lisa (tjl från nov) Administratör Ringels, Katarina (från aug) Administratör Brolin, Ylva Byrådirektör Lindfors, Marianne Byrådirektör Nordgren, Christina Byrådirektör Ericsson, Tomas Forskningsingenjör 1:e Elfsö, Reine Institutionstekniker Bergstrand, Björn Forskningsingenjör 1:e Lundqvist, Samuel Forskningsingenjör 1:e Jonzon, Gustav Studievägledare Woldegiorgis, Sara (från sep) Utbildningskoordinator Persson, Jan-Olov Forskningsingenjör 1:e Björkström, Anders Forskningsingenjör 1:e Fernström, Barbro (tom nov) Bibliotekarie Emeriti, avd matematik Boman, Jan Björck, Göran Löfwall, Clas Martin-Löf, Per Roos, Jan-Erik Stenström, Bo Matematiska problem med ankn. till datortomografi, mikrolokal analys. Matematik Emeriti, avd matematisk statistik Höglund, Thomas af Klintberg, Louise Martin-Löf, Anders Svensson, Åke Bibliotekarier, anställda av Stockholms universitetsbibliotek Barbro Fernström (tom nov) Ann-Louise Löfgren (from jan) Lennart Eklind (from nov) Margaretha Strandberg (from nov) 7

8 Avdelning matematik I början av året befann sig avdelningen i kris som orsakades av de plötsliga bortgångarna hösten 2011 av de två främsta professorerna Mikael Passare och Torsten Ekedahl. Det var inte bara en chock som flera av oss upplevde när våra kära kollegor som var institutionens ansikte utåt och som ledde oss framåt, inte länge fanns med oss. De lämnade sex doktorander som var i akut behov av nya handledare, kurser som behövde undervisas och en hel del oavslutade projekt, både vetenskapliga och administrativa. Prefekten utnämnde en Mattegrupp bestående av Ralf Fröberg, Peter Strömberg, Samuel Lundqvist och mig med uppdrag att leda avdelningen genom krisen. Vi måste tacka våra kollegor på KTH och i Göteborg för att de ställde upp och tog över några av våra doktorander. Lärare på avdelningen tog på sig att undervisa extra kurser. Den akuta krisen var över men det återstod arbete att på nytt bygga upp avdelningens administration och sätta igång med nyanställningar. Vi försökte introducera tydliga regler som styrde avdelningens arbete. Först och främst genomfördes några åtgärder med tanken att stimulera forskningen på avdelningen: - Resebidrag till alla anställda, inte bara doktorander; - Rörlig resurs till aktiva forskare (inklusive kursutvecklingsarbete); - Gästbidrag för att bjuda in gäster. Varje steg i avdelningsarbetet diskuterades under avdelningsmötena (vi hade tre stycken bara under våren) och avdelningsdagen den 30 maj. Vi försökte ge alla anställda möjlighet att påverka framtiden och blir delaktiga i viktiga beslut. Vi kommer att minnas livliga diskussioner om nya tjänster under våren och hösten som slutade med att en professorstjänst med inriktning mot geometri och en lektorstjänst med inriktning mot analys annonserades vid årsskiftet För att minnas Mikael Passare och Torsten Ekedahl anordnades två minnesdagar under hösten, drygt ett år efter deras bortgång. Minikonferenserna samlade deras kollegor och medarbetare som presenterade nya resultat för varandra vilka skulle glädja Mikael och Torsten som levde för matematiken. Det kändes som gränsen mellan olika grenar av matematik kunde suddas ut och att matematiker verksamma i åtskilda områdena åter började inspirera varandra. Hösten 2012 har givit hopp till att avdelningen kan gå vidare, växa och gå ut från krisen ännu starkare. Pavel Kurasov Avdelningsföreståndare 8

9 2 Forskning Avdelning matematik På avdelning matematik finns det tre forskningsgrupper som är av olika storlekar. Algebra- och geometrigruppen är störst och mest inhomogen. Forskning bedrivs inom algebraisk geometri, algebraisk topologi, kommutativ och icke-kommutativ algebra, samt operader. Mer specifikt: Ramsey-teori (Jörgen Backelin) Algebraiska modeller för homotopiteori, automorfier av mångfalder, Koszuldualitet (Alexander Berglund) Kohomologi av modulirum av kurvor och abelska varietéer, och associerade modulära former (Jonas Bergström) Asymptotiska mått för nollställen till generaliserade hypergeometriska polynom i en variabel, splines och D-moduler, samt kvasipolynomiella lösningar till A-hypergeometriska system och deras asymptotiska beteende, direkta bilder av D-moduler för ändliga avbildningar och Specht och Kostkapolynom, perversa kärvar stratifierade längs ett centralt hyperplanarrangemang, samt plurisubharmoniska styckvis harmoniska funktioner (Rikard Bøgvad) Kommutativ algebra (Christian Gottlieb) Algebraiska aspekter av satisfierbarhetsproblemet och periodiska Liesuperalgebror (Samuel Lundqvist) Grothendieck-Teichmüllergrupper, operader och props av kompaktifierade konfigurationsrum, de Rham teori för singulära differentialformer på mångfalder med hörn, och kvantisering av Liebialgebror (Sergei Merkulov) Kurvor över ändliga kroppar (Karl Rökaeus) Waringproblemet för polynomringar, generalisering av Schmidt-Spitzer sats (Boris Shapiro) Logikgruppen, som består av Erik Palmgren och Per Martin-Löf (emeritus), utökades 2012 med två doktorander, Christian Espíndola och Håkon Robbestad Gylterud, anställde en postdoktor under tre månader, Olov Wilander, samt gästades av ett antal forskare under kortare eller längre perioder. Ett större forskningsproblem som undersökts har varit typteoretiska representationer av kategorier och interna modeller för typteori. Konstruktiva och kategoriteoretiska metoder i modellteori har varit ett annat tema under året. I Analysgruppen arbetar man med Topologiska metoder och variationsmetoder i icke-lineära differentialekvationer (Andrzej Szulkin) Inversa problem (med särskilt hänsyn till geometrin) för kvantgrafer och partiella differentialekvationer (Pavel Kurasov, Jan Boman, Leo Tzou) Sturm-Liouville problem med singulära potentialer (Annemarie Luger, Pavel Kurasov) Speciella funktionsklasser (Annemarie Luger) Avdelning matematisk statistik På avdelning matematisk statistik finns det flera mindre grupper: Diskret sannolikhetsteori: Mia Deijfen, Cecilia Holmgren, Pieter Trapman. Vi studerar diskreta probabilistiska objekt såsom slumpträd, spatiala strukturer och grafer. Frågeställningar rör ofta olika typer av fasövergångar. Nätverksmodellering: Tom Britton, Mia Deijfen, Pieter Trapman. Vi analyserar grafmodeller avsedda att beskriva komplexa nätverk, tex sociala nätverk, datornät och kommunikations-strukturer. Egen- 9

10 skaper hos graferna som det är intressant att kvantifiera är tex gradfördelning, avstånd mellan noderna, klustring och gradkorrelation. Epidemimodeller: Tom Britton, Pieter Trapman, Mia Deijfen. Modellering av smittsamma sjukdomars utbredning och dynamik. Kopplingar till nätverksmodellering (se ovan) genom att epidmier sprids på ett underliggande nätverk. Är då intressant att se hur nätverkets struktur påverkar egenskaper hos epidemin. Statistisk teori och tillämpningar: Rolf Sundberg, Martin Sköld. Arbetar bland annat med teori för exponentialla familjer (Rolf), inferens för stokastiska processer (Martin) och problem från kemometri (Rolf) och populationsmodellering (Martin). Finansmatematik: Dmitrii Silvestrov. Arbetar med modeller för prissättning av olika typer av finansiella derivat. Cellstokastik: Joanna Tyrcha, Martin Sköld. Probabilistiska modeller för cellcykeldynamik och statistisk analys av mikroskopisk cellmigrationsdata. Populationsgenetik: Ola Hössjer, Tom Britton. Ola arbetar med att bestämma så kallad effektiv populationsstorlek med hjälp av redskap från koalescence-teori. Samarbetar med populationsgenetiker. Tom arbetar med phylogenetiska modeller för populationsutveckling. Klimatstatistik: Gudrun Brattström, Rolf Sundberg. Arbetar med prediktonsproblem i samband med klimatrekonstruktion (dvs rekonstruktion av klimatet det senaste, säg, milleniet). Ger upphov till regressionsproblem med komplikationer i form av icke-lineariteter, autokorrelation och fel av olika typer. Samarbetar med klimatvetare. 10

11 2.1 Forskningsaktiviteter Publikationer Antagna och publicerade artiklar Abebaw, Tilahun; Bøgvad, Rikard Decomposition factors of D-modules on hyperplane confirgurations in genereal position. Proceedings of the American Mathematical Society. 2012;140(8): Aermark, Lior Alexandra; Laptev, A. Hardy inequalities for a magnetic Grushin operator with Aharonov-Bohm type magnetic field. St. Petersburg Mathematical Journal. 2012;23(2): Al Abdulaali, Ahmad Extension of Positive currents with Special Properties of Monge-Ampere Operators. Mathematica Scandinavica Alexandersson, Per Schur polynomials, banded Toeplitz matrices and Widom's formula. The Electronic Journal of Combinatorics. 2012;19(4):P22- Alexandersson, Per; Gabrielov, Andrei On eigenvalues of the Schrödinger operator with a complex-valued polynomial potential. Computational Methods and Function Theory. 2012;12(2): Alexandersson, Per; Shapiro, Boris Discriminants, Symmetrized Graph monomials and Sums of Squares. Experimental Mathematics. 2012; 21(4): Anderhag, Per; Emanuelsson, Patrik; et al. Students' Choice of Post-Compulsory Science: In search of schools that compensate for the socioeconomic background of their students. International Journal of Science Education.2012 Andersson, Patrik Card counting in continuous time. Journal of Applied Probability. 2012;49(1): Berger, Josef; Bridges, Douglas; Palmgren, Erik Double sequences, almost Cauchyness and BD-N. Logic journal of the IGPL. 2012;20(1): Berkesch, Christine; et al. Poset structures in Boij Söderberg theory. International mathematics research notices. 2012;22: Berkesch, Christine; et al. Shapes of free resolutions over a local ring. Mathematische Annalen. 2012;354(3): Björkander, Sofia; Persson, Jan-Olov; et al. Pregnancy-associated inflammatory markers are elevated in pregnant women with systemic lupus erythematosus. Cytokine. 2012;59(2):

12 Boman, Jan; et al. MicrolocalAnalysis of an Ultrasound Transform with Circular Source and ReceiverTrajectories. Contemporary Mathematics Boström, Stephanie; Persson, Jan-Olov; et al. Changes in the levels of cytokines, chemokines and malaria specific antibodies in response to Plasmodium falciparum infection in children living in sympatry in Mali. Malaria Journal. 2012;11:109- Boström, Stéphanie; Persson, Jan-Olov; et al. Biomarkers of Plasmodium falciparum infection during pregnancy in women living in Northeastern Tanzania. PloS one. 2012;7(11):e48763-(10pp) Bouarroudj, S.; Leites, Dimitri A.et al. Minkowski superspaces and superstrings as almost real complex supermanifolds. Theoretical and mathematical physics. 2012;173(3): Britton, Tom; Lindenstrand, David Inhomogeneous epidemics on weighted networks. Mathematical Biosciences. 2012; 240(2): Britton, Tom; Trapman, Pieter Maximizing the size of the giant. Journal of Applied Probability. 2012;49: Caster, Ola; Norén, G. Niklas; et al. Quantitative Benefit-Risk Assessment Using Only Qualitative Information on Utilities. Medical decision making. 2012;32(6):E1-E15. Charpentier Ljungqvist, Fredrik; Brattström, Gudrun; et al. Northern Hemisphere temperature patterns in the last 12 centuries. Climate of the Past. 2012;8: Deijfen, Maria; Haggstrom, Olle; Holroyd, Alexander E. Percolation in invariant poisson graphs with i.i.d. degrees. Arkiv för matematik. 2012;50(1): Deijfen, Maria; Lopes, Fabio M. Bipartite Stable Poisson Graphs on R. Markov processes and related fields. 2012;18(4): Fröberg, Ralf; Ottaviani, Giorgio; Shapiro, Boris On the Waring problem for polynomial rings. Proceedings of the National Academy of Sciences of the United States of America. 2012; 109(15): Fulton, Charles; Langer, Heinz; Luger, Annemarie Mark Krein's method of directing functionals and singular potentials. Mathematische Nachrichten. 2012;285(14-15): Gavazzeni, Joachim; Andersson, Tom; et al. Age, Gender, and Arousal in Recognition of Negative and Neutral Pictures 1 Year Later. Psychology and Aging.2012;27(4): Grunewald, Maria; Hössjer, Ola A General Statistical Framework for Multistage Designs. Hind, Alistair; Moberg, Anders; Sundberg, Rolf Statistical framework for evaluation of climate model simulations by use of climate proxy data from the last millennium Part 2: A pseudo-proxy study addressing the amplitude of solar forcing. Climate of the Past. 2012;8(4): Koval, Vyacheslav; Meester, Ronald; Trapman, Pieter 12

13 Long range percolation on the hierarchical lattice. Electronic Journal of Probability. 2012;17:1-21. Kurasov, Pavel Can one distinguish quantum trees from the boundary? Proceedings of the American Mathematical Society. 2012;140(7): Lin, Peng; Zhao, Hongmei; et al. A new approach to average consensus problems with multiple time-delays and jointly-connected topologies. Journal of the Franklin Institute. 2012; 349(1): Lu, Xin; Britton, Tom; et al. The sensitivity of respondent-driven sampling. Journal of the Royal Statistical Society: Series A. 2012;175(1): Lundqvist, Johannes A local Grothendieck duality theorem for Cohen-Macaulay ideals. Mathematica Scandinavica. 2012;111(1): Lundqvist, Samuel Multiplication matrices and ideals of projective dimension zero. Mathematics in Computer Science. 2012;6(1): Palmgren, Erik A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis. Journal of Logic and Analysis. 2012;4(2):1-7. Palmgren, Erik Proof relevance of families of setoids and identity in type theory. Archive for mathematical logic. 2012;51(1-2): Pavlenko, Tatjana; Björkström, Anders; Tillander, Annika Covariance structure approximation via glasso in high dimensional supervised classification. Journal of Applied Statistics. 2012;39(8): Pellis, Lorenzo; Ball, Frank; Trapman, Pieter Reproduction numbers for epidemic models with households and other social structures. I. Definition and calculation of R-0. Mathematical Biosciences. 2012;235(1): Ronquist, Fredrik; Höhna, Sebastian; et al. MrBayes 3.2: Efficient Bayesian Phylogenetic Inference and Model Choice Across a Large Model Space. Systematic Biology.2012:61(3): Roos, Jan-Erik Torsten Ekedahl. EMS Newsletter. 2012;84(june): Saldanha, Nicolau C.; Shapiro, Boris Spaces of locally convex curves in Sn and combinatorics of the group B^{+ n+1}. Journal of Singularities. 2012;4:1-22. Shapiro, Boris; Shapiro, Michael A few riddles behind Rolle's theorem. The American mathematical monthly. 2012;119(9): Shapiro, Boris; Tater, Milos; Takemura, Kouichi On spectral polynomials of the Heun equation.ii. Communications in Mathematical Physics. 2012;311(2):

14 Sundberg, Rolf; Moberg, Anders; Hind, Alistair Statistical framework for evaluation of climate model simulations byuse of climate proxy data from the last millennium: Part 1: Theory. Climate of the Past. 2012;8: Szulkin, Andrzej; Waliullah, Shoyeb Sign-changing and symmetry-breaking solutions to singular problems. Complex Variables and Elliptic Equations. 2012;57(11): Verrall, Richard; Hössjer, Ola; Björkwall, Susanna Modelling claims run off with reversible jump markov chain Monte Carlo methods. Astin Bulletin: Actuarial Studies in Non-Life Insurance. 2012;42(1): Rapporter avd matematik Roos, Jan-Erik, Clas Löfwall, Samuel Lundqvist A Gorenstein numerical semi-group ring having a transcendental series of Betti numbers Rapporter avd matematisk statistik Mikael Petersson & Dmitrii Silvestrov: Asymptotic Expansions for Perturbed Discrete Time Renewal Equations and Regenerative Processes Ola Hössjer: Spatial Autocorrelation for Subdivided Populations with Invariant Migration Schemes Frank Ball, Tom Britton & David Sirl: A network with tunable clustering, degree correlation and degree distribution, and an epidemic thereon Elinore Gustafsson, Andreas N. Lagerås & Mathias Lindholm: Simulation based claims reserving in general insurance Åke Svensson: Who was the infector - probabilities in the presence of individual variability Hannes Malmberg & Ola Hössjer: Argmax over Continuous Indices of Random Variables - An Approach Using Random Fields Hössjer, Ola; et al. Olline distributed detection by local sensors Ola Hössjer, Tommy Nyberg, Stefan Petrovic, Tommy Öberg & Frank Sjöberg: Bayesian Distributed Detection by Sensor Networks with Missing Data Ola Hössjer, Per Erik Jorde & Nils Ryman: Quasi Equilibrium Approximations of the Fixation Index under Neutrality: The Finite and Infinite Island Models. Ola Hössjer & Nils Ryman: Quasi Equilibrium, Variance Effective Size and Fixation Index for Populations with Substructure Tom Britton & Pieter Trapman: Inferring global network properties from egocentric data with applications to epidemics Jakob Björnberg, Tom Britton, Erik Broman & Eviatar Natan: A stochastic model for virus growth in a cell population Tom Britton & David Lindenstrand: Inhomogeneous epidemics on weighted networks 14

15 Bok eller bidrag till bok Boman, Jan On local injectivity for weighted Radon transforms. Kapitel i bok: The mathematical legacy of Leon Ehrenpreis. 2012: Britton, Tom; Diekmann, Odo; Heesterbeek, Hans Bok: Mathematical tools for understanding infectious disease dynamics. Princeton series in Theoretical and computational biology Dybjer, Peter; Lindström, Sten; Palmgren, Erik Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Proceedings i serien Logic, Epistemology, and the Unity of Science. 2012: Palmgren, Erik Constructivist versus Structuralist Foundations. Bidrag i Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Proceedings i serien Logic, Epistemology, and the Unity of Science. 2012: Gäster vid institutionen Pavel Kursasov Prof. S. Naboko, S:t Petersburg, 1-30 juni, 1-30 september Annemarie Luger Sandra Pott, Lunds universitet, 24-26/4, Olga Rossi, Ostrava, november Erik Palmgren Benno van den Berg, Universiteit Utrecht, 5-9 november Douglas Bridges, University of Canterbury, Nya Zeeland, 13 januari - 9 februari Peter Dybjer, Chalmers/Göteborgs universitet, september Thierry Coquand, Chalmers/Göteborgs universitet, 9-10 augusti Henrik Forssell, Oslo universitet, augusti, 4-10 november Hajime Ishihara, JAIST, Japan, 13 mars - 22 mars Sam Sanders, University of Ghent, 8-9 maj Peter Schuster, Leeds University, 27 februari - 22 mars, november Tero Tulenheimo, University of Lille, 21 november Boris Shapiro A. Gabrielov, Purdue University, May-June 2012 Inna Scherbak och Sergey Chmutov 1vecka var under hösten 2012 Andrzej Szulkin Monica Clapp, 2 veckor i juni, Mexico Pieter Trapman Frank Ball, May 21-May25, Nottingham UK (tillsammans med Tom Britton) Shirshendy Chatterjee, Aug 15-Aug 21, Courant Institute, New York, US 15

16 Joanna Tyrcha John Hertz, Niels Bohr Institute, University of Copenhagen, Denmark;regelbundet: ca 2-3 gånger per månad (i en vecka) Gästforskning och vistelse vid annat lärosäte Johan Andersson Montreal (August 20th-September 1st 2012). Guest of Paul M. Gauthier Talks: August 21st "On a problem of Ramachandra and the zeta-function on the line Re(s)=1" August 28th: "Voronin universality in several complex variables" Patrik Andersson Ritsumeikan University, Japan, oktober Alexander Berglund EPFL, Lausanne (Schweiz), 19 februari - 3 mars UPMC (Paris 6), Paris (Frankrike), 30 april - 7 maj Jan Boman Tufts University, Medford, Mass, 8-13 januari Cecilia Holmgren Leave of absence for postdoc at Department of Pure Mathematics and Mathematical Statistics at Cambridge University, January 1-July 31. Johannes Lundqvist Krasnoyarsk, Ryssland, 27/6-7/7. Sara Maad Sasane University of Surrey, September 2011-December Jag är gästforskare på University of Surrey, inom mitt mobilitetsanslag från Vinnova (VINNMER), ( ). Sergei Merkulov Max-Planck Institute for Mathematics, Bonn, Germany; januari University of Toulouse, France; maj Erik Palmgren Institute of Advanced Study, Princeton, 7-21 oktober. Boris Shapiro Invited professor, Nanyang Technological University, Singapore, April Invited professor, Moscow School of Economics, November Andrzej Szulkin Nicolas Copernicus University, Torun, Polen, maj. Pieter Trapman VU University Amsterdam, Feb 5-Mar 12. Duke University, North Carolina US, March 26-March 30. MIT workshop "Stochastic Networks" Cambridge, MA, US, June Karl Rökaeus Postdoc vid Universiteit van Amsterdam till och med 15/8. Joanna Tyrcha Niels Bohr Institute, University of Copenhagen, Denmark, en vecka i juli

17 Regelbundet: ca en gång per månad NORDITA, Stockholm. Leo Tzou University of Helsinki (Sept - Dec) Unversity of Jyvaskyla (Dec) Konferensdeltagande Per Alexandersson Arbeitsgemeinschaft Diskrete Mathematik, October 16, 2012, Universität Wien. Stretched skew Schur polynomials are recurrent. Invited speaker in relation to Approximation days, July 2 3, 2012, Leuven, Schur polynomials and Widom s formula. Johan Andersson Second Finnish-Swedish conference in number theory, Oulu, May Talk: "Universality for multiple zeta functions in several complex variables" Elementare und Analytische Zahlentheorie 2012, August 13-18, 2012 Schney. Talk: "Voronin Universality in several complex variables" Daniel Bergh GAeL XX i Grenoble juni Bidrag "Computations in the Grothendieck group of stacks" Alexander Berglund Homotopical Algebra and its Applications, CIRM, Luminy (Frankrike), 25 juni Föredrag: Rational homotopy automorphisms of spaces via infinity-groupoids and Koszul duality. Stanford Symposium 2012, Algebraic Topology: Applications and New Directions, Stanford University (USA), 24 juli Föredrag: Homological stability for automorphisms of manifolds. Oberwolfach meeting 'Topologie', MFO, Oberwolfach (Tyskland), 17 september Föredrag: Homological stability for automorphisms of manifolds. Cohomological methods in group theory, BIRS, Banff (Canada), 30 november Föredrag: Rational cohomology of automorphisms of highly connected manifolds. Norwegian Topology Meeting 2012, Universitetet i Oslo (Norge), 7 december Föredrag: Rational homotopy theory of automorphisms of highly connected manifolds. Algebraic Homotopy, Operads and Grothendieck-Teichmüller groups, Université de Nice-Sophia Antipolis (Frankrike), 19 december Föredrag: Rational homotopy theory of automorphisms of highly connected manifolds. Olof Bergvall Géometrie Algébrique en Libérté, juni, Poster: "The Tautological Ring of the Universal Curve" Jan Boman American Mathematical Society konferens i Boston 4-7 januari 2012,Special session on Radon transforms and Geometric Analysis. "Local injectivity of generalized Radon transforms". Geometric Analysis on Euclidean and Homogeneous spaces, Tufts University, Medford, Mass, 8-9 januari Conference on inverse problems in honor of Gunther Uhlmann, University of California, Irvine, juni, Gudrun Brattström Bert Bolin Centre for Climate Research Annual Meeting (Stockholms universitet), November Jag var med på två posters: Anders Moberg, Alistair Hind, Håkan Grudd, Gudrun Brattström, Rolf Sundberg, Katarina Fetisova, Rodrigo Caballero, Qiong Zhang: "A GCM-Reality Intercomparison Project for the last millennium". Fredrik Charpentier Ljungqvist, Paul J. Krusic, Eduardo Zorita, Hanna S. Sundqvist, Gudrun Brattström: "Northern Hemisphere hydrological patterns in the last 12 centuries". 17

18 Tom Britton Workshop on networks and epidemics, Ohio, USA, mars, 2012 Nordic Conference on Mathematical statistics, Umeå, juni, 2012 Föreläsare vid 4th Summer Institute in Statistics and Modeling in Infectious Diseases, Seattle, USA, juli, 2012 Workshop on Discrete geometric analysis, Kyoto, Japan, september 2012 Erland Ekheden European Congress of Actuaries, Bryssel, 7-8 juni Höll föredrag, "Pricing catastrophe risk in life (re)insurance". Cecilia Holmgren Probabilistic Combinatorics, Barbados workshop March Title: A conjecture by Feige. 8th International Purdue Symposium on Probability and Statistics June, keynote speaker Title: The total path length of split trees. Ola Hössjer Gave a talk Quasi equilibrium methods in population genetics at the 24th Nordic conference in Mathematical Statistics (Nordstat) in Umeå, June 2012 Gave a talk Spatial autocorrelation for subdivided populations at Modern Stochastics: Theory and Application III, Kiev, September 2012 Christine Jost SIAM annual meeting, Minneapolis, 9-13 juli 2013, Poster: Computing Characteristic Classes in Algebraic Geometry Pavel Kurasov Quantum graphs in Mathematics, Physics and Applications, Stockholm univ, December 7-8, 2012, organizer, lecture On spectral gap for quantum graphs'' Spectral Theory and Its Applications, Bordeaux, France, October 3-5, 2012, invited lecture Magnetic field and inverse problems for quantum graphs'' Dynamical Systems on Random Graphs, CIEM, Castro Urdiales, Spain, September , 2012 Invited lecture Lasso graph: inverse problem and spectral properties'' Operator Theory, Analysis and Mathematical Physics - OTAMP2012, Bellaterra, Barcelona, Spain, June 11-14, 2012 (organizer) EPSRC research network inaugural meeting, Cardiff, Wales, UK, May 14, 2012 Dissipative Spectral Theory: Operator Theory, PDEs and Numerics, Cardiff, Wales, UK, May 8-11, Lecture Lasso graph: the inverse problem is actually solvable Annemarie Luger Spectral Theory and Differential Operators, Graz (A), , Talk: On the multiplicity of generalized poles Operator Theory, Analysis and Mathematical Physics, CRM Barcelona (Spain), , Talk: Strongly singular Sturm-Liouville problems Dissipative Spectral Theory: Operator Theory, PDEs and Numerics, Cardiff (UK), , Mark Krein's Method of Directing Functionals and Singular Potentials " Johannes Lundqvist KAUS, Stockholm, 27/1-29/1, A local duality principle for ideals of pure dimension Jens Malmros Nordstat 2012, Umeå, juni, Respondent-driven sampling on directed networks 18

19 Mehrdad Jafari Mamaghani 2nd Annual Meeting of EU-FP7-Systems Microscopy Network of Excellence, Kloster Eberbach, Germany, April 24-25, 2012, "Modeling Causality in Cell Migration" 24th Nordic Conference on Mathematical Statistics, Umeå, Sweden, June, 2012, "Modeling Causality in Cell Migration" Ivan Martino December 2012 MSRI-program in Commutative Algebra, San Francisco, California, USA September 17-19, 2012, 15 years of Pragmatic, Conference on Algebraic Geometry and Commutative Algebra, Catania, Italy, July 18-20, 2012, Workshop: Iberian meeting on numerical semigroups, Vila Real, January 16-20, 2012, Learning and Intelligent Optimization Conference, LION 6, Paris, France. Sergei Merkulov Conference Homotopy Algebra and Its Applications. Celebrating Yves Felix' 60th birthday, Luminy, France, June Invited speaker Conference 3Quantum: Algebra, Geometry, Information, Tallin, Estonia, July Invited speaker Fredrik Olsson 14'th Stockholm-Uppsala symposium in Mathematical statistics, Stockholms universitet, 31/5-2012: Effective Size of Populations of Varying Size with Spatial Structure 24th Nordic Conference in Mathematical Statistics, NORDSTAT, Umeå 13/6-2012: Effective Population Size Erik Palmgren Workshop on formal topology, Ljubljana juni, Point-free topology and constructive analysis. Workshop on proof theory and constructivism, Helsingfors, 23 mars, Inversion principles in logic and type theory and the foundations of mathematics. Mikael Petersson Modern Stochastics: Theory and Applications III, Kiev, september, "Quasi-stationary distributions for perturbed regenerative processes with discrete time" Boris Shapiro Bruce 60 Wall 75 Conference, Liverpool, June 2012, invited speaker. V.I.Arnold's 75th birthday Conference, Moscow, December 2012, invited speaker. Andrzej Szulkin International Conference on Variational Methods and Nonlinear Partial Differential Equations, Beijing, april, föredrag: A new concentration phenomenon for a semilinear elliptic equation The 9th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Orlando, 1-5 juli, föredrag: A concentration phenomenon for a semilinear elliptic equation Workshop on Nonlinear Equations, Joao Pessoa (Brasilien), september, föredrag: A concentration phenomenon for a semilinear elliptic equation Pieter Trapman Stochastic activity month, Scaling limits in spatial probability, Eurandom Eindhoven, NL, February 8, Talk: "The growth of the infinite long-range percolation cluster and an application to spatial epidemics" Workshop "Evolution and Spread of Disease", March 19-23, Columbus, Ohio, US. Moderator for discussion on graph models in epidemiology Nordstat Conference, June 10-14, Umeå, Se, Talk: "R_0 and other reproduction numbers for epidemic models with household structure" Joanna Tyrcha 10th International Workshop Neural Coding 2012, Prague, Czech Republic, September 2-7, 2012; 19

20 Föreläsning:"Network Inference with Stochastic Hidden Units". Leo Tzou Invited talk at Gunther Uhlmann's 60th birthday conference (UC irvine) Paul Vaderlind The 2'nd EAUMP Conference, Arusha, Tanzania, 20.08/ Föreläsningar Johan Andersson Mikael Passare Dagen, 14 September 2012, "Voronin universality in several complex variables" Alexander Berglund EPFL Lausanne (Schweiz), 28 februari 2012.Seminarium: Rational cohomology of homotopy selfequivalances and diffeomorphisms groups Masterclass on Koszul duality for operads, Københavns Universitet (Danmark), april Tre föreläsningar: Rational homotopy theory UPMC (Paris 6), Paris (Frankrike), 30 april Seminarium: Rational homotopy automorphisms via Deligne-Getzler infinity-groupoids and Koszul duality Tom Britton Seminarium, Umeå Universitet Ralf Fröberg Porto, Portugal, The waring problem for polynomials Cecilia Holmgren Uppsala Probability Seminar.Title: The total path length of split trees Ola Hössjer Seminar at Statistics department, Stockholm University, April 18, 2012, Quasi equilibrium methods in population genetics. Seminar at Division of Mathematical Statistics, Linköping University, April 24, 2012, Quasi equilibrium methods in population genetics Seminar at Division of Mathematical Statistics, Stockholm University, April 25, 2012, Quasi equilibrium methods in population genetics Seminar at Department of Statistics, Lund University, November , Quasi equilibrium methods in population genetics Petter Johansson Minnesdag för Mikael Passare Coamoebas of linear spaces Christine Jost Mars, small talk seminar, KTH, föredrag: Toric vector bundles Februari, doktorandseminariet, föredrag: From degree and genus to Chern classes Annemarie Luger Docentföreläsning, , Sturm-Liouville problem: från klassiskt till singulärt Kollokvium, LU, : Mark Krein's Method of Directing Functionals and Singular Potentials Analysis seminar KTH, , On what a Nevanlinna function can do for you Johannes Lundqvist KASS, Chalmers, Göteborg, 14/3, A cohomological residue and a local duality theorem for ideals of pure dimension Svenska matematikersamfundets höstmöte i Luleå, 23/11, An effective uniform Artin-Rees lemma 20

21 Samuel Lundqvist CSC KTH 13 february 2012: The SAT problem and Boolean Gröbner bases Sara Maad Sasane Surface fitting with boundary data. Seminarium på Syngenta, UK, 28 november 2012 Mehrdad Jafari Mamaghani Precolloquium to SMC Colloquium. Oskar Klein Aula, : A history of evolutionary thought Jan-Erik Roos Hållit parentation vid KVA den 15 februari 2012 över framlidne medlemmen av matematik-klassen vid KVA Torsten Ekedahl. Publicerades i akademiens årsberättelse 2012 Boris Shapiro KTH, Analysis Seminar - October 2012 Pieter Trapman Linköping, September 15, Long-range percolation on the hierarchical lattice Opponent- och sakkunniguppdrag Tom Britton Sakkunnig för professur i biostatistik, Göteborgs universitet Sakkunig för 2 lektorat i statistik, Linköpings universitet Maria Deijfen Medlem i VR-panelen för matematik och teknisk matematik Sakkunnig för lektorat i matematisk statistik vid Matematiska vetenskaper, Chalmers. Sakkunnig för lektorat i matematisk statistik vid Luleå tekniska högskola. Ralf Fröberg Pedagogisk sakkunnig, lektorsanställning matematik, SU Ola Hössjer Licentiate opponent of Marina Rafajlovic thesis Genetic variation in structured populations, Department of Physics, Gothenburg University, June Member of examination committee of Lina Schelin's dissertation, Mathematical Statistics. Dept. of Mathematics and Mathematical Statistics, Umeå University, April Member of examination committee of Thomas Frisell's dissertation, Psychiatric epidemiology, Karolinska Institute, Stockholm, June Scientific expert for Promotion of Lars Rönnegård to Professor of Statistics at Dalarna University, April Scientific expert for one professor position in Statistics at the University of Jyväskylä, Department of Mathematics and Statistics, May Scientific expert for one lecturer position in Mathematical Statistics, directed towards applications, at Uppsala University, June Pavel Kurasov Sakkunnig för Alexei Iantchenkos ansökan för befordran till professor (Malmö högskola) Opponent: 16 april, 2012, Linköpings universitet, Sonja Radosavljevic, Pairs of projections on Hilbert spaces Sara Maad Sasane Medlem i betygsnämnden för Marie Frentz disputation, 24 februari

22 Erik Palmgren Sakkunnig för lektorat i programmeringslogik, Chalmers, rapport 17 november Boris Shapiro Diskutant för licentiat av Elin Ottergren samt Ketil Tveiten Rolf Sundberg Betygsnämnd för Fil Dr (Frank Eriksson) Matem. statistik, Chalmers/Göteb.Univ. 27 april 2012 Betygsnämnd för Fil Dr (Erik Alm) Analytisk kemi, Stockholms Univ. 25 maj 2012 Torbjörn Tambour 16 november 2012, Linnéuniversitetet i Växjö, opponent/granskare vid Henrik Carlssons licentiatseminarium, titel Undervisningsform, klassrumsnormer och matematiska förmågor. Pieter Trapman February 10, VU University Amsterdam, The Netherlands PhD opponent of Matthijs Joosten. Joanna Tyrcha Expertläsare för Högskoleverkets utvärdering av matematik (25 avhandlingar), oktober 2012-januari Anslag, priser och utmärkelser Johan Andersson Crafoord prize research grant diploma, kr for the project "Universality of multiple zetafunctions in several complex variables" Gudrun Brattström (samt medsökande Rolf Sundberg) VR-anslag för perioden för projektet A statistical framework for comparing paleoclimate data and climate model simulations Tom Britton Projektbidrag VR Projektbidrag Riksbankens Jubileumsfond Organisatör av 14:e Stockholm-Uppsala symposiet i matematisk statistik (Sto-Upp) Ordförande i programkommittén för 24'th Nordic conference on mathematical statistics (Nordstat), Umeå, juni, 2012 Cecilia Holmgren 4 year grant for young researchers from the Swedish Research Council (VR). Pavel Kurasov Cooperation group Discrete and Continuous Models in the Theory of Networks'' (ZIF, Bielefeld) (tillsammans med Delio Mugnolo (Ulm) oct Fatihcan Atay (Leipzig) Mehrdad Jafari Mamaghani KVA, Magnussons Fond Ivan Martino KVA:s grant for a maximum amount of kronor; SMS:s grant for the amount of 6000 kronor Sergei Merkulov Magnusson anslag 22

23 Fredrik Olsson Stiftelsen G.S. Magnussons, Kungliga Vetenskaps Akademin, Stockholm, 2012 Leo Tzou VR - 800,000 SEK per year over 4 years Finnish Academy Fellowship - 750,000 SEK per year over 3 years Paul Vaderlind Paul Erdös Award, Seminarieserier Seminarier i matematisk statistik Feb 22, Tom Britton, SU: Weighted networks with applications Feb 24, Denis Mollison, Herriot Watt, Edinburgh, UK: Theory, statistics and politics of preferential voting Mar 7, Rebecca Jörnsten, Chalmers: Large-scale network modeling, data integration and experimental planning, with applications to cancer genomics Apr 4, Fabio Lopes, SU: Percolation for Poisson Bipartite stable graphs in R^d Apr 18, Mehrdad Jafari Mamaghani, SU: Causality in Cell Migration Apr 25, Ola Hössjer, SU: Quasi equilibrium methods in population genetics May 2, Olle Häggström, Chalmers: A stochastic model for consensus formation in social networks May 16, David Bolin, Lund: Excursion and contour uncertainty regions for latent Gaussian models May 23, Frank Ball, Nottingham, UK: Identifiability of Aggregated Markov Models of Single Ion Channels Aug 15, Shirshendu Chatteryee, New York, US: Symptotic Behavior of Aldous' Gossip Process Sep 12, Patrik Andersson, SU: Efficient calculation of financial Greeks Sep 19, Cecilia Holmgren, SU: The total path length of split trees Sep 26, Sebastina Höhna, SU: Estimating non-constant species diversification rates and patterns under incomplete, systematic species sampling Okt 3, Svante Janson, Uppsala, Simply generated trees, conditioned Galton-Watson trees, random allocations and condensation Nov 7, David Sumpters, Uppsala: How to make a reinforced random walk solve transport problems Dec 19, Sara Sjöstedt-De Luna, Umeå: Modelling varved lake sediment to detect past environment and climate changes - a functional data analysis approach Algebra och geometriseminarier 11 January. Jan-Erik Roos: New results about Hilbert series of noncommutative algebras 23

24 1 February. Jesper M. Møller: Euler characteristics of subgroup categories 8 February. Afshin Goodarzi: Algebraic shifting and ideals with linear resolution 15 February. Boris Shapiro: On the Waring problem for polynomial rings 22 February. Björn Selander: Elementary version of Giraud's non-abelian 2-cohomology 7 March. Sergei Merkulov: A line in the plane and the Grothendieck-Teichmueller group 4 April. Sandra Di Rocco: Higher order toric projective duality 18 April. Lars Halvard Halle: Degenerations of Calabi-Yau varieties and motivic zeta functions 25 April. Johan Alm: The universal noncommutative A_\infty deformation of Gerstenhaber algebras 2 May Matthew Stamps: Betti diagrams of graphs 16 May. Roy Skjelnes: The Weil restriction and the Quot scheme. 23 May. Karen Vogtmann: Automorphisms of free groups, hairy graphs and modular forms 30 May. Jan-Erik Roos: Bass series of local rings. Computational aspects and conjectures. 14 June. Dan Petersen: The structure of the tautological ring in genus one 12 september. Linda Chen: Equivariant quantum cohomology of flag varieties, transversality and positivity 19 september. Karl Rökaeus: New curves with many points over small finite fields 26 september. Wojciech Chachólski: Injective resolutions in relative homological algebra 3oktober. Jack Hall: Coherent functors and their applications to moduli 17 oktober. Maxim Zabzine: Generalized Kahler geometry and related topics 24 oktober. Ralf Fröberg: On differential operators of numerical semigroup rings 31 oktober. Ozgur Ceyhan: Feynman integrals, motives of configuration spaces, and multiple zeta values. 7 november. Carel Faber & Dan Petersen: The Gorenstein conjecture fails for the tautological ring of stable n-pointed genus two curves 14 november. Enrico Carlini: Waring Problem for forms 23 november. Olga Rossi: Lagrangian and Hamiltonian duality 28 november. E. Dror Farjoun: A homotopy approach to Galois cohomology. 5 december. Leif Melkersson: Finiteness properties of (local cohomology modules) with support at a closed set of dimension one. 24

25 Analysseminarier Analysseminariet startade bara under hösten, och gick oregelbundet pga av många föredrag inom ett program på Institut Mittag-Leffler: 12 september, Jan Chabrowski (University of Queensland, Australia ) On the Neumann problem for systems of elliptic equations involving homogeneous nonlinearities of a sub-critical and critical degree 10 oktober, Pavel Exner (Doppler Institute for Mathematical Physics and Applied Mathematics, Prague ): Fat graphs and the meaning of the vertex coupling 17 oktober, Alexander Vasil'ev (University of Bergen, Norway ): Sub-Riemannian structures corresponding to Kaehlerian metrics on the universal Teichmueller space and curve Logikseminarier 18 January. Douglas S. Bridges, University of Canterbury, Christchurch, New Zealand. Approaching topology constructively via apartness 25 January. Håkon Robbestad Gylterud (SU). Symmetric Containers 1 February. Dag Prawitz. Gentzen's 2nd consistency proof and normalization of natural deductions in 1st order arithmetic 8 February. Christian Espíndola (SU). Categorical methods in model theory 15 February. Martin Blomgren (KTH). Essentially small categories 24 February. Mohammad Jabbari (SU). Algebraic Theories and Algebraic Categories 29 February. Peter Schuster (Leeds). A Proof Pattern in Algebra 7 March. Erik Palmgren. What is an internal setoid model of dependent type theory? 21 March. Hajime Ishihara (Japan Advanced Institute of Science and Technology). Some Conservative Extension Results of Classical Logic over Intuitionistic Logic 18 April. Juha Kontinen, Helsinki. Axiomatizing first-order consequences in dependence logic 25 April. Henrik Forssell, Oslo. Recovering theories from their models 9 May. Sam Sanders, Ghent University. Reuniting the antipodes: bringing together Constructive and Nonstandard Analysis 30 May. Dag Westerståhl. Compositionality in context 12 September. Peter Dybjer (Chalmers). Tests, games, and Martin-Löf's meaning explanations for intuitionistic type theory 26 September. Erik Palmgren. Survey of notions of models for dependent type theories 7 November. Benno van den Berg, Utrecht University. Predicative toposes 8 November. Henrik Forssell, University of Oslo. Simplicial databases 21 November. Tero Tulenheimo, University of Lille. Classical Negation and Game-Theoretical Semantics 25

26 28 November. Peter Schuster, Pure Mathematics, University of Leeds. When Irreducibles are Prime 5 December. Allard M. Tamminga, Bayreuth and Groningen. Correspondence analysis for many-valued logics (joint work with Barteld Kooi) 12 December. Håkon Robbestad Gylterud. The partiality monad and its algebras Plurikomplexa seminarier 1 mars. Egmont Porten: Holomorphic extension from CR manifolds and hypoellipticity Robert Berman: The volume of Kähler-Einstein-Fano varieties Hassin El Mir: Topics in pluricomplex analysis 17 april. Urban Cegrell: The complex Monge-d Ampere operator 29 maj. Jens Forsgård: Lopsided Coamoebas 6 november Jan Erik Björk: Residues and currents on compact Riemann surfaces in dimension one Urban Cegrell: Introduction to Pluripotential Theory 5 december. Kaj Nyström, Uppsala University: Boundary behaviour for non-negative solutions to non-linear and degenerate parabolic PDE:s Håkan Persson, Uppsala University: Approximation of Plurisubharmonic Functions and Stein Neighborhood Bases Doktorandseminarier 3 feb. Håkon Robbestad Gylterud. Symmetric Containers 17 feb. Christine Jost. From degree and genus to characteristic classes 9 mars Christian Espíndola. Complete theories and their applications 30 mars. Per Alexandersson. Seminar on Mathematica 13 april. Daniel Bergh. Intersection theory and enumerative geometry 27 april. Afshin Goodarzi. On the Hilbert Series of Monomial Ideals 25 maj. Theo Backman. Associative algebras up to homotopy 14 sep. Per Alexandersson. Skew Schur polynomials from stretched SSYT:s satisfy a linear recurrence A 28 sep. Olof Bergvall. Integral lattices and discriminant forms 12 okt. Kaj Börjeson. Knots and the Jones Polynomial 26 okt. Alessandro Oneto. Waring's Problem: Secant varieties and defectiveness 9 nov. Elin Ottergren. Multiplier sequences for generalized Laguerre bases 23 nov. Inna Malysheva. The C-invariant of tangles 7 dec.christoph Neuner. Shift-invariant linear relations on the Hardy space H^2 26