21.11.2014 Views

Biannual Report - Fachbereich Mathematik - Technische Universität ...

Biannual Report - Fachbereich Mathematik - Technische Universität ...

Biannual Report - Fachbereich Mathematik - Technische Universität ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

13.09.12 Understanding the Reasons for the Side-Channel Leakage is Indispensable for Secure<br />

Design<br />

PROOFS 2012, Leuven<br />

21.11.12 Der stochastische Ansatz in der Poweranalyse - ein effizientes Angriffsverfahren und<br />

ein designunterstützendes Werkzeug<br />

Oberseminar am Lehrstuhl Security in Telecommunications, TU Berlin<br />

Kay Schwieger<br />

06.09.12 Asymptotics of diagonal quantum couplings<br />

2012 LMS Midlands Regional Meeting & Workshop on Quantum Probabilistic Symmetries,<br />

Aberystwyth, Wales<br />

Adrian Sichau<br />

14.11.11 A Second Order Approximation Technique for Robust Shape Optimization<br />

1st International Conference on Uncertainty in Mechanical Engineering (ICUME),<br />

Darmstadt<br />

Thomas Streicher<br />

02.03.11 Introduction to Type Theory and its Semantics<br />

Mini-Workshop Homotopy Type Theory, Oberwolfach<br />

30.07.11 A Categorical Account of Krivine’s Classical Realizability<br />

TACL 2011, Marseille<br />

06.09.11 Quantum Theory in Topological Domain Theory<br />

Domains X, Swansea<br />

30.11.11 Isomorphic Types are Equal!<br />

MAP 11, Lorentz Center, Leiden<br />

12.01.12 A Categorical Approach to Krivine’s Classical Realizability<br />

Inauguration Récré, ENS Lyon<br />

14.02.12 The Classical Realizability Tripos and Topos.<br />

Interaction Weeks, Luminy, Marseille<br />

25.05.12 On Univalent Foundations<br />

Sixth Scottish Category Theory Seminar, University of Glasgow<br />

Andreas M. Tillmann<br />

21.08.12 Heuristic optimality check and computational solver comparison for basis pursuit<br />

International Symposium on Mathematical Programming (ISMP) 2012, Berlin<br />

Analytic and Computational As-<br />

12.12.12 Branch & Cut for l 0 -Minimization<br />

Workshop “Sparse Representation of Functions:<br />

pects”, TU Berlin<br />

5.1 Talks and Visits 181

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!