finite-model-theory January 2021

finite-model-theory@lists.rwth-aachen.de
  • 8 participants
  • 9 discussions

ICALP 2021 Second Call for Workshops
by Gethin Norman
3 years

Final CfP. CiE 2021: Connecting with computability
by acie@acie.eu
3 years, 1 month

[Vardi-list] Postdoc Position - Analysis Techniques for DNNs
by Moshe Y Vardi
3 years, 1 month

ICALP 2021 Second Call For Papers
by Simon Gay
3 years, 1 month

World Welcome Ceremony - 3rd World Logic Day: January 14, 2021
by Antje Herbst
3 years, 1 month

14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI
by Rozman, Mihaela
3 years, 1 month

[Vardi-list] 1/14/2021 - World-Logic-Day Lecture: From Aristotle to the iPhone
by Moshe Y Vardi
3 years, 1 month

RAMiCS 2021 - CFP
by luigi.santocanale@lis-lab.fr
3 years, 1 month

FSCD 2021: Second Call for Papers
by Carsten Fuhs
3 years, 1 month
Results per page: