Calendar | ICTS

Error message

Notice: Undefined index: field_seminar_type in include() (line 50 of /home/it/www/www-icts/sites/all/themes/riley/templates/views/calendar/views-view-fields--calendar--day.tpl.php).
Notice: Trying to get property 'content' of non-object in include() (line 50 of /home/it/www/www-icts/sites/all/themes/riley/templates/views/calendar/views-view-fields--calendar--day.tpl.php).
Notice: Undefined property: views_plugin_style_default::$date_info in include() (line 31 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).
Notice: Trying to get property 'month' of non-object in include() (line 31 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).
Notice: Undefined property: views_plugin_style_default::$date_info in include() (line 32 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).
Notice: Trying to get property 'year' of non-object in include() (line 32 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).
Notice: Undefined property: views_plugin_style_default::$date_info in include() (line 34 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).
Notice: Trying to get property 'url' of non-object in include() (line 34 of /home/it/www/www-icts/sites/all/themes/riley/templates/date-views-pager--calendar.tpl.php).

Programs

Lean for the Curious Mathematician

24 April 2025 to 26 April 2025

Madhava Lecture Hall, ICTS

Interactive Theorem Provers (or Proof Assistants) are tools that verify and partially automate mathematical proofs. The process of encoding mathematics into these systems, known as formalisation, has...more