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.
Important Dates
Submission deadline: 11:59 pm EST April 26, 2016
Notification of authors: May 31, 2016
Final versions deadline: June 15, 2016
Proceedings and Post Conference Publications
Proceedings of accepted papers will be published in the LNCS series. A
special issue of the Journal of Computer and System Sciences devoted to a
select set of accepted papers of the conference is 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.
Please be advised that TAMC will consider submissions by the PC members
(those submissions will be assigned to another PC member to be reviewed).
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
