[Help] >>
User Login | Event Admin Login
Category: List of Bases 2008 2008 ICTP activities in Trieste ICTP activities in Trieste
Session Menu
lecture

Start Time:

11 August 2008 at 08:30

Ends On:

29 August 2008

Location:

Trieste - Italy

Venue:

11-24 August: LB (Main Lecture Hall); 25-29 August: AGH (Kastler Lecture Hall)

Organizer(s):

Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche

Material:

Monday, 11 August 2008

Room: Leonardo da Vinci Building, Lobby

08:30
10:30
REGISTRATION AND ADMINISTRATIVE FORMALITIES
02h00'
10:30
10:45
Opening Address
15'
Lê Dung Tráng
ICTP, Trieste, Italy
10:45
11:45
Constructive analysis
01h00'
Douglas S. Bridges
University of Canterbury, Christchurch, New Zealand
11:45
14:00
Lunch break
02h15'
14:00
15:00
Introduction to combinatorial homotopy
01h00'
Francis Sergeraert
Institut Fourier, St Martin d 'Hères, France
15:00
15:15
Break
15'
15:15
16:15
Constructive logic
01h00'
Thierry Coquand
Chalmers University, Gothenberg, Sweden
16:15
16:30
Break
15'
16:30
17:30
Introduction to combinatorial homotopy
01h00'
Francis Sergeraert
Institut Fourier, St Martin d 'Hères, France
Tuesday, 12 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Computational algebra
01h00'
Teo Mora
Università degli Studi di Genova, Genova, Italy
10:30
11:00
Break
30'
11:00
12:00
Constructive Algebra
01h00'
Ihsen Yengui
Faculté des Sciences de Sfax, Sfax, Tunisia
12:00
14:00
Lunch break
02h00'
14:00
15:00
Constructive logic
01h00'
Thierry Coquand
Chalmers University, Gothenberg, Sweden
15:00
15:30
Break
30'
15:30
16:30
Constructive analysis
01h00'
Douglas S. Bridges
University of Canterbury, Christchurch, New Zealand
Wednesday, 13 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Computational algebra
01h00'
Teo Mora
Università degli Studi di Genova, Genova, Italy
10:30
11:00
Break
30'
11:00
12:00
Introduction to combinatorial homotopy
01h00'
Francis Sergeraert
Institut Fourier, St Martin d 'Hères, France
12:00
14:00
Lunch break
02h00'
14:00
15:00
Constructive logic
01h00'
Thierry Coquand
Chalmers University, Gothenberg, Sweden
15:00
15:30
Break
30'
15:30
16:30
Constructive analysis
01h00'
Douglas S. Bridges
University of Canterbury, Christchurch, New Zealand
Thursday, 14 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Algorithms and algebraic geometry
01h00'
Gert-Martin Greuel
University of Kaiserslautern, Kaiserslautern, Germany
10:30
11:00
Break
30'
11:00
12:00
Introduction to combinatorial homotopy
01h00'
Francis Sergeraert
Institut Fourier, St Martin d 'Hères, France
12:00
14:00
Lunch break
02h00'
14:00
15:00
Constructive Algebra
01h00'
Ihsen Yengui
Faculté des Sciences de Sfax, Sfax, Tunisia
15:00
15:30
Break
30'
15:30
16:30
Singular tutorial
01h00'
Stefan Steidel
Technical University of Kaiserslautern, Germany
Room: Computer Lab. (LB)
19:00
21:00
RECEPTION (AT ADRIATICO GUEST HOUSE)
02h00'
Friday, 15 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Algorithms and algebraic geometry
01h00'
Gert-Martin Greuel
University of Kaiserslautern, Kaiserslautern, Germany
10:30
11:00
Break
30'
11:00
12:00
Constructive analysis
01h00'
Douglas S. Bridges
University of Canterbury, Christchurch, New Zealand
12:00
14:00
Lunch break
02h00'
14:00
15:00
Constructive Algebra
01h00'
Ihsen Yengui
Faculté des Sciences de Sfax, Sfax, Tunisia
15:00
15:30
Break
30'
15:30
16:30
Singular tutorial
01h00'
Stefan Steidel
Technical University of Kaiserslautern, Germany
Room: Computer Lab. (LB)
Monday, 18 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Algorithms and algebraic geometry
01h00'
Gert-Martin Greuel
University of Kaiserslautern, Kaiserslautern, Germany
10:30
11:00
Break
30'
11:00
12:00
Lecture "A=B"
01h00'
Peter Paule
University of Linz, Hagenberg, Austria
12:00
14:00
Lunch break
02h00'
14:00
15:00
Computational algebra
01h00'
Teo Mora
Università degli Studi di Genova, Genova, Italy
15:00
15:30
Break
30'
15:30
16:30
Point free topology
01h00'
Erik Palmgren
University of Uppsala, Uppsala, Sweden
16:30
17:00
Break
30'
17:00
18:00
Singular tutorial
01h00'
Stefan Steidel
Technical University of Kaiserslautern, Germany
Room: Computer Lab. (LB)
Tuesday, 19 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Algorithms and algebraic geometry
01h00'
Gert-Martin Greuel
University of Kaiserslautern, Kaiserslautern, Germany
10:30
11:00
Break
30'
11:00
12:00
Lecture "A=B"
01h00'
Peter Paule
University of Linz, Hagenberg, Austria
12:00
14:00
Lunch break
02h00'
14:00
15:00
Computational algebra
01h00'
Teo Mora
Università degli Studi di Genova, Genova, Italy
15:00
15:30
Break
30'
15:30
16:30
Point free topology
01h00'
Erik Palmgren
University of Uppsala, Uppsala, Sweden
16:30
17:00
Break
30'
17:00
18:00
Singular tutorial
01h00'
Stefan Steidel
Technical University of Kaiserslautern, Germany
Room: Computer Lab. (LB)
Wednesday, 20 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Lecture "A=B"
01h00'
Peter Paule
University of Linz, Hagenberg, Austria
10:30
11:00
Break
30'
11:00
12:00
Point free topology
01h00'
Erik Palmgren
University of Uppsala, Uppsala, Sweden
12:00
14:00
Lunch break
02h00'
14:00
15:00
Operadic algebraic topology
01h00'
Tornike Kadeishvili
A. Razmadze Mathematical Institute, Tbilisi, Georgia
15:00
15:30
Break
30'
15:30
16:30
Constructive Algebra
01h00'
Ihsen Yengui
Faculté des Sciences de Sfax, Sfax, Tunisia
Thursday, 21 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Lecture "A=B"
01h00'
Peter Paule
University of Linz, Hagenberg, Austria
10:30
11:00
Break
30'
11:00
12:00
Point free topology
01h00'
Erik Palmgren
University of Uppsala, Uppsala, Sweden
12:00
14:00
Lunch break
02h00'
14:00
15:00
Constructive logic
01h00'
Thierry Coquand
Chalmers University, Gothenberg, Sweden
15:00
15:30
Break
30'
15:30
16:30
Operadic algebraic topology
01h00'
Tornike Kadeishvili
A. Razmadze Mathematical Institute, Tbilisi, Georgia
Friday, 22 August 2008

