Workshop on Computation: Theory and Practice
September 27-28, 2012. De La Salle University Manila
“The best theory is inspired by practice. The best practice is inspired by theory.”-Donald Knuth
Computation should be a good blend of theory and practice. Researchers in the field should create algorithms to address real world problems putting equal weight to analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications. WCTP 2012 is the second workshop organized by the Tokyo Institute of Technology, The Institute of Scientific and Industrial Research-Osaka University, University of the Philippines-Diliman and De La Salle University-Manila that is devoted to theoretical and practical approaches to computation. It aims to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society.
WCTP 2012 will feature presentations of prominent researchers as well as presentations of research papers selected by members of its Program Committee who come from highly distinguished institutions in Japan and the Philippines. Their expert knowledge and years of research experience will certainly provide high quality reviews that future submissions can benefit from.
WCTP 2012 also aims to be a venue for experts in academe and industry to gather and discuss possibilities of establishing research networks and joint research projects.
For this year, the workshop will be held at De La Salle University.
Call for Papers
The WCTP 2012 program will consist of Invited Talks by prominent researchers, Contributed Talks and Poster Sessions from submitted papers selected by the Program Committee. All sessions will be devoted to original research. Major topics of the workshop include, but are not limited to, the following:
Session 1: Theoretical Approaches to Computation
- Logical approach to software engineering for model checking and theorem proving,
- Process calculi and their applications to security and software verification, and
- Formal frameworks of bioinformatics such as p system, petri-net and ambient calculus.
Session 2: Practical Approaches to Computation
- User modeling (emotion, mood, intention, motion, posture and gesture)
- User behavior and/or activity modeling
- Social signal processing
- Ubiquitous computing
- Ambient intelligence
- Human-computer interactions
- Intelligent user interfaces
Submissions related to the topics of the workshop are very much welcome. Submissions that relate results from other areas to the workshop topics are also encouraged. Submitted papers should preferably be typeset in LaTeX2e using the Springer document class llncs for the LNCS format (see http://www.springer.de/comp/lncs/authors.html). We recommend the usual page limits of around 12 pages.
Any submission should include the session name, the title of the paper, names and affiliations of authors, an abstract of 70-150 words, and the contact author’s name, phone number, fax number, and email address. Submissions must be in English. The paper must be unpublished and not submitted for publication elsewhere, including journals and proceedings of other symposia or workshops. One author of each accepted paper should be able to present it at the workshop.
All submissions should be in PDF file format and uploaded via the Easychair Conference System (https://www.easychair.org/conferences/?conf=wctp2012) , which will be configured soon. All papers will be peer-reviewed according to their novelty, soundness, significance, and relevance to the overall balance of topics represented at WCTP 2012.
For any inquiry, please email wctp2012(at)lambda.cs.titech.ac.jp. Kindly specify in the subject field the pertinent session number.
|Paper Submission Deadline||
Extended: July 27, 2012
August 26, 2012
|Camera-ready Paper Deadline||
September 2, 2012
|Technical Presentation||September 27-28, 2012|
Department of Computer Science,
Tokyo Institute of Technology
Email: wctp2012 [at] lambda [dot] cs [dot] titech [dot] ac [dot] jp
For more information. Please visit WCTP 2012 Website.