Logic List Mailing Archive

TAMC 2019: Theory & Applications of Models of Computation

13-16 Apr 2019
Kitakyushu, Japan

CALL FOR PAPERS:

15th Annual Conference on Theory and Applications of Models of Computation
[TAMC 2019]
13-16 April 2019
Kitakyushu International Conference Center, Kokura Station, Kitakyushu
(City), Japan
https://drive.google.com/open?idMYAEUR1pRw9PBLcvVnm7bRgZ0hk1G5EV

Important Dates:

Paper Submission Deadline: November 15, 2018
Notification of Acceptance: December 15, 2018
Final Camera Ready Version: January 15, 2019

Proceedings:

Springer Lecture Notes in Computer Science

In Association With:

International Society of Management Engineers [ISME], Japan

****************************************************************************

Scope and Topics

TAMC 2019 aims at bringing together a wide range of researchers with
interest in computational theory and its applications. The main themes of
the conference are computability, computer science logic, complexity,
algorithms, models of computation and systems theory. There are special
sessions on "Soft Computing and AI Models".

Typical but not exclusive topics of interest include:

algebraic computation
algorithmic coding and number theory
approximation algorithms
automata theory
computational biology and biological computing
computational (e.g. circuit, structural) complexity
computational game theory
computational geometry
computer science logic
cryptography
domain models
learning theory
modal and temporal logics
model theory for computing (e.g. specification and verification)
natural computation
networks in nature and society
online algorithms
optimization
privacy and security
process models
proof complexity
property testing
quantum computing
randomness and pseudo-randomness
space-time tradeoffs
streaming algorithms
systems theory (e.g. concurrent, timed, hybrid)
VLSI models of computation

All papers must be original and not simultaneously submitted to
another journal or conference. Submitted papers should be Full papers
[10-20 Pages] where a page constitutes 300-400 words. Please
read carefully all the other guidelines hosted at:

https://www.springer.com/de/it-informatik/lncs/conference-proceedings-guidelines

Steering Committee

M. Agrawal (Indian Institute of Technology, Kanpur, India)
Jin-Yi Cai (University of Wisconsin, USA)
J. Hopcroft (Cornell University, USA)
A. Li (Beihang University, Beijing, China)
Z. Liu (Institute of Computing Technology, Chinese Academy of Sciences, China)

Programme Committee

Chair: Professor Junzo Watada, Waseda University, Japan
Co-chair: Professor T V Gopal, Anna University, India

Finance Committee:

Chair: Professor Yoshiyuki Matsumoto, Shimonoseki City University, Japan

The programme committee has 33 Eminent Experts from 20 Countries.

Aaron D. Jaggard, U.S. Naval Research Laboratory, USA
Abdulmunem M Artoli, King Saud University, Saudi Arabia
Anthony Bonato, Ryerson University, Canada
Antonio Fernandez Anta, IMDEA Networks Institute, Spain
Cristian S. Calude, University of Auckland, New Zealand
Frank Stephan, National University of Singapore, Singapore
Hans Bodlaender, Utrecht University/ Eindhoven University of
Technology, Netherlands
Hiroshi Sakai, Kyushu Institute of Technology, Japan
Jan Kratochvil, Charles University, Czech Republic
Johann A. Makowsky, Technion - Israel Institute of Technology, Israel
Jose Rolim, University of Geneva, Switzerland
Kawano Tomonori, Kitakyushu City University, Japan
Kenichi Asami, Kyushu Institute of Technology, Japan
Klaus Ambos-Spies, University of Heidelberg, Germany
Klaus Meer, Brandenburg University of Technology (BTU) Cottbus
Senftenberg, Germany
Maya Dimitrova, Institute of Robotics, Bulgarian Academy of Sciences, Bulgaria
Naijun Zhan, Institute of Software Chinese Academy of Sciences, China
Pan Peng, University of Sheffield, United Kingdom
Pandu Rangan Chandrasekaran, Indian Institute of Technology, Madras, India
Philippe Moser, National University of Ireland, Ireland
Pushkar S. Joglekar, Vishwakarma Institute of Technology, India
Roman Kuznets, Technical University Wien, Austria
Shyamasundar R.K, Indian Institute of Technology Bombay, India
Steffen Lempp, University of Wisconsin, Madison, USA
Toshihide Yoshimura, Kitakyushu City University, Japan
Thomas Zeugmann, Hokkaido University, Japan
Valentina Emilia Balas, Aurel Vlaicu University of Arad, Romania
Venkat Chakravarthy, IBM, India
Toshihiro Fujito, Toyohashi University of Technology, Japan
Wu Guohua, Nanyang Technological University, Singapore
Yaroslav D. Sergeyev, Universita della Calabria, Italy
Yoshiyuki Matsumoto, Shimonoseki City University, Japan
Yoshiyuki Yabuuchi, Shimonoseki City University, Japan

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam