DaLí 2025: The 6th Workshop on Dynamic Logic - New Trends and Applications

October 20-21, 2025 | Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China

Location

The hotel and the conference are located in the same building on campus-- the International Education Building of Shaanxi Normal University (SNNU). The hotel is named after this building, specifically Shaanxi Normal University Education Building Hotel. Upon entering the building, you will find the hotel reception desk as well as the conference check-in desk (open on October 19th).

The hotel's reception is open 24 hours a day. The standard check-in time is after 2pm daily; generally speaking, if rooms are not in high demand, early check-in can be arranged upon request. The venue is R10 Meeting Room, 3rd Floor, International Education Building, SNNU.

1 1

Accommodation

Registered participants will receive complimentary accommodation (October 19-20, 2025) at the on-campus International Education Building Hotel(telephone number:+86-29-68089999). General attendees will be provided with single rooms, while students will be accommodated in shared twin rooms - all including breakfast. All students who prefer not to share a twin room should register as general attendees.

Besides, we’ve extended the room availability for all participants through October 21st. Please confirm with the hotel front desk whether you need this extension upon check-in, and any extra night(s) after October 20 will be at your own expense.

Additionally, participants' special requests shall be subject to the outcome of communications.

Transportation

  • Destination: International Education Building of Shaanxi Normal University (Chang'an Campus)

    No. 620 West Chang'an Street, Chang'an District

    Xi'an, Shaanxi Province, P.R. China

    Entry Point: West Gate 1 (located at the northwest corner of the Chang'an Campus)

    Telephone number:+86-29-68089999

    陕西师范大学国际教育大厦,位于陕师大长安校区,由陕师大长安校区西北角西1门入

  • From Xi'an Xianyang International Airport: T3/T2 (从西安咸阳国际机场T3/T2)

    By Taxi: Approximately 1 hour (in normal traffic).The fare is approximately 130 ¥, with an additional 10 ¥ possibly charged for highway access.

    By Subway: 2 h & 25 ¥.

    Step1: Take Line 14 (towards Heshao (贺韶)) from Airport West Station (机场西站) to Xi'an North Railway Station (西安北站) (9 stops, ≈33 mins).

    Step2: Transfer to Line 2 (towards Changninggong) at Xi'an North Railway Station (interchange station, no need to exit, ≈9 mins walk) and ride to Hangtiancheng Station (航天城站)(19 stops, ≈47 mins).

    Step3: Exit Hangtiancheng Station and take a taxi or use ride-hailing apps (e.g., Didi) to (≈6 km,15 mins) the International Education Building of Shaanxi Normal University (Chang'an Campus).

  • From Xi'an North Railway Station (从西安北站)

    By Taxi: Approximately 52 mins (in normal traffic).The fare is approximately 65 ¥, with an additional 7 ¥ possibly charged for highway access.

    By Subway: 80 mins & 20 ¥.

    Step1: Take Line 2 (towards Changninggong (常宁宫)) at Xi'an North Railway Station to Hangtiancheng Station (航天城站) (19 stops, ≈47 mins).

    Step2: Exit Hangtiancheng Station and take a taxi or use ride-hailing apps (e.g., Didi) to (≈6 km,15 mins) the International Education Building of Shaanxi Normal University (Chang'an Campus).

  • From Xi'an Railway Station (从西安站)

    By Taxi: Approximately 45 mins & 52 ¥ (in normal traffic).

    By Bus: 100 mins & 2 ¥.

    Take Bus Line 616/K616 at the North Square of Xi'an Railway Station, and alight at the Intersection of West Chang'an Street and Ju'an Road (西长安街居安路口).

  • Please show this Chinese note to your taxi driver if necessary.

    Go to your hotel:

    您好,请带我去陕西师范大学国际教育大厦。它在陕师大长安校区校园里,您可以通过学校西北角的西一门进入。请打表计费,谢谢。

    (Hi, please take me to the International Education Building of Shaanxi Normal University. You can enter the campus via West Gate 1, which is located at the northwest corner of Shaanxi Normal University (SNNU) Chang'an Campus. Please use the meter, thank you.)

    Go to the airport:

    您好,请载我到西安咸阳国际机场T3航站楼。请打表,谢谢。

    (Hi, please take me to Terminal 3 Xi'an Xianyang International Airport. Please use the meter, thank you.)

    您好,请载我到西安咸阳国际机场T2航站楼。请打表,谢谢。

    (Hi, please take me to Terminal 2 Xi'an Xianyang International Airport. Please use the meter, thank you.)

Social Event

Subject to sufficient interest, we will organize optional self-funded cultural excursions to Grand Tang Ever‑Bright City. Complete details including schedules, transportation arrangements, and participation fees will be announced later.

More Information

For your trip to China, setting up Alipay or WeChat Pay with your bank card in advance will make things much easier. You'll find it super convenient for paying taxis, shopping, and eating out without needing cash. A translation app on your smartphone is also highly practical. It can help you with real-time communication in situations beyond prepared notes. Just a heads-up: services like Gmail aren't directly accessible, so you might want to look into that beforehand.

DaLi 2025 will take place in Xi'an, China, immediately following Lori X hosted by Xi'an Jiaotong University. Both venues are conveniently located within the same city, approximately one hour's drive apart, providing participants with a unique opportunity to benefit from these consecutive academic gatherings in Xi'an.

Contact

Lei Li : lileity(at)snnu.edu.cn