RSS
Contact
Publications
Press
Photos-videos
Homepage
About the Joint Centre
Overview
Highlights
Timeline
Research Areas & Projects
Research Areas
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
More
Projects
colonne 1
4D Cardiac MR Images
A-Brain
Adaptative Combinatorial Search for E-science
Interactive Network Visualization
Mathematical Components
ReActivity
Privacy-Friendly Services and Apps
Structured Large Scale Machine Learning
colonne 2
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
Home
>
2012
>
July
>
09
Daily Archives:
July 9th, 2012
Categories
News
Events
Conferences & Workshops
July 2012
M
T
W
T
F
S
S
« Jun
Aug »
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
30
31
Archives
October 2015
July 2014
October 2013
June 2013
May 2013
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
February 2012
Share:
A
A
9 July 2012
Russel O’Connor speaks about Galois Connections, Poset-Enriched Categorical Logic, and Type Theory.
Monday 9 July 2012, 14h Microsoft Research - Inria Joint Centre Campus de l’Ecole polytechnique, Palaiseau Bld Alan Turing, Salle MilnerSome Thoughts on Galois Connections, Poset-Enriched Categorical Logic, and Type Theory McMaster Univ. & MSR-Inria Joint CentreIn this talk I will present three bits of mathematics that have recently piqued my interest:- The first item.. ...
More
Page 1 of 1
1
