Logic and Information

From Logic to Constructive Reasoning
Swiss - South-African joint seminar
January 22-25, 2007
University of Bern, Switzerland

This is a joint seminar between the Group for Theoretical Computer Science and Logic at the University of Bern and the Research Group in Topology and Category Theory at the University of Cape Town. It is financially supported by the Swiss National Science Foundation and the South-African National Research Foundation. All talks about problems from logic to constructive reasoning are welcome, including works in progress and discussions of open problems. Here is the call for papers.

If you find mistakes on this page then please send an email to Kai Brünnler.

Time and Location

The seminar starts on Monday, January 22nd at 15:00 and ends on Thursday, January 25th around noon. It takes places at the Institute of Computer Science and Applied Mathematics (IAM), Neubrückstr. 10 and the Institute of Information Systems (IWI), Engehaldestr. 8. You can find it on this map.


Monday, January 22nd
Room 302 IAM

15.00-16.00 Vasco Brattka, University of Cape Town: Computability and Limit Computability in Analysis (abstract)
16.00-16.30 Coffee break
16.30-17.30 Sergei N. Artemov, City University of New York, visiting University of Bern: Justification Logic (abstract)
17.45-18.45 Elena Nogina, City University of New York, visiting University of Bern: Joining two Gödel models of provability (abstract)

Tuesday, January 23rd 

Room 003 IWI

09.30-10.30 Lorenz Halbeisen, University of Bern:  A set-theoretic view of bases in Banach spaces (abstract)
10.30-11.00 Coffee break
11.00-12.00 Willem Fouche, University of South Africa: Hamel sets and generic Brownian motion (abstract)
12.15-12.45 Gareth Boxall, University of Leeds: A Notion of Independence for Dense Pairs of Real Closed Fields (abstract)

Room 302 IAM

14.15-15:15 Kai Brünnler, University of Bern: Towards Cut Elimination for Temporal Logic (abstract)
15.30-16.00 Eliza de Jager, Capesoft: The Origins of Partial Quasi-Metrics and their Applications (abstract)
16.00-16.30 Coffee break
16.30-17.30 Jacques Duparc, HEC Lausanne:  Topological Complexity of Weak Alternating Tree Automata (abstract)
17:45-18:15 Simon Kramer, EPF Lausanne: Knowledge, Evidence, and Proof for Cryptography via Relevance (abstract)

Wednesday, January 24th

Room 302 IAM

09.30-10.30 Achim Jung, University of Birmingham: Stone Duality for bitopological spaces (abstract)
10.30-11.00 Coffee break
11.00-12.00 Partha Pratim Ghosh, University of KwaZulu Natal: A Duality involving Borel Spaces (abstract)
12.15-12.45 Karen Muller, University of Stellenbosch: Mining Association Rules (abstract)

Room 002 IWI

14.15-15.15 Richard McKinley, University of Bern: Naive set theory in Soft Linear Logic (abstract)
15.30-16.00 Petrus Potgieter, University of South Africa: On the Brouwer fixed-point theorem in computable analysis (abstract)
16.00-16.30 Coffee break
16.30-17.30 Leonard Kwuida, University of Bern: Prime ideal theorem for double Boolean algebras (abstract)
17:45-18:15 Thomas Strahm, University of Bern: Unfolding schematic formal systems (abstract)

Dinner 19.45-22.00 at Verdi, Gerechtigkeitsgasse 5

Thursday, January 25th

Room 002 IWI

09.30-10.30 Ingrid Rewitzky, University of Stellenbosch: Duality via Truth (abstract)
10.30-11.00 Coffee break
11.00-11.30 Dieter Spreen, University of Siegen: Representing L-Domains as Information Systems (abstract)
11.45-12.15 Dominic van der Zypen, Allianz Insurance Company: On the closure of the diagonal of a T_1-space (abstract)