Sunday, August 16, 2020

Formal Logic of Cellular Automata

Speaker: Prof. Sukanta Das, Associate Professor and Head, Department of Information Technology, Indian Institute of Engineering Science and Technology, Shibpur, India

This talk on "Formal Logic of Cellular Automata", a work by Prof. Sukanta Das and Prof. Mihir K. Chakraborty, was first delivered to AUTOMATA 2020 on 10-AUG-2020. On our request, Prof. Das gave a seminar on the same topic as the first session of our Webinar Series on Cellular Automata.


No comments:

Post a Comment

02 Number Conserving Cellular Automata Rules and Integral Value Transformations

  Abstract:  In this lecture I will discuss some of our results on number conservation and Density classification problem. Though simple in ...