Goot serz, how can bringink modal logick into our programmink lankuages allow us to avoit fallink into Dependency Jahannam? . These are the questionce we answer two day. #TheoryOfComputation #LogicAndComputation

Check out the latest issue of the Journal of ACM, featuring 9 high-quality papers on topics ranging from #distributedcomputing, to #coding theory, to algorithmic #gametheory. #logicandcomputation #programminglanguage #algorithms #computing #journal

#BestOf2020 ❄♟Our research groups #LogicAndComputation @tuvienna presented 10 papers at the 34th @RealAAAI Conference on Artificial Intelligence, New York, 2020. 👉 #AI4EU #LogiCS #Knowledge #Reasoning #Algorithms #Databases #ExplainableAI #ML

Should have done Maths A level, this would make so much more sense to me if I did #LogicAndComputation.