Room: Leonardo da Vinci Building Main Lecture Hall

09:30
10:30
Lecture "A=B"
01h00'
Peter Paule
University of Linz, Hagenberg, Austria
10:30
11:00
Break
30'
11:00
12:00
Operadic algebraic topology
01h00'
Tornike Kadeishvili
A. Razmadze Mathematical Institute, Tbilisi, Georgia
12:00
15:00
Lunch break
03h00'
14:00
15:00
Operadic algebraic topology
01h00'
Tornike Kadeishvili
A. Razmadze Mathematical Institute, Tbilisi, Georgia
Monday, 25 August 2008 - CONFERENCE

Room: Adriatico Guest House Kastler Lecture Hall

25 August 2008
09:20
09:50
REGISTRATION
30'
09:50
10:00
Welcome address
10'
10:00
10:50
Spectral Schemes as Ringed Lattices (joint work with Thierry Coquand and Henri Lombardi)
50'
Peter Schuster
Universitaet Muenchen, Muenchen, Germany
10:50
11:00
Break
10'
11:00
11:50
Constructive commutative algebra and families of algebraic identities
50'
Henri Lombardi
Université de France-Comte, Besançon, France
11:50
14:00
Lunch Break
02h10'
14:00
14:50
Merging the procedural and declarative proof styles
50'
Freek Wiedijk
Nijmegen, Holland
14:50
15:00
Break
10'
15:00
15:50
Automated theorem proving in simplicial topology with ACL2
50'
Miriam Andrés
Universidad de La Rioja, La Rioja, Spain
15:50
16:10
Coffee break
20'
16:10
17:00
A constructive theory of classes and sets
50'
Giuseppe Rosolini
Università di Genova, Genova, Italy
Tuesday, 26 August 2008

