Menu-category selectedTop PageMenu selectedGeneral InformationImportant DatesCall for Papers (CLOSED)Invited TalksConference ScheduleLocal and Travel InformationRegistration (CLOSED)Banquet and Excursion (NEW)Student Support (CLOSED)SponsorsLinks

 
Username
Password
UserLogin
SSL
Lost Password?
Register now!

 
Previous year2012Next year
Previous monthJunNext month
SMTWTFS
2728293031
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
 
  Calendar (small)

 
You are the .2482033th visitor.

 
Conference Information
The 10th Asian Logic Conference (ALC 10) will take place at Kobe University in Kobe, Hyogo, Japan, September 1-6, 2008.

A list of the conference organizers and ALC steering committee members can be found here as well as a list of important dates and deadlines related to the conference and a list of conference sponsors.

Contact us: alc10@kurt.scitec.kobe-u.ac.jp

Note: We should apologize for a wrong information on invited speakers appearing in ASL newsletter on November 2007. The correct information is in the ``Invited Talks'' page.


 
Conference Videos
You can see the videos of the tutorials and the plenary talks from the page video archive of ALC 10 Tutorials and Plenary Lectures.

 
steering committee
Toshiyasu Arai
Chi Tat Chong
Rod Downey
Qi Feng
Hiroakira Ono


 
program committee
Joerg Brendle
Chi Tat Chong
Rod Downey
Qi Feng
Hirotaka Kikyo
Hiroakira Ono
Toshiyasu Arai (Chair)



 
local organizing committee
Mutsunori Banbara
Hiroaki Minami
Ichiro Nagasaka
Akira Suzuki
Makoto Kikuchi (Chair)

 
satellite conferences

 
how to get to ALC10 site