Loading Events

DILAN is back with a great topic 🤩✨

DILAN EPISODE 41 in collaboration with APTIKOM Lecturer Competence Division

Topic : Equivalent Mutants: Deductive Verification to the Rescue

Come and learn with Prof. Dr. rer. nat. Reiner Hähnle at the DILAN Eps. 41 event, which will be conducted hybrid on:

📅 Day & Date: Friday, February 6th, 2026
⏰ Time: 13.30-15.30 Western Indonesia Time
📍 Place:
1. Offline – Ruang Sidang, New Building (Gedung Baru) 4th Floor Fasilkom UI – LIMITED TO FIRST 40 PARTICIPANTS
2. Online – Live through Zoom

📝 Confirmation Link:
https://s.id/dilan-eps41
The Zoom link will be provided after filling out the confirmation form.

Prepare yourself, your notes, and your questions for Prof. Dr. rer. nat. Reiner Hähnle See you at DILAN Eps. 41!

Details

  • Date: Februari 6
  • Time:
    1:30 pm - 3:30 pm
  • Event Category:

Organizer

  • Faculty of Computer Science, UI

Venue

  • Conference Room, 4th Floor (A.409), Gedung Baru, Faculty of Computer Science, Universitas Indonesia, Depok
  • depok, jawa barat 16424 Indonesia + Google Map
  • Phone 62217863419