Workshop in logic
Interdisciplinary Research in Logic
Interdisciplinary Research in Logic: philosophy, linguistics, computer and information science
Photo:
Pexels
Main content
About the workshop
The Bergen Logic聽Group cordially invites you to join聽the one-day workshop Interdisciplinary Research in Logic, where we will bring together researchers from different departments at 幸运飞艇计划 that are working on聽various聽topics, in areas such as philosophy,聽informatics聽and information science, with a broad conception of logic at the nexus.
Everyone is free to join the workshop entirely or partially. If you intend to attend, please send an e-mail to the organizer at聽Leon.Commandeur@uib.no. Coffee and lunch will be provided.
Program (preliminary)
- 09:00鈥�09:30 聽鈯暵� Opening by聽Leon Commandeur
- 09:30鈥�10:15 聽鈯� 聽H氓kon Robbestad Gylterud,聽Informatics 鈾β�Proofs, paths and multisets
- 10:15鈥�11:00 聽鈯� 聽Thomas 脜gotnes,聽Information and Media Studies -聽鈾β�The Logic and Artificial Intelligence research group
- 11:00鈥�11:15 聽鈯椔� Break
- 11:15鈥�12:00 聽鈯� 聽Ben Martin,聽Philosophy 鈾β�The Philosophy of Logical Practice
- 12:00鈥�12:45 聽鈯� 聽Michal Walicki,聽Informatics 鈾β�Logic of sentential predicates
- 12:45鈥�13:15 聽鈯� 聽Lunch
- 13:15鈥�14:00 聽鈯� 聽Uwe Egbert Wolter,聽Informatics 鈾β�Diagrammatic Specifications and Logics
- 14:00鈥�14:45 聽鈯� 聽Mina Young Pedersen, Information and Media Studies 鈾β�Detecting Bots with Modal Logic
- 14:45鈥�15:00 聽鈯� 聽Break
- 15:00鈥�15:45 聽鈯� 聽Mikhail Barash, Informatics 鈾β�Boolean operations and context specifications in formal grammars
- 15:45鈥�16:30 聽鈯� 聽Tore Fjetland 脴gaard, Philosophy 鈾β�MaGIC and Relevance
- 16:30鈥�17:00 聽鈯� 聽Concluding remarks
02.12.2021