VCLA | TU Wien
@vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
https://www.vcla.at
Reposted by VCLA | TU Wien
📢 Call for Submissions – FLoC 2026
Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.
🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.
🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
FLoC 2026: The 9th Federated Logic Conference
www.floc26.org
November 12, 2025 at 9:09 AM
📢 Call for Submissions – FLoC 2026
Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.
🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.
🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
🤩 Great news! You may now register for our free online seminar "Women in Logic Online: Classical Versus Constructive - An Ecumenical Approach" with Elaine Pimentel (@ucl.ac.uk)!
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/11/wome...
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/11/wome...
November 4, 2025 at 10:06 AM
🤩 Great news! You may now register for our free online seminar "Women in Logic Online: Classical Versus Constructive - An Ecumenical Approach" with Elaine Pimentel (@ucl.ac.uk)!
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/11/wome...
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/11/wome...
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in Jan, for six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259533
#postdocposition
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in Jan, for six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259533
#postdocposition
Universitätsassistent_in (Post-Doc)
jobs.tuwien.ac.at
October 29, 2025 at 9:26 AM
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in Jan, for six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259533
#postdocposition
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in Jan, for six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259533
#postdocposition
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259532
#postdocposition
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259532
#postdocposition
October 28, 2025 at 1:08 PM
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259532
#postdocposition
Institute of Logic and Computation at @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259532
#postdocposition
✨ Check out our latest annual report and learn more about the activities of the VCLA – promoting international scientific collaboration in logic and algorithms since 2011! 📘
#algorithms #logic #LogiCS
➡️ www.vcla.at/wp-content/u...
#algorithms #logic #LogiCS
➡️ www.vcla.at/wp-content/u...
October 22, 2025 at 8:03 AM
✨ Check out our latest annual report and learn more about the activities of the VCLA – promoting international scientific collaboration in logic and algorithms since 2011! 📘
#algorithms #logic #LogiCS
➡️ www.vcla.at/wp-content/u...
#algorithms #logic #LogiCS
➡️ www.vcla.at/wp-content/u...
🧑🎓 ESSAI 2026 Call for Course Proposals:
4th European Summer School on AI / 2nd International Summer School on Bilateral AI
🗓️ July 6-10, 2026, Vienna, Austria 🇦🇹
Submit a course proposal until Dec 3!
For a list of possible topics, please visit: essai2026.eu/teaching.php
4th European Summer School on AI / 2nd International Summer School on Bilateral AI
🗓️ July 6-10, 2026, Vienna, Austria 🇦🇹
Submit a course proposal until Dec 3!
For a list of possible topics, please visit: essai2026.eu/teaching.php
October 15, 2025 at 7:32 AM
🧑🎓 ESSAI 2026 Call for Course Proposals:
4th European Summer School on AI / 2nd International Summer School on Bilateral AI
🗓️ July 6-10, 2026, Vienna, Austria 🇦🇹
Submit a course proposal until Dec 3!
For a list of possible topics, please visit: essai2026.eu/teaching.php
4th European Summer School on AI / 2nd International Summer School on Bilateral AI
🗓️ July 6-10, 2026, Vienna, Austria 🇦🇹
Submit a course proposal until Dec 3!
For a list of possible topics, please visit: essai2026.eu/teaching.php
🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Timo Lang and Revantha Ramanayake on receiving the TABLEAUX 2025 Best Paper Award for their paper “Analytic Proofs for Tense Logic”! 👏
ℹ️ www.vcla.at/2025/10/best...
ℹ️ www.vcla.at/2025/10/best...
October 7, 2025 at 9:46 AM
🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Timo Lang and Revantha Ramanayake on receiving the TABLEAUX 2025 Best Paper Award for their paper “Analytic Proofs for Tense Logic”! 👏
ℹ️ www.vcla.at/2025/10/best...
ℹ️ www.vcla.at/2025/10/best...
🏆 🤖 Die Preisverleihung zum Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035" fand am 30. September an der @tuwien.at statt! Agata Ciabattoni und Stefan Szeider überreichten die Urkunden an die Gewinner-Teams. Wir gratulieren! 👏 #KI #AI
📸 Amélie Chapalain
ℹ️ www.vcla.at/2025/10/prei...
📸 Amélie Chapalain
ℹ️ www.vcla.at/2025/10/prei...
October 6, 2025 at 11:11 AM
🏆 🤖 Die Preisverleihung zum Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035" fand am 30. September an der @tuwien.at statt! Agata Ciabattoni und Stefan Szeider überreichten die Urkunden an die Gewinner-Teams. Wir gratulieren! 👏 #KI #AI
📸 Amélie Chapalain
ℹ️ www.vcla.at/2025/10/prei...
📸 Amélie Chapalain
ℹ️ www.vcla.at/2025/10/prei...
🎦 If you missed the sixth talk in the seminar series Women in Logic, "Learning and Belief Revision: an Overview" by Nina Gierasimczuk (DTU Compute), you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic
www.youtube.com/live/LHbwslg...
www.youtube.com/live/LHbwslg...
Women in Logic Online with Nina Gierasimczuk: Learning and Belief Revision: an Overview
YouTube video by Vienna Center for Logic and Algorithms
www.youtube.com
September 17, 2025 at 7:51 AM
🎦 If you missed the sixth talk in the seminar series Women in Logic, "Learning and Belief Revision: an Overview" by Nina Gierasimczuk (DTU Compute), you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic
www.youtube.com/live/LHbwslg...
www.youtube.com/live/LHbwslg...
🤩 Join us TOMORROW for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
September 15, 2025 at 8:19 AM
🤩 Join us TOMORROW for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
👏 Congratulations to the winners of the VCLA International Student Awards 2025 🏆 in Logic and Computer Science: Wietze Koops from Radboud University (Outstanding Master Thesis Award) & Hannah Louise Wilk from @rwth.bsky.social (Undergraduate Research Award)!
➡️ www.vcla.at/2025/09/stud...
➡️ www.vcla.at/2025/09/stud...
September 11, 2025 at 11:29 AM
👏 Congratulations to the winners of the VCLA International Student Awards 2025 🏆 in Logic and Computer Science: Wietze Koops from Radboud University (Outstanding Master Thesis Award) & Hannah Louise Wilk from @rwth.bsky.social (Undergraduate Research Award)!
➡️ www.vcla.at/2025/09/stud...
➡️ www.vcla.at/2025/09/stud...
‼️ Job opportunity: PhD position @tuwien.at
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
limited to 4 years, 30 hrs/week, starting October
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 25
jobs.tuwien.ac.at/job/256472
#PhDposition #phdjobs
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
limited to 4 years, 30 hrs/week, starting October
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 25
jobs.tuwien.ac.at/job/256472
#PhDposition #phdjobs
Universitätsassistent_in (Prae-Doc)
jobs.tuwien.ac.at
September 9, 2025 at 12:46 PM
‼️ Job opportunity: PhD position @tuwien.at
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
limited to 4 years, 30 hrs/week, starting October
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 25
jobs.tuwien.ac.at/job/256472
#PhDposition #phdjobs
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
limited to 4 years, 30 hrs/week, starting October
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 25
jobs.tuwien.ac.at/job/256472
#PhDposition #phdjobs
🏆 We congratulate Dmitry Rozplokhas, the VCLA co-chair Agata Ciabattoni, and Matteo Tesi on receiving the JELIA 2025 Best Student Paper Prize for their paper “GL-based calculi for PCL and its deontic cousin”! 👏
ℹ️ www.vcla.at/2025/09/jeli...
ℹ️ www.vcla.at/2025/09/jeli...
September 8, 2025 at 8:16 AM
🏆 We congratulate Dmitry Rozplokhas, the VCLA co-chair Agata Ciabattoni, and Matteo Tesi on receiving the JELIA 2025 Best Student Paper Prize for their paper “GL-based calculi for PCL and its deontic cousin”! 👏
ℹ️ www.vcla.at/2025/09/jeli...
ℹ️ www.vcla.at/2025/09/jeli...
👧 The VCLA is part of the FFG-funded project "Transformer," which offers extracurricular learning opportunities for children and teenagers. Check out the program here:
🔗 transformer.project.tuwien.ac.at/events/
🔗 transformer.project.tuwien.ac.at/events/
September 3, 2025 at 11:31 AM
👧 The VCLA is part of the FFG-funded project "Transformer," which offers extracurricular learning opportunities for children and teenagers. Check out the program here:
🔗 transformer.project.tuwien.ac.at/events/
🔗 transformer.project.tuwien.ac.at/events/
🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
September 1, 2025 at 9:27 AM
🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...
‼️ Job opportunity: PhD position @tuwien.at
Institute of Logic and Computation, Research Unit Databases and Artificial Intelligence
limited to 4 years, 30 hrs/week, starting September
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 4
jobs.tuwien.ac.at/Job/255456
#PhDposition #phdjobs
Institute of Logic and Computation, Research Unit Databases and Artificial Intelligence
limited to 4 years, 30 hrs/week, starting September
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 4
jobs.tuwien.ac.at/Job/255456
#PhDposition #phdjobs
Universitätsassistent_in (Prae-Doc)
TU-ID: 192 | 2025 | 35 | 255456
jobs.tuwien.ac.at
August 26, 2025 at 9:39 AM
‼️ Job opportunity: PhD position @tuwien.at
Institute of Logic and Computation, Research Unit Databases and Artificial Intelligence
limited to 4 years, 30 hrs/week, starting September
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 4
jobs.tuwien.ac.at/Job/255456
#PhDposition #phdjobs
Institute of Logic and Computation, Research Unit Databases and Artificial Intelligence
limited to 4 years, 30 hrs/week, starting September
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 4
jobs.tuwien.ac.at/Job/255456
#PhDposition #phdjobs
🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Emery Neufeld and Radu Tulcan on receiving the IJCAI 2025 Distinguished Paper Award for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour”! 👏
ℹ️ www.vcla.at/2025/08/ijca...
ℹ️ www.vcla.at/2025/08/ijca...
August 25, 2025 at 10:03 AM
🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Emery Neufeld and Radu Tulcan on receiving the IJCAI 2025 Distinguished Paper Award for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour”! 👏
ℹ️ www.vcla.at/2025/08/ijca...
ℹ️ www.vcla.at/2025/08/ijca...
🤞🤖 Daumen drücken für die Teilnehmer_innen an unserem Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035"! Die Jury-Bewertung läuft...
[Fingers crossed for all participants in our youth video competition "Humans and Machines in the year 2035"! Stay tuned...]
#menschundmaschine #AI #KI
[Fingers crossed for all participants in our youth video competition "Humans and Machines in the year 2035"! Stay tuned...]
#menschundmaschine #AI #KI
August 21, 2025 at 7:52 AM
🤞🤖 Daumen drücken für die Teilnehmer_innen an unserem Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035"! Die Jury-Bewertung läuft...
[Fingers crossed for all participants in our youth video competition "Humans and Machines in the year 2035"! Stay tuned...]
#menschundmaschine #AI #KI
[Fingers crossed for all participants in our youth video competition "Humans and Machines in the year 2035"! Stay tuned...]
#menschundmaschine #AI #KI
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @tuwien.at | @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in September and limited to one year
🗓️ DL August 14
ℹ️ jobs.tuwien.ac.at/Job/255265
#postdocposition
Institute of Logic and Computation at @tuwien.at | @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in September and limited to one year
🗓️ DL August 14
ℹ️ jobs.tuwien.ac.at/Job/255265
#postdocposition
University Assistant Post-Doc (all genders)
jobs.tuwien.ac.at
August 5, 2025 at 9:14 AM
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @tuwien.at | @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in September and limited to one year
🗓️ DL August 14
ℹ️ jobs.tuwien.ac.at/Job/255265
#postdocposition
Institute of Logic and Computation at @tuwien.at | @informatics.tuwien.ac.at
Research Unit Formal Methods in Systems Engineering
full-time, starting in September and limited to one year
🗓️ DL August 14
ℹ️ jobs.tuwien.ac.at/Job/255265
#postdocposition
Good luck with your summer projects 😎
July 29, 2025 at 8:44 AM
Good luck with your summer projects 😎
🏆 On June 30, the VCLA held an award ceremony for the VCLA Intl Student Awards (8th edition) as part of the conference DEON. Nate Collins (Outstanding Undergraduate Research Award) and Tikhon Pshenitsyn (Outstanding Master Thesis Award) presented their work to the audience. Congratulations! 🎉
July 17, 2025 at 7:30 AM
🏆 On June 30, the VCLA held an award ceremony for the VCLA Intl Student Awards (8th edition) as part of the conference DEON. Nate Collins (Outstanding Undergraduate Research Award) and Tikhon Pshenitsyn (Outstanding Master Thesis Award) presented their work to the audience. Congratulations! 🎉
🎦 If you missed the fifth talk in the seminar series Women in Logic Online, "Axioms as Rules in Intuitionistic Logic" by Sara Negri, you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic
youtu.be/w1UHrheep9Y
youtu.be/w1UHrheep9Y
Women in Logic Online with Sara Negri: Axioms as Rules in Intuitionistic Logic
YouTube video by Vienna Center for Logic and Algorithms
youtu.be
July 8, 2025 at 12:07 PM
🎦 If you missed the fifth talk in the seminar series Women in Logic Online, "Axioms as Rules in Intuitionistic Logic" by Sara Negri, you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic
youtu.be/w1UHrheep9Y
youtu.be/w1UHrheep9Y
➡️ Sign up NOW for our free online seminar "Women in Logic Online: Axioms as Rules in Intuitionistic Logic" with Sara Negri (University of Genova)! #logic #WomenInSTEM
🗓️ June 23, 17:00 CET
ℹ️ and abstract: www.vcla.at/2025/05/wome...
tuwien.zoom.us/webinar/regi...
🗓️ June 23, 17:00 CET
ℹ️ and abstract: www.vcla.at/2025/05/wome...
tuwien.zoom.us/webinar/regi...
Welcome! You are invited to join a webinar: Women in Logic Online with Sara Negri. After registering, you will receive a confirmation email about joining the webinar.
Axioms as Rules in Intuitionistic Logic
tuwien.zoom.us
June 11, 2025 at 11:27 AM
➡️ Sign up NOW for our free online seminar "Women in Logic Online: Axioms as Rules in Intuitionistic Logic" with Sara Negri (University of Genova)! #logic #WomenInSTEM
🗓️ June 23, 17:00 CET
ℹ️ and abstract: www.vcla.at/2025/05/wome...
tuwien.zoom.us/webinar/regi...
🗓️ June 23, 17:00 CET
ℹ️ and abstract: www.vcla.at/2025/05/wome...
tuwien.zoom.us/webinar/regi...
‼️ Reminder: Tomorrow, Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"!
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️ and abstract: www.vcla.at/2025/06/talk...
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️ and abstract: www.vcla.at/2025/06/talk...
June 10, 2025 at 11:13 AM
‼️ Reminder: Tomorrow, Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"!
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️ and abstract: www.vcla.at/2025/06/talk...
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️ and abstract: www.vcla.at/2025/06/talk...
✏️ Call for Papers: Digital Humanism – Interdisciplinary Science and Research Conference
🗓️ Nov 20-21, 2025 | Vienna 🇦🇹, MuseumsQuartier
long or short papers from computer science, AI research, social sciences, law as well as the humanities
❗️ Submission deadline: July 15
dighum.org/dighum-res/
🗓️ Nov 20-21, 2025 | Vienna 🇦🇹, MuseumsQuartier
long or short papers from computer science, AI research, social sciences, law as well as the humanities
❗️ Submission deadline: July 15
dighum.org/dighum-res/
Digital Humanism – Interdisciplinary Science and Research Conference
Vienna, November 20-21, 2025
dighum.org
June 10, 2025 at 11:06 AM
✏️ Call for Papers: Digital Humanism – Interdisciplinary Science and Research Conference
🗓️ Nov 20-21, 2025 | Vienna 🇦🇹, MuseumsQuartier
long or short papers from computer science, AI research, social sciences, law as well as the humanities
❗️ Submission deadline: July 15
dighum.org/dighum-res/
🗓️ Nov 20-21, 2025 | Vienna 🇦🇹, MuseumsQuartier
long or short papers from computer science, AI research, social sciences, law as well as the humanities
❗️ Submission deadline: July 15
dighum.org/dighum-res/