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.
The Department of Information Systems and Computer Science cordially invites
faculty and students to two workshops on January 14, 2012:
Game AI: Yesterday, Today and Tomorrow by Dr. Taesik Kim of Keimyung
Integrating Computer Science and the Learning Sciences by Dr. Ma. Mercedes
T. Rodrigo of the Ateneo de Manila.
Please see details below.
Game AI: Yesterday, Today, and Tomorrow
Dr. Taesik Kim
Keimyung University, South Korea
14 January 2012, 8:00-12:00
Department of Information Systems and Computer Science
Ateneo de Manila University, Loyola Heights, Quezon City
In many movies and science fiction stories, AI is one of the most popular
themes of the story. Whether the characters have evolved to hate people and
start eliminating all mankind, or fall in love with real people, they all
share a common concept of ‘thinking and learning like humans.’
Unfortunately, in the real world, complexities of AI algorithms have not yet
evolved to that point. In this lecture Game AI: Yesterday, Today, and
Tomorrow, we will discuss true definition of artificial intelligence within
games. All games are divided into two categories: perfect games and
imperfect games. Game developers need to apply an appropriate game AI engine
to maximize the user’s game experience in both types of games. Each AI
engine is deigned to respond and react in specific situations in the game
environment. Nowadays, due to the sharp increase of smart phone devices,
mobile games are becoming a new popular playground for AI system engineers
and game developers. However, since mobile phones contain many limitations,
developers now face the difficulty of modifying previous AI engines to fit
into mobile platforms. Moreover, going back to the actual concept of
artificial intelligence, current concepts of AI algorithms are much further
distanced from the ‘thinking and learning like human’ intelligence than AI
which we see in movies and stories. We still have many steps which need to
be climbed in the near future in order to create true artificial
About Dr. Kim:
Dr. Kim received his PhD in Computer Science from North
Dakota State University. Since 1992, he has been a Prfessor in the
Department of Game and Mobile Contents of Keimyung University in South
Korea. He is also the Director the Cultural Contents and Technology Project
Group of Keimyung University, a center dedicated to research and development
in the area of game and mobile contents. His areas of specialization are
artificial intelligence in games and the development of iOS based AI games.
Integrating Computer Science and the Learning Sciences
Dr. Ma. Mercedes T. Rodrigo
Ateneo Laboratory for the Learning Sciences
14 January 2012, 1:00 to 5:30
Department of Information Systems and Computer Science
Ateneo de Manila University, Loyola Heights, Quezon City
The Ateneo Laboratory for the Learning Sciences brings together artificial
intelligence, data mining and statistics, education, cognitive psychology,
human factors and other disciplines to study, enhance, and develop
environments that improve student achievement and the learning experience.
In this workshop, we will give participants an overview of laboratory’s
goals and directions. We will discuss our work in affect and behavior
detection and response in programming environments and intelligent tutors,
as well as the design and development of interfaces that are sensitive to
biometric readings and use behaviors. The purpose of this workshop is to
acquaint fellow faculty members and current or prospective graduate students
with our ongoing research, and in so doing to foster collaboration and
About Dr. Rodrigo:
Dr. Rodrigo is an Associate Professor in the Department
of Information Systems and Computer Science, Ateneo de Manila University and
head of the Ateneo Laboratory for the Learning Sciences. Under her
direction, the Ateneo’s Affective Computing group was recently named the
first runner up of the CHED Best Higher Education Institution Research Award
for NCR. Her research interests include affective computing, artificial
intelligence in education, intelligent tutoring systems, and computer
Workshop costs and registration
The costs of the workshops are:
• P600.00 to attend both workshops. These fees cover lunch, two snacks,
and handouts for both workshops.
• P400.00 to attend only one workshop. These fees cover lunch, two
snacks, and handouts for both workshops.
Payment procedures will be announced at a later date.
To register, please email the following details to Melinda Nicdao
Subject line: Workshop(s) title(s)
Designation: (e.g. faculty member, student, etc.)
Contact Phone Number:
For more information
Please email your inquiries to Melinda Nicdao (firstname.lastname@example.org).
(Repost from CSP Invitation)
|Call For Papers|
Computational Bioscience is an open access journal featuring research articles that combine biological and computational research to enhance the scientific understanding of life. It is the only journal that provides this comprehensive perspective. The discipline of computational bioscience, like the field of genomics, is in its infancy. For example, the meaning of most of the human genome remains a mystery! Furthermore, the existing models for computational genomics are insufficient for the shifting paradigms of biological interpretation. The current generation of bioinformaticians and molecular biologists will map the elements of the genomes, and will make scientific discoveries to enable diagnoses and management of human diseases, perhaps even curing many of the ills of mankind. As a community, our success requires continued refinement of the paradigms to encompass outcomes of major scientific initiatives, such as the ENCODE project, and development of a new generation of computational methods that help biologists to deal with the complexity of the new paradigms. Thus, the Journal of Computational Bioscience features research articles that effectively address grand challenge problems in the biological sciences.
Topics of interest include the following:
2nd International Workshop on
High Performance Bioinformatics and Biomedicine (HiBB)
August 30th 2011, Bordeaux, France
http://staff.icar.cnr.it/cannataro/hibb2011/held in conjunction with
August 29th – September 2nd, 2011
* * * CALL FOR PAPERS * * *
High-throughput technologies (e.g. microarray and mass spectrometry) and clinical diagnostic tools (e.g. medical imaging) are producing an increasing amount of experimental and clinical data. In such a scenario, large scale databases and bioinformatics tools are key tools for organizing and exploring biological and biomedical data with the aim to discover new knowledge in biology and medicine.
High-performance computing may play an important role in many phases of life sciences research, from raw data management and processing, to data analysis and integration, till data exploration and visualization. In particular, at the raw data layer, Grid infrastructures may offer the huge data storage needed to store experimental and biomedical data, while parallel computing can be used for basic pre-processing (e.g. parallel BLAST) and for more advanced analysis (e.g. parallel data mining). In such a scenario, novel parallel architectures (e.g. e.g. CELL processors, GPUs, FPGA, hybrid CPU/FPGA) coupled with emerging programming models may overcome the limits posed by conventional computers to the mining and exploration of large amounts of data.
At an higher layer, emerging biomedical applications need to use in a coordinated way both bioinformatics tools, biological data banks and patient?s clinical data, that require seamless integration, privacy preservation and controlled sharing. Service Oriented Architectures and semantic technologies, such as ontologies, may allow the building and deployment of the so called ?collaboratories?, where experimental research may be conducted by remote scientists in a collaborative way.
The goal of HiBB is to bring together scientists in the fields of high performance computing, computational biology and medicine to discuss, among the others, the organization of large scale biological and biomedical databases and the parallel implementation of bioinformatics algorithms and biomedical applications. Furthermore, the use of novel parallel architectures and dedicated hardware to implement bioinformatics and biomedical algorithms will be discussed.TOPICS OF INTEREST
The workshop is seeking original research papers presenting applications of parallel and high performance computing to biology and medicine. Topics of interest include, but are not limited to:- Large scale biological and biomedical databases
– Data integration and ontologies in biology and medicine
– Parallel bioinformatics algorithms
– Parallel visualization and exploration of biomedical data
– Parallel visualization and analysis of biomedical images
– Computing environments for large scale collaboration
– Scientific workflows in bioinformatics and biomedicine
– (Web) Services for bioinformatics and biomedicine
– Grid Computing for bioinformatics and biomedicine
– Peer-To-Peer Computing for bioinformatics and biomedicine
– Emerging architectures and programming models (e.g. Cell, GPUs) for bioinformatics and biomedicine
– Parallel processing of bio-signals
– Modeling and simulation of complex biological processesPROGRAM
The workshop will take place on August, 30th. It is scheduled as full-day.
The program is not available yet.PAPER SUBMISSION, REGISTRATION AND PUBLICATION
We invite original previously unpublished contributions. Submission implies that at least one author will register for the workshops at Euro-Par 2011 and present the paper in the workshop session, if accepted.
Full papers should not exceed 10 pages in the Springer LNCS style (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Paper submission has to be performed by using the HiBB EasyChair submission server (https://www.easychair.org/conferences/?conf=hibb2011).
In case of problems, authors may send their manuscript in PDF to the workshop chair: cannataro AT unicz.it.
Papers accepted for publication must also be supplied in source form (Latex or Word).
All accepted and presented papers will be included in the Workshops proceedings, that will be published in a separate Springer LNCS Euro-Par 2010 Workshop volume after the conference. Deadline for submitting camera
Authors of accepted papers will be required to sign up a Springer copyright form.JOURNAL SPECIAL ISSUE
At the end of the workshop, we plan to invite the best 4-6 papers of the workshop for a special section on an international journal.IMPORTANT DATES
Full papers submission: June 6, 2011
Decision Notification: July 15, 2011
Final papers due: August 5, 2011
Workshop session: August 30, 2011Final review comments: October 1, 2011
Camera ready papers for EuroPar Workshop Proceedings: October 15, 2011WORKSHOP ORGANIZER
Mario Cannataro, University Magna Gr?cia of Catanzaro, ItalyPROGRAM COMMITTEE (TO BE CONFIRMED)
1. Pratul K. Agarwal, Oak Ridge National Laboratory, USA
2. David A. Bader, College of Computing, Georgia University of Technology, USA
3. Ignacio Blanquer; Universidad Polit?cnica de Valencia, Valencia, Spain
4. Daniela Calvetti, Case Western Reserve University, USA
5. Werner Dubitzky, University of Ulster, UK
6. Ananth Y. Grama, Purdue University, USA
7. Concettina Guerra, University of Padova, Italy
8. Vicente Hern?ndez, Univ. Polit?cnica de Valencia, Spain
9. Salvatore Orlando, University of Venezia, Italy
10. Omer F. Rana, Cardiff University, UK
11. Richard Sinnott; National e-Science Centre, University of Glasgow, Glasgow, United Kingdom
12. Fabrizio Silvestri, ISTI-CNR, Italy
13. Erkki Somersalo, Case Western Reserve University, USA
14. Paolo Trunfio, University of Calabria, Italy
15. Albert Zomaya, University of Sydney, Australia