Wednesday, February 10, 2016

[DMANET] TAMC 2016 - Call for papers

*** Apologies for multiple messages ***

FIRST CALL FOR PAPER

The 13th Annual Conference on Theory and Applications of Models of 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
Email:tamc@xidian.edu.cn

Important Dates
Submission deadline: 11:59 pm EST March 6, 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=tamc2016.

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 CommitteeCo-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 hierarchytradeoffs
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/
*
**********************************************************