Theory and Applications of Models of Computation-TAMC 2014-Anna University-Chennai

1
Theory and Applications of Models of Computation-TAMC 2014-Anna University-Chennai

Date of Function: 11-13 April 2014. 

TAMC 2014 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory. Typical but not exclusive topics of interest include: 

 algebraic computation

        algorithmic coding theory

                  algorithmic number theory

                            approximation algorithms

                                      automata theory

                                         circuit complexity

                                             combinatorial algorithms

                                                computability

 computational biology, and biological computing

 computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity]

computational game theory

 computational logic

computational geometry

Arrow  continuous and real computation

Arrow  cryptography

Arrow data structures

Arrow design and analysis of algorithms

 Arrow distributed algorithms

domain models [Assets, Price of Abstraction, frameworks]

Arrow fixed parameter tractability

Arrow geometric algorithms

Arrow graph algorithms

Arrow information and communication complexity

Arrow learning theory

Arrow memory hierarchy tradeoffs

model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models]

Arrow natural computation

Arrow nature inspired computing

Arrow network algorithms

Arrow networks in nature and society

Arrow online algorithms

Arrow optimization

Arrow parallel algorithms

Arrow philosophy of computing [emerging paradigms, morality, intentionality]

Arrow privacy and security

Arrow property testing

Arrow proof complexity

Arrow process models [for software construction, validating software under construction, supply - chain]

Arrow quantum computing

Arrow randomness, pseudo-randomness

Arrow randomized algorithms

Arrow space - time tradeoffs

Arrow streaming algorithms

Arrow systems theory [Concurrent, Timed, Hybrid and Secure systems]

Arrow VLSI Models of Computation [Models for Hardware - Software Codesign]



Programme Committee:

Chairman 

Dr. T V Gopal 

Professor 

Department of Computer Science and Engineering 

College of Engineering 

Anna University 

Chennai - 600 025, INDIA 

E-mail: gopal@annauniv.edu ; gayamadhgop@hotmail.com 

Ph : (Off) 22351723 Extn. 3340 ; (Res) 24454753 

Dr. Manindra Agrawal 

Professor, 

Department of Computer Science and Engineering 

Dean, Faculty Affairs Indian Institute of Technology Kanpur, 

INDIA - 208016 

Honorary Professor, Indian Institute of Science Enducation and Research, Bhopal 

Adjunct Professor, Chennai Mathematical Institute, Chennai 

Email:manindra@iitk.ac.in 

Chairman 

Dr. C Chellappan 

Dean 

College of Engineering 

Anna University, Chennai - 600 025 

E-mail: drcc@annauniv.edu 

Phone: +91-044-22301357 

Source:http://www.annauniv.edu/tamc2014/
"It is very easy to defeat someone, But It's very hard to win someone"                                                                                        - Dr.A.P.J.Abdul Kalam
+1 Reputed
New Share your Study Materials with us : Click Here