Difference between revisions of "TAMC 2020"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TAMC 2020 |Title=The 16th Annual Conference on Theory and Applications of Models of Computation |Series=TAMC |Type=Conference |Start date=2020/10/18 |End date...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 10: | Line 10: | ||
|City=Changsha | |City=Changsha | ||
|Country=China | |Country=China | ||
| + | |Paper deadline=2019/12/15 | ||
| + | |Notification=2020/01/31 | ||
| + | |Camera ready=2020/02/15 | ||
| + | |Submitting link=https://easychair.org/conferences/?conf=tamc2020 | ||
| + | |has general chair=Jianxin Wang | ||
| + | |has program chair=Jianer Chen, Qilong Feng, Jinhui Xu | ||
| + | |Has PC member=Anthony Bonato, Yixin Cao, Jianer Chen, Hu Ding, Thomas Erlebach | ||
| + | |has Keynote speaker=Gregory Gutin, Xianfeng David Gu | ||
| + | |pageCreator=Kerrin.Hogrefe | ||
| + | |pageEditor=Kerrin.Hogrefe | ||
| + | |contributionType=1 | ||
}} | }} | ||
| − | + | == 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 | ||
Latest revision as of 18:55, 1 April 2022
| 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 |
| 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 | |
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