Author Archives: Dom Cimafranca

Call for Papers to Workshop on Computation

Posted on by

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.

Information Society Innovation Fund grants

Posted on by

Grants will be provided to project proposals to be implemented in a period of 6 to 12 months for up to AUD 30,000 that are aligned with the funding categories and eligibility criteria. Project proposals should provide clear and concrete information about the proposed initiative so the evaluation committee can properly assess it. Innovation and development should be an integral part of all project proposals received during the application process.

via grant.