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

⇐ ⇒November 2012
S M T W T F S
28 29 30 31 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

S	M	T	W	T	F	S
28	29	30	31	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

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.

IJCAR The 6th International Joint Conference on Automated Reasoning
CADE	FroCoS	FTP	Tableaux
The International Joint Conference on Automated Reasoning

S	M	T	W	T	F	S
28	29	30	31	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

S	M	T	W	T	F	S
28	29	30	31	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

IJCAR The 6th International Joint Conference on Automated Reasoning

Sponsors

Sites

Calendar of Events

S	M	T	W	T	F	S
28	29	30	31	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