Room: Adriatico Guest House Kastler Lecture Hall

26 August 2008
10:00
10:50
Certificates of positivity on a simplex in the multivariate Bernstein basis
50'
Marie-Françoise Roy
Université de Rennes, Rennes, France
10:50
11:00
Break
10'
11:00
11:50
Walking in the Quarter Plane
50'
Manuel Kauers
Johannes Kepler University, Linz, Austria
11:50
14:00
Lunch break
02h10'
14:00
14:50
Fast computation of a rational point of a variety over a finite field
50'
Guillermo Matera
Universidad Nacional de General Sarmiento, Buenos Aires, Argentina
14:50
15:00
Break
10'
15:00
15:50
Solving polynomial systems via symbolic-numeric elimination method
50'
Lihong Zhi
Academy of Mathematics and System Sciences, Beijing, P.R. of China
15:50
16:10
Coffee break
20'
Wednesday, 27 August 2008

Room: Adriatico Guest House Kastler Lecture Hall

09:20
09:50
A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
30'
Chunming Yuan
Academy of Mathematics and Systems Science, Beijing, P.R. of China
09:50
10:00
Break
10'
10:00
10:50
On sign conditions over real multivariate polynomials
50'
Gabriela Jeronimo
Universidad de Buenos Aires, Buenos Aires, Argentina
10:50
11:00
Break
10'
11:00
11:50
New perspectives in algebraic systems theory
50'
Alban Quadrat
INRIA, APICS Project, Sophia Antipolis, France
11:50
14:00
Lunch break
02h10'
Thursday, 28 August 2008

Room: Adriatico Guest House Kastler Lecture Hall

10:00
10:50
Certification of numerical analysis programs
50'
Micaela Mayero
LIPN-UMR CNRS, Université Paris-Nord, Villetaneuse, France
10:50
11:00
Break
10'
11:00
11:50
A coinductive approach to digital computation
50'
Ulrich Berger
University of Wales Swansea, Swansea, UK
11:50
14:00
Lunch break
02h10'
14:00
14:50
Efficient computation with Dedekind reals (joint work with Paul Taylor)
50'
Andrej Bauer
FMF, Ljubljana
14:50
15:00
Break
10'
15:00
15:50
A computer verified, monadic, functional implementation of the integral. (joint work with Russell O'Connor)
50'
Bas Spitters
Foundations of Mathematics and Computer Science, Nijmegen, Netherland
15:50
16:10
Coffee break
20'
16:10
17:00
Effective Constructive Algebraic Topology
50'
Francis Sergeraert
Institut Fourier, St. Martin d'Hères, France
Friday, 29 August 2008

Room: Adriatico Guest House Kastler Lecture Hall

10:00
10:50
Proof interpretations, "Hard Analysis" and Ergodic theory
50'
Ulrich Kohlenbach
Technishche Universitaet Darmstadt, Darmstadt, Germany
10:50
11:00
Break
10'
11:00
11:50
Decorating proofs
50'
Helmut Schwichtenberg
Mathematisches Institut der Universitaet Munchen, Munchen, Germany
If you want to make a direct link from your Web page to this agenda, please use this URL:
http://cdsagenda5.ictp.trieste.it/full_display.php?ida=a07167
Maintained by: The CDS Support Team (Bugs and reports)
This page is loaded in 0.40593791007996 seconds.