Workshop on Computation: Theory and Practice (WCTP-2011)

Post date: Jul 1, 2011 3:11:33 AM

Workshop on Computation: Theory and Practice (WCTP-2011)

September 12-13, 2011, Manila, Philippines

Workshop Overview

¨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-2011 is the first 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-2011 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-2011 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 the auditorium of the University of the Philippines-National Institute for Science and Mathematics Education and Development.

CALL FOR PAPERS

This call can be downloaded as PDF document.

TOPICS

The WCTP-2011 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

• Logical approach to software engineering for model checking and theorem proving
• Process calculi and their applications to security and software verification
• Formal frameworks of bioinformatics such as p system, petri-net and ambient calculus

SESSION 2

• 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). There is no limitation on paper length although 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. All papers will be peer-reviewed according to their novelty, soundness, significance, and relevance to the overall balance of topics represented at WCTP-2011.

For any inquiry, please email roberto(at)ai.sanken.osaka-u.ac.jp. Kindly specify in the subject field the pertinent session number.

IMPORTANT DATES

For more info on the workshop, please see the workshop homepage at: http://www.ai.sanken.osaka-u.ac.jp/WCTP-2011/