First Webinar Series

01. 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.

- August 16, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

02. Nonlinear Cellular Automata: A Better Cryptographic Primitive

Speaker:Prof. Dipanwita Roy Chowdhury

Brief Bio of the Speaker: Prof. Roy Chowdhury has received her B.Tech and M.Tech degrees in Computer Science from University of Calcutta in 1987 and 1989 respectively, and the PhD degree from the Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur in 1994. She is a Professor in the Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, India.

Prof. Roy Chowdhury is the recipient of INSA Young Scientist Award and Associate of Indian Academy of Science and is the fellow of Indian National Academy of Engineers (INAE). She is also a member of IEEE and a life member of CRSI (Cryptology Research Society of India).
Her current research interests are in the field of Cellular Automata, Cryptography & Security, Error Correcting Code, and VLSI & Embedded Systems. She has published more than 250 technical papers in renowned International Journals and Conferences.

- September 19, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

03. Algorithmic Information Dynamics of Cellular Automata

Speaker: Prof. Hector Zenil,

Brief Bio of the Speaker: He has graduated from the University of Lille and the Sorbonne in Paris with a Masters and a double Ph.D (in Theoretical Computer Science, and in Philosophy and Epistemology). He did his postdoc from University of Sheffield and later was awarded a distinguished John Templeton Foundation fellowship and grant. He has worked as a Senior Researcher and faculty member at the Department of Computer Science, University of Oxford. He is the founder & director of Oxford Immune Algorithmics and co-leads the Algorithmic Dynamics Lab at the Karolinska Institute. He is also the managing Editor of Complex Systems and member of the editorial boards of several journals and book series. He led and introduced the field of Algorithmic Information Dynamics (AID). Currently, he works on the foundations of symbolic computation in machine intelligence. The goal is to equip some approaches to machine learning with an inference engine to deal with causal discovery (and causal analysis), and model generation; mostly in the context of molecular biology, immunology, and oncology. In his own words he is a 'computational natural scientist'.

- October 06, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

04. Fuzzy Cellular Automata and its Application

Speaker: Prof. Sumita Basu

Brief Bio of the Speaker: Dr. Sumita Basu completed her Bachelor degree from Lady Brabourne College, Kolkata in 1973. Then she received an M.Sc. degree in Applied Mathematics from University of Calcutta in 1975. Later from this university she received her Ph.D. degree in 2002.
She was a lecturer of Jogomaya Devi College and Bethune College in Kolkata and then in 1987 she became an associate professor of her alma mater Lady Brabourne College. She retired as a professor of Bethune College in 2013 and then she was a visiting professor there. At present she is a visiting faculty at the Heritage College, Kolkata.,
Her research areas include rough set, mathematical logic, approximate reasoning, artificial intelligence, fuzzy theory, cellular automata etc.

- November 28, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

05. Simulating Turing machines in a simple reversible cellular automaton

Speaker:Prof. Kenichi Morita

Brief Bio of the Speaker: Prof. Kenichi Morita is a professor emeritus of Hiroshima University. He received a Ph.D. in engineering from Osaka University in 1978, and he was a professor of the Graduate School of Engineering, Hiroshima University. He is the leading scientist in the research of automata theory, cellular automata, reversible computing, and formal language theory. Prof. Morita is renowned for his works on two-dimensional language accepting automata, complexity of Turing machines, universality of cellular automata, regular and context-free array grammars, and undecidability. He has introduced the concept of partitioned cellular automata in the domain of cellular automata. He has authored more than 100 articles. His high-impact works include findings on parallel generation and parsing of array languages by means of reversible automata, construction of a reversible automaton from Fredkin gates, solving a firing squad synchronization problem in reversible cellular automata, self-reproduction in reversible cellular spaces, universal reversible two-counter machines, solution of nondeterministic polynomial (NP) problems in hyperbolic cellular automata, reversible P-systems, a new universal reversible logic element with memory, and reversibility in asynchronous cellular automata.
As a tribute to Kenichi Morita’s ideas and achievements in theoretical computer science, reversibility and computationally universal mathematical machines, his colleagues, collaborators, students and friends presented over 20 Essays on the Occasion of his 70th Birthday, which is published as the book "Reversibility and Universality", an indispensable book for computer scientists, mathematicians, physicists and engineers.

- December 05, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

06. Presburger arithmetic, automatic sequences and linear cellular automata

Speaker:Prof. R. Ramanujam

