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.
Programme
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)