TypiCal
Types, logic and calculus
Search this site:
Research Topics
People
Seminars
Collaborations
Internships
Software
Bibliography
Recent News
Dedukti 1.0 is out !
Fri, 9 Oct 2009
PiR2: a new project is born
Thu, 1 Jan 2009
A new site for TypiCal
Fri, 6 Feb 2009
Home
Calendar
Year
Month
Week
Day
« Prev
February 2010
Next »
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Sunday
6
1
2
3
4
5
6
7
7
8
9
10
11
On the transposition of black-box matrices
Luca De Feo (TANC, LIX)
Thursday, February 11, 2010 -
14:30
-
16:30
12
13
14
8
15
16
17
18
19
20
21
9
22
23
24
25
On using sums-of-squares for exact computations without strict feasibility
David Monniaux (CNRS, Verimag)
Thursday, February 25, 2010 -
14:00
-
16:00
26
27
28
Calendar
«
February
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Log in