17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning


- APS-5 (Fifth Workshop on Analytic Proof Systems)

- IWIL-2010 (8th International Workshop on the Implementation of Logics)

The workshops will take place at the Gadjah Mada University

A free bus shuttle from and to the Hyatt Regency is provided:


    9:30 and 12:00:   Pickup at the lounge of Hyatt Regency

                                (Note that - in contradiction to information that had been given earlier -

                                the APS-5 Lunch takes place at the workshop site!)

   17:15 and 17:55:  Return from the workshop site to to Hyatt Regency

The bus is not air-conditioned. Alternatively, you can take a taxi on your own. The address

of the worksop venue is:

     Magister Manajemen UGM (Universitas Gadjah Mada)

     Jl. Teknika Utara, Yogyakarta, Indonesia 55281

If you tell taxi drivers that you wish to go to "MM UGM", they will usually know.

If they don't know, you could just say that you want to go to "UGM" and then

show them this map (we have printouts at the conference site) and they will

certainly know this.


Yogyakarta, Indonesia

October 10th - 15th, 2010