Brief Bio of the Speaker:Prof. R. Ramanujam is a professor in the Theoretical Computer Science research group in The Institute of Mathematical Sciences, Chennai, India. He got his BE (Hons) in Electrical and Electronics Engineering from BITS Pilani and his PhD in Computer Science from Tata Institute of Fundamental Research, Mumbai. After postdoctoral research at the City University of New York. He joined the Institute of Mathematical Sciences, Chennai as faculty in 1987.
His research interests are mathematical and philosophical logic in computer science and theory of computation and their applications to theory of distributed systems, game theory and security theory. His other research interests include temporal logics and verification, partial order models of concurrency and logics of knowledge. He is currently on the editorial board of ACM Transactions on Computational Logic. In 2010, he was Lorentz Fellow of the Royal Netherlands Academy of Sciences at the Netherlands Institute for Advanced Studies. He has been actively involved in the Indian Association for Research in Computing Science and the Association for Logic in India.
Prof. Ramanujam has been associated with the Tamil Nadu Science Forum since 1990, active in its involvement in science popularization and school education. He is the editor of Thulir, a monthly science magazine for children. He was a member of the Yash Pal Committee that formulated the National Curriculum Framework 2005, and chaired the National Focus Group on Teaching of Mathematics, NCERT. Currently he is Vice President of the Mathematics Teachers Association of India, and a member of the Core Committee of CS Pathshala, an ACM India initiative.

- December 19, 2020
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

07. A talk on "Ambiguity and computability in complex cellular automata"

Speaker:Prof. Genaro J. Martínez

Brief Bio of the Speaker: Prof. Martínez is a full time researcher at the National Polytechnic Institute in Mexico City. He is an active member of several institutions and laboratories around the world, such as: the International Unconventional Computing Laboratext-align: justify; text-justify: inter-word;tory at the University of the West of England in the United Kingdom; the Foundation of Computer Science Laboratory at the Hiroshima University in Japan; the Centre for Chaos and Complex Networks at the City University of Hong Kong in China; the Unconventional Algorithms and Computing Lab at the Technical University of Ostrava in Czech Republic; the Laboratoire de Recherche Scientifique in France; and at the Institut des Systèmes Complexes en Normandie in France. Prof. Martinez is a editorial member of the Journal of Cellular Automata, Complex Systems, Physica D, International Journal of Bifurcation and Chaos, Artificial Life, Nonlinear Dynamics, Chaos, Information Sciences, International Journal of Natural Computing Research, IEEE Transactions on Circuits and Systems, and the Mathematical Reviews, American Mathematical Society. Prof. Martinez together with Prof. Adamatzky had published the book "Designing Beauty: The Art of Cellular Automata". Also, he is leading two computational paradigms in cellular automata theory: colliders cellular automata and computation by competing patterns with cellular automata.

- January 09, 2021
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

08."Does robust computation exist? Some Reflections..."

Speaker:Prof. Nazim Fatès

Brief Bio of the Speaker: Prof. Nazim Fatès is working as a Full time researcher (chargé de recherche) at the Inria institute, France since 2006. He has worked as an Associate professor (ATER) in MAIA (MAchines Intelligentes Autonomes) Team and then worked in Maia team, INRIA, France. Since 2015, he is working in Loria lab in the Mocqua team, INRIA, France. Prof. Fatès has done his doctorate in 2004 from ENS Lyon, France and masters’ in 2000 from University of Lille I, France. He received a second Maseter’s degree in 2001 in History and Philosophy of science, Université Paris-Sorbonne, France. He was awarded the Irène Meynieux prize from the French association for the promotion of science (AFAS, Association française pourl'avancement des sciences) in 2005.
Prof Fatès has authored more than 50 articles in reputed journals and conferences. He has worked as the vice-chair of the IFIP Working group 1.5 on cellular automata and discrete complex systems. He is also a member of the editorial board of the Journal of cellular automata. His research interests includes Complex systems with focus on stochastic cellular automata and reactive multi-agent systems. He is also interested in studying noise affects on the behavior of cellular models and on the design of models which make use of randomness as a help to perform robust calculations. as a help to perform robust calculations

- January 30, 2021
Labels: First Webinar Series
Location: Kolkata, West Bengal, India

09. Reachability Tree: A Characterization Tool in the Age of CAT

Speaker:Prof. Sukanta Das

Brief Bio of the Speaker:Prof. Sukanta Das currently works as the Head of the Department and associate professor in the Department of Information Technology in Indian Institute of Engineering Science and Technology, Shibpur (formerly known as Bengal Engineering and Science University, Shibpur). He received his PhD in 2007 from Bengal Engineering and Science University, Shibpur and Masters in Engineering in 2002 from Bengal Engineering College (DU) (Currently known as IIEST, Shibpur) in Computer Science and Technology. He joined his alma mater as a faculty in 2003.
He has been doing research in the different aspects of cellular automata for more than twenty years. His research area includes Cellular Automata: Theory and Applications. He is also a Member of IFIP Working Group 1.5 (on “Cellular Automata and Discrete Complex Systems”) and several programming committees for international conferences on cellular automata. He has more than 70 articles under his name. Currently he is exploring the computational abilities of cellular automata, the non-uniform cellular automata, (partial) number conservation in cellular automata, and chaos and randomness in cellular automata. Apart from the research, Prof. Das is also an active member of the Science and Rationalists' Association of India, a rationalist organization dedicated to advocate against pseudoscience, astrology and mysticism. He is known for his active role in science awareness in common people and school children.

- February 20, 2021
Labels: First Webinar Series
Location: Kolkata, West Bengal, India