Computation
http://cs.xidian.edu.cn/tamc2016/
Xi'an, China July 20-22, 2016
Welcome to The 13th annual conference on Theory and Applications of Models
of Computation (TAMC), which will take place at Xi'an, China from 20th to
22nd, July, 2016. The event is supported by School of Computer Science and
Technology and School of Cyber Engineering, Xidian University.
Venue
Tangcheng Hotel
South Hanguang Road #229
Xi'an, China
All major events take place in this building. There is a fully equipped
lecture hall with a capacity for 200 attendees as well as a series of
lecture rooms, each of which can support 50 attendees. Of course, all
participants of TAMC-16 will have free internet access during the
conference.
Contact
Important Dates
Submission deadline: 11:59 pm EST March 20, 2016
Notification of authors: May 6, 2016
Final versions deadline: May 22, 2016
Post Conference Publications
Special issues of the journals Theoretical Computer Science and Mathematical
Structures in Computer Science devoted to a selected set of accepted papers
of the conference are planned.
Submission of Papers
Authors should submit an extended abstract (not a full paper).
The submission should contain a scholarly exposition of ideas, techniques,
and results, including motivation and a clear comparison with related work.
The length of the extended abstract should not exceed ten (10) letter-sized
pages (not including bibliography and appendices.) Submitted papers must
describe work not previously published. They must not be submitted
simultaneously to another conference with refereed proceedings. Each PC
member is allowed to submit at most one paper. Research that is already
submitted to a journal may be submitted to TAMC16, provided that (a) the PC
chair is notified in advance that this is the case, and (b) it is not
scheduled for journal publication before the conference.
The submission server is now available at
https://www.easychair.org/conferences/?conf=tamc16.
Conference Chair
Jianfeng Ma (Xidian University)
Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences)
Programme Committee Chair
Jin-Yi Cai (University of Wisconsin)
Programme Committee Co-Chairs
Jiangtao Cui (Xidian University)
Xiaoming Sun (Institute of Computing Technology, Chinese Academy of
Sciences)
Steering Committee
Manindra Agrawal
Jin-Yi Cai
Barry Cooper
John Hopcroft
Angsheng Li
Zhiyong Liu
Local Organising Committee
Jianfeng Ma http://web.xidian.edu.cn/jfma/
Jiangtao Cui http://web.xidian.edu.cn/cuijt/
Hui Li http://web.xidian.edu.cn/hli/
Aims and Scope
TAMC 2016 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
Continuous and real computation
Cryptography
Data structures
Design and analysis of algorithms
Distributed algorithms
Domain models [Assets, Price of Abstraction, frameworks]
Fixed parameter tractability
Geometric algorithms
Graph algorithms
Information and communication complexity
Learning theory
Memory hierarchy tradeoffs
Model theory for computing [modal and temporal logics, specification,
verification, synthesis or automated software construction, aesthetics,
software behavior, transformation of models]
Natural computation
Nature inspired computing
Networks in nature and society
Network algorithms optimization
Online algorithms
Parallel algorithms
Philosophy of computing [emerging paradigms, morality, intentionality]
Privacy and security
Property testing
Proof complexity
Process models [for software construction, validating software under
construction, supply-chain]
Quantum computing
Randomness pseudorandomness
Randomized algorithms
Space - time tradeoffs
Streaming algorithms
Systems theory [Concurrent, Timed, Hybrid and Secure systems]
VLSI Models of Computation [Models for Hardware - Software Co-design]
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
