12th Annual Conference on

Theory and Applications

of Models of Computation

18 - 20 May 2015

School of Computing

National University of Singapore

TAMC 2015 aims at bringing together a wide range of researchers with interests in computational theory and applications. For more than 10 years, the conference series Theory and Applications of Models of Computing has fostered interactions and collaborations between both theoretical and applied researchers working on all aspects of computations and the ways to model it.

Quick links: registration, proceedings, venue, accomodation, transport, timeline, invited speakers, programme and steering committees, topics of TAMC 2015, history, conference programme, list of accepted papers, sponsors of TAMC 2015, photos taken at TAMC 2015.

Sponsors: TAMC 2015 is greatful for generous support by the Office of Naval Research Global grant number N62909-15-1-C136, the School of Computing and the Centre for Quantum Technologies.

Proceedings: The proceedings of TAMC 2015 are published proceedings within the Springer series LNCS - Lecture Notes in Computer Science: Rahul Jain, Sanjay Jain and Frank Stephan (Eds.). Theory and Applications of Models of Computation. Twelfth Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. Springer LNCS 9076, 2015.
Accepted Papers: There are 35 accepted papers out of 78 submissions; the acceptance rate is 44.87%.

Registration: The registration was open at https://register.comp.nus.edu.sg/tamc2015 and the fees have been SGD 750 (full paying, early rate), SGD 880 (full paying, late rate), SGD 600 (undergraduate or postgraduate student, early rate), SGD 730 (student, late rate). The early rate applies prior to the corresponding deadline 2 April 2015.

Timeline The venue of TAMC 2015 is the building COM1 of the School of Computing and the reception as well as the talks will be held in this building. The talks will be in the room COM1#02-04 (SR2).

Hotels: Several hotels commited to give a promotional rate for participants of the conference, see the attached pdf-files for more information. When booking one of these hotels, please indicate that you are participating TAMC 2015 organised by NUS in the case that the hotel asks for this. The prices include include internet and breakfast unless noted otherwise. These hotels are the following ones: Transport in Singapore: The MRT stations nearest to the conference location are Haw Par Villa MRT and Kent Ridge MRT. From Haw Par Villa or also from Habourfront MRT, one can go by bus 10 or 30 or 143 to bus stop "Pasir Panjang Road, Heng Mui Keng Terrace" and from their walk about 10 to 15 minutes to the School of Computing. From Kent Ridge MRT one can walk (about 25 minutes) or take a cost-free internal shuttle bus (about 30 minutes) to the School of Computing. One can also flag on the street a taxi or book one through the telephone numbers provided by the Land Transport Authority of Singapore. A taxi from downtown Singapore to the conference location costs about SGD 20. A taxi from the airport to the hotel costs depending on day time and traffic condition between SGD 25 and SGD 45.

Invited Speakers The organisors of TAMC 2015

Conference Chair: Sanjay Jain (National University of Singapore)

Local Arrangements Chair: Siew Foong Ho (National University of Singapore)

Programme Committee Chairs: Rahul Jain (National University of Singapore) and Frank Stephan (National University of Singapore).

Programme Committee: Ajith Abraham (Machine Intelligence Research Labs, Auburn, Washington, USA), Anthony Bonato (Ryerson University), Yijia Chen (Shanghai Jiao Tong University), Rodney G. Downey (Victoria University of Wellington), Henning Fernau (Universität Trier), Dimitris Fotakis (National Technical University of Athens), Gopal T V (Anna University Chennai), Steffen Lempp (University of Wisconsin - Madison), Jiamou Liu (Auckland University of Technology), Frédéric Magniez (Université Paris Diderot), Klaus Meer (Brandenburgische Technische Universität Cottbus - Senftenberg), Mia Minnes (University of California, San Diego), Philippe Moser (National University of Ireland, Maynooth), Mitsunori Ogihara (University of Miami), Yota Otachi (Japan Advanced Institute of Science and Technology), Yicheng Pan (Institute of Software, Chinese Academy of Sciences), Pan Peng (Technische Universität Dortmund), Anil Seth (Indian Institute of Technology, Kanpur), Xiaoming Sun (Institute of Computing Technology, Chinese Academy of Sciences), Chaitanya Swamy (University of Waterloo), Hongan Wang (Institute of Software, Chinese Academy of Siences), Wei Wang (Sun Yat-Sen University, Guangzhou), Guohua Wu (Nanyang Technological University), Yitong Yin (Nanjing University), Mingsheng Ying (University of Technology Sydney), Neal Young (University of California, Riverside), Thomas Zeugmann (Hokkaido University, Sapporo), Shengyu Zhang (Chinese University of Hong Kong), Conghua Zhou (Jiangsu University).

Steering Committee: Manindra Agrawal, Jin-Yi Cai, Barry Cooper, John Hopcroft, Angsheng Li, Zhiyong Liu.

TAMC in previous years: The conference series TAMC started in the year 2004 and has been held annually since then. The previous conferences are the following: Beijing China 2004, Kunming China 2005, Beijing China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009, Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong Kong China 2013, Chennai India 2014.

Topics: TAMC 2015 is open for all topics relating to the theory and applications of models of computation. The topics include algebraic computation, algorithmic coding and number theory, algorithmic learning theory, approximation algorithms, automata theory, circuit complexity, communication complexity, complex networks and their theory, combinatorial algorithms, computability and recursion theory, computational biology, computational complexity, computational geometry, continuous and real computation, cryptography, data structures, design and analysis of algorithms, distributed algorithms, domain models, fixed parameter tractability, formal languages, game theory, geometric algorithms, grammatical inference, graph algorithms, graph mining, information theory, internet mathematics, memory hierarchy tradeoffs, model theory for computing, natural computing, network algorithms, network security and applications, online algorithms, optimisation, parallel algorithms, philosophy of computing, privacy and security, property testing, proof complexity, process models, quantum computation, randomness, randomised algorithms, space-time tradeoffs, streaming algorithms, systems theory, VLSI models of computation.