
NEW
A. Beckmann and B. Löwe Acts of the Programme SAS 


teaching research papers and preprints editing organisation affiliations talks hobbies 
UPCOMING EVENTS CiE 2016: Pursuit of the Universal 
CS368/CSM88 Embedded System Design (all material can be found on blackboard)
CS170 Modelling Computing Systems I (taught in '11, '12, '13)
CS106 Discrete Mathematics for Computer Science I (taught in '10)
CS_242 Algorithms (taught in '09, '10)
CSP126 Practicals to Discrete Mathematics for Computer Science II (taught in '08,'09)
CSP106 Practicals to Discrete Mathematics for Computer Science I (taught in '08,'09)
CS_125 Logic Programming (taught in '05,'06,'07,'08)
CS332/CSM32 Algorithms '09/'10 (taught in '08,'09)
CS_346/CS_M56 Logic, Foundations and Computation (taught in '07,'08,'09)
CS_316/CS_M16 Logic and Semantics (taught in '06, coordinated in '08)
papers and preprints edited volumes and special issues
.  Based on an original portrait by DJ Rogers, I created a picture mosaic made out of hundreds of images reflecting research and activities of recent years where Swansea Computer Scientists have played a key role. The picture won a runnerup prize in the 2011 SURF Research as Art competition. 
Member of Programme Committee for CiE 2013.  
Member of Programme Committee for LCC 2012.  
Member of Programme Committee for CSL 2012.  
Member of Programme Committee for DCM 2012.  
 
Coorganiser of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.  
Cochair of workshop Logical Approaches to Barriers in Complexity II which is part of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.  
 
Member of Programme Committee and Organising Committee for CiE 2012.  
Member of Programme Committee for LCC 2011.  
Member of Programme Committee for CiE 2011.  
Member of Programme Committee for CiE 2010.  
PC chair of a Workshop on Logical Approaches to Barriers in Computing and Complexity.  
Member of Organising Committee for SAT 2009.  
Member of Organising Committee for BLC 2009.  
Member of Programme Committee for LCC 2009.  
Member of Programme Committee for CiE 2009.  
Member of Editorial Board of Archive for Mathematical Logic.  
Member of board of Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften.  
Membership Secretary of the Association Computability in Europe  Link to Application Form to become a member of this society.  
Coorganiser of Workshop on Logic, Foundational Research, and Metamathematics (WoLFRaM) II.  
 
 
Member of Programme Committee of CiE 2007.  
Member of Organising Committee of PCC 2007.  
Coorganiser (together with Mirna Dzamonja) of logic splinter group at BMC 2007.  

Invited speaker at workshop Limits of Theorem Proving, Rom, 25.27. September 2012.  
Invited participant at Kotlarski Ratajczyk Conference, Bedlewo, Poland, 23.27. July 2012.  
Invited speaker at Special Session in Proof Theory at the Logic Colloquium 2012, Manchester, 12th18th July 2012.  
Invited participant at MFO workshop Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 6.12. November 2011.  
Invited participant at Proof Complexity workshop at Banff International Research Station for Mathematical Innovation and Discovery (BIRS), Canada, October 2011.  
Invited speaker at Logic and Analysis Seminar at University of Gent, Belgium, August 2011.  
Invited Speaker at Multidimension Seminar, JAIST, Japan, August 2011.  
Invited talk at Infinity Conference at Centre de Recerca Matemātica. Facultat de Cičncies. UAB. Bellaterra (Barcelona), Spain, July 2011.  
Invited participant at Infinity Project at Centre de Recerca Matemātica. Facultat de Cičncies. UAB. Bellaterra (Barcelona), Spain, February 2011.  
Invited participant at Workshop Barriers in computational complexity in Princeton, NJ, USA, 2529 August 2009. This will be part of the activities of the Intractability Center.  
Invited Speaker at Leeds Symposium on Proof Theory and Constructivism in Leeds, UK, 316 July 2009.  
Invited Speaker at 16th Workshop on Logic, Language, Information and Computation in Tokyo, Japan, 2124 June 2009.  
Invited Speaker at Kobe Logic Seminar Japan, 18 June 2009.  
Invited Speaker at Set Theory and its Neighbours: Set Theory, Games & Arithmetic in Bristol, UK, 19 November 2008.  
Conference Visions of Computer Science at Imperial College London, 2224 September 2008. Talk: On the complexity of parity games.  
Invited speaker at the PohlersFest in Münster, Germany, 18 July 2008. See here for a list of contributions to the Festschrift "Ways of Proof Theory".  
Invited speaker at Workshop on proof theory in Bern, Switzerland, 911 July 2008.  
Speaker at LICS 2008 in Pittsburgh, Pennsylvania, June 2008.  
Invited speaker at 27th Weak Arithmetics Days in Athens, Greece, June 2008.  
Participant at MFO workshop Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 6.12. April 2008.  
Workshop on proof theory in Munich, Germany, 4/5 April 2008. 
My greatest hobby is playing trombone. I have been a founding member of the Bläserkreis St. Marien (photo) in my birthtown Lünen, and I am still playing with them if place and time give me a chance to do so.
During my studies in Münster I played in several bands, most importantly with Swingin' Affair Big Band and with Mad, Bad & Fabulous.
In Oxford I joined OUJO2; in San Diego UCSD Jazz Ensemble, conducted by the late Jimmy Cheatham.
In Vienna I played bass trombone at Vienna West Side Orchestra (formerly known as Maurer Big Band) and at Vienna Bigband Project .
In Swansea I have played with City of Swansea Concert Band, and currently am a member of STEVE PRICE BIG BAND.