Workshop on Computation : Theory and Practice 2012

“The best theory is inspired by practice. The best practice is inspired by theory.”
-Donald Knuth

I am looking forward to attending the 2012 Workshop on Computation: Theory and Practice on September 27 and 28, 2012. This would be an exciting and great learning experience. I hope some of our students can join too.

For those who are interested, you may visit http://www.lambda.cs.titech.ac.jp/wctp2012/index.html

Software Ventures International is recruiting!

Software Ventures International is conducting an intense recruitment campaign for qualified IT professionals.

Here is a link to their letter.

SVI Technologies

July 23, 2012

Fr. Daniel McNamara S.J. Ph.D.
Dean, School of Arts and Sciences
Ateneo de Davao University
Roxas Avenue, 8016 Davao City

Dear Dean McNamara,

Software Ventures Intemational is one of the IT service provider catering to both local and foreign clients. We are a pioneer and a recognized leader in providing software and non-voice BPO services in the Philippines for the past twenty-five (25) years.

We are currently conducting an intense recruitment campaign for qualified IT professionals in the field of software development and maintenance, system and network design, and business process outsourcing.

SVI strongly believes in the value of hiring new graduates because they bring a fresh perspective and a high level of enthusiasm to their work. In return, SVI provides an excellent atmosphere for learning, exploring, growing and building careers.

As part of our recruitment campaign, we are tapping only the best schools and colleges in the land. In this regard, would like to work with your office to be able to conduct recruitment activities in-campus or set job postings at your placement offrce bulletins, and coordinate with school officials to gain access to your graduate and/or graduating
students.

For any queries, please call our Human Resource Department at telephone numbers 633-87-88 loc 1637 or email us at hrd-at-svi.com.ph and mtan-at-svi.com.ph. We look forward to building a strong relationship with your institution by providing employment opportunities that will help your graduates pursue a career in the IT industry.

Thank you very much for your support.

Very truly yours,

Ma. Dina E. Tan, MBA
Head
Human Resource Department

Call for Papers to Workshop on Computation

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

via WCTP 2012.