WCTP 2012

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

Topics

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.

Submission

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.

Important Dates

Paper Submission Deadline July 8, 2012
Extended: July 27, 2012
Acceptance Notification August 7, 2012
August 26, 2012
Camera-ready Paper Deadline August 14, 2012
September 2, 2012
Technical Presentation September 27-28, 2012

Shin-ya Nishizaki
Department of Computer Science,
Tokyo Institute of Technology
Tel/Fax: +81-3-5734-2772
Email: wctp2012 [at] lambda [dot] cs [dot] titech [dot] ac [dot] jp

For more information. Please visit WCTP 2012 Website.

Workshops on Game AI and Learning Sciences

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 
Univeristy

and

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
Venue TBA
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 
intelligence.

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
Venue TBA
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 
encourage participation.

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 
science education.

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 
(mnicdao@ateneo.edu):

Subject line: Workshop(s) title(s)
Name:
Institutional Affiliation:
Designation: (e.g. faculty member, student, etc.)
Contact Phone Number:
Email Address:

For more information

Please email your inquiries to Melinda Nicdao (mnicdao@ateneo.edu).

(Repost from CSP Invitation)

IJCB 2011 : ACTA Press – International Journal of Computational Bioscience

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:
• Bioinformatics
• Biomedical Informatics
• Computational Biology
• Systems Biology
• Personalized Medicine
• Regulatory Networks
• Biological Pathway Analysis
• Machine Learning
• Education
• Discovery of Functional Genomic Elements
• Biological Databases
• Pattern Recognition
• High Performance Computing
• Software Design Patterns
• Software Open Source Repositories
• Regulatory Genomics
• Genome Scale Patterns
• Protein Structure Prediction
• Gene Prediction
• Genome Annotation
• Comparative Genomics
• Functional Genomics
• Sequence Alignment
• Evolutionary Biology
• Proteomics
• Algorithms
• Theoretical Bioinformatics
• Translational Biology
• Biological Simulation
• Microarray Analysis

IEEE ICIS 2011
2011 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2011)
IJRA 2011
ACTA Press – International Journal of Robotics and Automation
ISWCS 2011
8th International Symposium on Wireless Communication Systems
IJMS 2011
ACTA Press – International Journal of Modelling and Simulation
IJCA 2011
ACTA Press – International Journal of Computers and Applications
HPSC 2012
5th International Conference on High Performance Scientific Computing

2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB)

=====================================================================

2nd International Workshop on

High Performance Bioinformatics and Biomedicine (HiBB)

August 30th 2011, Bordeaux, France

HiBB 2011

http://staff.icar.cnr.it/cannataro/hibb2011/held in conjunction with

Euro-Par 2011

Bordeaux, France

August 29th – September 2nd, 2011

http://europar2011.bordeaux.inria.fr/

=====================================================================

* * * 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

CIBCB 2012

IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology

HiPC 2011

International Conference on High Performance Computing

IJCB 2011

ACTA Press – International Journal of Computational Bioscience

PBC 2011

Workshop on Parallel Computational Biology

Healthcare-Workshop 2011

The 1st International Workshop on Healthcare Systems Engineering

ACM BCB 2011

2011 ACM Conference on Bioinformatics, Computational Biology and Biomedicine