Please note, this is archived content and is no longer being updated. Please update your bookmarks and links to point to this permanent URL:
http://curation.cs.manchester.ac.uk/ijcar/ijcar.cs.manchester.ac.uk/indexcc4b.html?page_id=74
.
IJCAR – The 6th International Joint Conference on Automated Reasoning
CADE
FroCoS
FTP
Tableaux
The International Joint Conference on Automated Reasoning
Home
About IJCAR 2012
Important Dates
Registration
Sponsors
Woody Bledsoe Student Travel Awards
Contact
Organisation
Chairs
Committees
Programme
Call for Papers
Call for Satellite Events
Accepted Papers
Satellite Events
Speakers
Invited Speakers
Guest Speakers
Logistics
Location Maps
Travel Information
Accommodation
Sponsors
Microsoft Research
Sites
About IJCAR 2012
Contact
Important Dates
Registration
Sponsors
Woody Bledsoe Student Travel Awards
Logistics
Accommodation
Location Maps
Travel Information
Organisation
Chairs
Committees
Programme
Accepted Papers
Call for Papers
Call for Satellite Events
Satellite Events
Speakers
Guest Speakers
Invited Speakers
Calendar of Events
⇐
⇒
June 2014
S
M
T
W
T
F
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
30
1
2
3
4
5