Difference between revisions of "TAMC 2020"

From Openresearch
Jump to: navigation, search
(Topics)
 
Line 21: Line 21:
 
== Topics ==
 
== Topics ==
  
     * AI modeling
+
     *     AI modeling
 
     *    algebraic computation
 
     *    algebraic computation
 
     *    algorithmic coding and number theory
 
     *    algorithmic coding and number theory

Latest revision as of 07:38, 14 April 2020

TAMC 2020
The 16th Annual Conference on Theory and Applications of Models of Computation
Event in series TAMC
Dates 2020/10/18 (iCal) - 2020/10/20
Homepage: http://tamc2020.csu.edu.cn/
Submitting link: https://easychair.org/conferences/?conf=tamc2020
Location
Location: Changsha, China
Loading map...

Important dates
Papers: 2019/12/15
Submissions: 2019/12/15
Notification: 2020/01/31
Camera ready due: 2020/02/15
Committees
General chairs: Jianxin Wang
PC chairs: Jianer Chen, Qilong Feng, Jinhui Xu
PC members: Anthony Bonato, Yixin Cao, Jianer Chen, Hu Ding, Thomas Erlebach
Keynote speaker: Gregory Gutin, Xianfeng David Gu
Table of Contents

Contents


Topics

   *     AI modeling
   *     algebraic computation
   *     algorithmic coding and number theory
   *     algorithmic graph theory and combinatorics
   *     algorithms and data structures
   *     approximation algorithms
   *     automata theory
   *     computational biology and biological computing
   *     computational complexity
   *     computational game theory
   *     computational geometry
   *     computer science logic
   *     continuous and real computation
   *     cryptography
   *     domain models
   *     dynamical algorithms
   *     foundations of artificial intelligence
   *     game theory
   *     information theoretical foundation for artificial intelligence
   *     learning theory, and intelligent computing
   *     model theory for computing
   *     network theory and communication networks
   *     online algorithms
   *     optimization
   *     parameterized algorithms
   *     privacy and security
   *     process models
   *     programming and verification
   *     property testing
   *     quantum computing
   *     randomized algorithms
   *     randomness and pseudo-randomness
   *     streaming algorithms
   *     structural information theory
   *     systems theory
   *     Turing definability
   *     VLSI models of computation