Monday, April 18, 2016

[DMANET] TAMC 2016 - Deadline Apr. 20, 2016

*** Apologies for multiple messages ***

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.

Important Dates

Submission deadline: 11:59 pm EST April 20, 2016

Notification of authors: May 31, 2016

Final versions deadline: June 15, 2016

Post Conference Publications

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