Achim Jung

My research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, and cryptography.

Upcoming events:

Birmingham Seminar series:

• Theory Group Lab Lunch, Tuesdays, 1-2pm
• Birmingham Theory Seminar (usually Fridays, 2-3pm)
• Birmingham Departmental Seminar (usually Thursdays, 4-5pm)

Further events:

• Midlands Graduate School University of Leicester, 30th March - 3rd April, 2009.
• 25th Conference on Mathematical Foundations of Programming Semantics (MFPS XXV) University of Oxford, UK, April 3-7, 2009.
• 26th British National Conference on Databases 2009 University of Birmingham, July 7-9, 2009.
• 2nd International Conference on Topology and its Applications Hacettepe University, Ankara, Turkey, 6-11 July, 2009.
• 24th Summer Conference on Topology and Its Applications Brno, Czech Republic, July 14-17, 2009.
• ISDT 2009, Shanghai, 14-16 September 2009.
• Eighth Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, 21-25 September 2009.
• CiE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal. June/July 2010.
• Computability in Europe

Teaching:

• I am Course Director and Admissions Tutor for the Intercalated Year in Computer Science. We usually run an open day in February. You can also contact me about this via email.
• Studieren in England? Wenden Sie sich mit Fragen an mich!

Links:

• Publications
• Tutorial Notes
• Teaching
• Final Year Projects
• Current PhD Students
• The Midlands Graduate School in the Foundations of Computing Science
• Former PhD Students
• Personal timetable
• Pictures

Editorships

• Semantic Structures in Computation - A book series published by Kluwer Academic Publishers.
• Electronic Notes in Theoretical Computer Science - An electronic book series published by Elsevier.

Past activities

• New Interactions between Analysis, Topology, and Computation. University of Birmingham, 7-9 January, 2009.
• Midlands Graduate School University of Birmingham, 14-18 April, 2008.
• 24th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV) University of Pennsylvania, Philadelphia, May 22-25, 2008.
• International Workshop on Topological Methods in Logic Tbilisi, Georgia, 3-5 June, 2008.
• Foundations of Informatics Computing and Software (FICS 2008), Shanghai, 3-6 June, 2008.
• Fifteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2008) Heriott-Watt University, Edinburgh, July 1-4, 2008.
• Logic in Geometry and Quantum Theory University of Nijmegen, September 3-5, 2008.
• Domains IX University of Sussex, September 22-24, 2008.
• Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11-15, 2007.
• Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007) July 2-5, 2007, Rio de Janeiro.
• 23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII) April 11-14, 2007, Tulane University, New Orleans.
• Midlands Graduate SchoolUniversity of Nottingham, 16-20 April, 2007.
• Logic Colloquium 2006 July 27 - August 2, 2006, Radboud University, Nijmegen, The Netherlands.
• Summer Conference on Topology and Applications July 10-13, 2005, Denison University, Ohio, US.
• 21st Conference on Mathematical Foundations of Programming Semantics 18-21 May, 2005.
  Local arrangements
• Midlands Graduate School 11-15 April, 2005.
• 19th Annual IEEE Symposium on Logic in Computer Science (July 2004, Turku, Finland)
• 19th Summer Conference on Topology and its Applications (5-9 July 2004, University of Cape Town, South Africa)
• 20th Conference on Mathematical Foundations of Programming Semantics (May 22-26, Carnegie Mellon University, Pittsburgh, USA)
• Applied Semantics (April 14 - 16, Tallinn, Estonia)
• Midlands Graduate School (Spring 2004, Nottingham)
• Estonian Winter School in Computer Science (Feb 19 - March 5, Tallinn, Estonia)
• Midlands Graduate School, Leicester, March 31 - April 4, 2003.
• 6th Workshop Domains, Birmingham, September 16-19, 2002.
• European Summer School in Logic, Language, and Information, Birmingham, August 6-18, 2000.
• The Semantic Challenge of Object-Oriented Programming. Dagstuhl, June 28 - July 3, 1998.
• Summer School and Workshop on Computation and Approximation. Birmingham, September 8-13, 1997.
• LOGSEM Workshop. Birmingham, September 13-16,1996.
• Logic, Domains, and Programming Languages. Darmstadt, May 25-27, 1995.
• Workshop Domains. Darmstadt, June 10-12, 1994.
• Workshop on Domain Theory and Databases. Darmstadt, July 13-15, 1989.