2022-SC2598-000ZZ-2022-SCQ1098250-N0-SC2598: next lectures of Type Theory- 13 and 21 April and from 27 April onwards

next lectures of Type Theory- 13 and 21 April and from 27 April onwards

Did you remember to make the first column something unique in your call to get_records? Duplicate value '1' found in column 'activated'.

line 1291 of /lib/dml/mysqli_native_moodle_database.php: call to debugging()
line 1679 of /lib/dml/moodle_database.php: call to mysqli_native_moodle_database->get_records_sql()
line 1752 of /lib/dml/moodle_database.php: call to moodle_database->get_record_sql()
line 1733 of /lib/dml/moodle_database.php: call to moodle_database->get_field_sql()
line 1712 of /lib/dml/moodle_database.php: call to moodle_database->get_field_select()
line 231 of /plagiarism/compilatio/lib.php: call to moodle_database->get_field()
line 48 of /plagiarism/compilatio/classes/compilatio/documentFrame.php: call to compilatio_enabled()
line 93 of /plagiarism/compilatio/lib.php: call to CompilatioDocumentFrame::get_document_frame()
line 48 of /lib/plagiarismlib.php: call to plagiarism_plugin_compilatio->get_links()
line 561 of /mod/forum/classes/local/exporters/post.php: call to plagiarism_get_links()
line 423 of /mod/forum/classes/local/exporters/post.php: call to mod_forum\local\exporters\post->get_message()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\post->get_other_values()
line 155 of /mod/forum/classes/local/exporters/posts.php: call to core\external\exporter->export()
line ? of unknownfile: call to mod_forum\local\exporters\posts->mod_forum\local\exporters\{closure}()
line 157 of /mod/forum/classes/local/exporters/posts.php: call to array_map()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\posts->get_other_values()
line 189 of /mod/forum/classes/local/builders/exported_posts.php: call to core\external\exporter->export()
line 95 of /mod/forum/classes/local/renderers/posts.php: call to mod_forum\local\builders\exported_posts->build()
line 212 of /mod/forum/classes/local/renderers/discussion.php: call to mod_forum\local\renderers\posts->render()
line 343 of /mod/forum/discuss.php: call to mod_forum\local\renderers\discussion->render()

Error: mdb->get_record() found more than one record!

line 1691 of /lib/dml/moodle_database.php: call to debugging()
line 1651 of /lib/dml/moodle_database.php: call to moodle_database->get_record_sql()
line 1630 of /lib/dml/moodle_database.php: call to moodle_database->get_record_select()
line 160 of /plagiarism/compilatio/lib.php: call to moodle_database->get_record()
line 53 of /plagiarism/compilatio/classes/compilatio/documentFrame.php: call to compilatio_cm_use()
line 93 of /plagiarism/compilatio/lib.php: call to CompilatioDocumentFrame::get_document_frame()
line 48 of /lib/plagiarismlib.php: call to plagiarism_plugin_compilatio->get_links()
line 561 of /mod/forum/classes/local/exporters/post.php: call to plagiarism_get_links()
line 423 of /mod/forum/classes/local/exporters/post.php: call to mod_forum\local\exporters\post->get_message()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\post->get_other_values()
line 155 of /mod/forum/classes/local/exporters/posts.php: call to core\external\exporter->export()
line ? of unknownfile: call to mod_forum\local\exporters\posts->mod_forum\local\exporters\{closure}()
line 157 of /mod/forum/classes/local/exporters/posts.php: call to array_map()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\posts->get_other_values()
line 189 of /mod/forum/classes/local/builders/exported_posts.php: call to core\external\exporter->export()
line 95 of /mod/forum/classes/local/renderers/posts.php: call to mod_forum\local\builders\exported_posts->build()
line 212 of /mod/forum/classes/local/renderers/discussion.php: call to mod_forum\local\renderers\posts->render()
line 343 of /mod/forum/discuss.php: call to mod_forum\local\renderers\discussion->render()

Dear students

I will teach my last two lectures on Type Theory

on Thursday 13th April 16.30-18.30

on Friday 21st April 14.30-16.30

The lectures on Friday 14 and Thursday 20 April are canceled.

Prof. Ingo Blechschmidt will start his lectures in presence

on Thursday 27 th April

and he will continue with the usual schedule of lectures.

Many thanks for your cooperation!

Best wishes for all!

MEM