TACAS electronic program

We have prepared an electronic program for TACAS.

You can:

1. “Import from network” in Thunderbird:
http://www.conference-publishing.com/cal.php?Event=ETAPS13

2. Add to your Google Calendar:
http://www.conference-publishing.com/listCal.php?Event=ETAPS13&Full=Agenda

3. Use web app on Android: http://conferoapp.com/

4. Install Confero from Google play store.