A Beckmann (PhD Münster, Reader)

Dr. Arnold Beckmann   Department of Computer Science College of Science Swansea University Singleton Park Swansea SA2 8PP UK   Office: Faraday Tower, Room 511 Phone: ++44 1792 602370 Fax: +44 1792 295708 a.beckmann@swansea.ac.uk

teaching  research  papers and preprints  editing  organisation  affiliations  talks  hobbies 

teaching

CS-170 Modelling Computing Systems I (all material can be found on blackboard)

CS-368/CS-M88 Embedded Systems (all material can be found on blackboard)

CS-106 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)

CS-332/CS-M32 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)

research interests

• Proof theory and proof complexity
• Bounded arithmetic and propositional proof complexity
• Implicit computational complexity
• Reduction systems
• Intermediate predicate logics

papers and preprints   edited volumes and special issues

organisation

	Member of Programme Committee for DCM 2012.
	. Member of the Editorial Board of the new journal Computability. The Journal of the Association CiE.
	Co-organiser of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.
	Co-chair 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 Turing Centenary Advisory Committee coordinating THE ALAN TURING YEAR.  .
	Member of Programme 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.
	Co-organiser of Workshop on Logic, Foundational Research, and Metamathematics (WoLFRaM) II.
	Co-chair of Programme Committee of CiE 2008 in Athens, involved in local organisation of CiE 2008.
	Member of CiE steering group which runs CiE conference series.
	Member of Programme Committee of CiE 2007.
	Member of Organising Committee of PCC 2007.
	Co-organiser (together with Mirna Dzamonja) of logic splinter group at BMC 2007.
	Co-chair of Programme Committee of CiE 2006. Chair of local organising committee for this conference.

former affiliations

	Computational Logic group at Institute of Discrete Mathematics and Geometry and Theory and Logic Group, both at Vienna University of Technology.
	Institut für Mathematische Logik und Grundlagenforschung of Westfälische Wilhelms-Universität Münster.

selection of recent and forthcoming talks

	Invited participant at MFO workshop Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 6.-12. November 2011.
	Invited speaker Analysing Parity Games in Bounded Arithmetic at Logic and Analysis Seminar at University of Gent, Belgium, August 2011.
	Invited Speaker at Multi-dimension 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, 25-29 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, 3-16 July 2009.
	Invited Speaker at 16th Workshop on Logic, Language, Information and Computation in Tokyo, Japan, 21-24 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, 22-24 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, 9-11 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.
	Invited main speaker at Collegium Logicum 2007: Proofs and Structures in Vienna, Austria, October 2007.
	Invited speaker at CSL 07 in Lausanne, Switzerland, September 2007.
	Invited speaker at the IPM Logic Confence 2007 in Tehran, Iran, June 2007.
	Proof Complexity Seminar at University of Toronto, March 2007, talk on Aspects of dynamic ordinal analysis: How to characterise definable functions by propositional translations.

---

hobbies

My greatest hobby is playing trombone. I have been a founding member of the Bläserkreis St. Marien (photo) in my birth-town 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 fabulous 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 am playing with City of Swansea Concert Band and PA BIG BAND.