From itannounce at mail.it.usyd.edu.au Mon Sep 4 17:04:20 2006 From: itannounce at mail.it.usyd.edu.au (itannounce@mail.it.usyd.edu.au) Date: Mon Sep 4 17:11:21 2006 Subject: [Itannounce] IT-Announce Newsletter - Issue 1 September 2006 Message-ID: <20060904070420.GA24265@flexal3.cs.usyd.edu.au> Dear IT-Announce subscriber, Welcome to issue number 1 for September, 2006. This service is sponsored by the Australian Computer Society (www.acs.org.au). Complete news items may be found at http://www.cs.usyd.edu.au/~it-announce/news.htm. Submit news items at http://www.it.usyd.edu.au/~it-announce/itpost.htm. Australian International and Local Conference Announcements Computing The Future Symposium 2006 Advances in Modal Logic 2006. Call for Participation HCSNet Priority Area Workshop on Next-Generation Search Technology 21-22 Sept Australasian Information Security Workshop 2007 (Privacy Enhancing Technologies) International Conference Announcements Asia-Pacific Workshop on Intelligent and Evolutionary Systems ACM_NZ Bulletin: Call for Submissions 2nd International Workshop on Software for Sensor Networks Sensorware 2007 The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing. (BLSC07) 2nd Int. Workshop on Engineering Service Oriented Applications:Design and Composition (WESOA'06) JSAT S.I. on Satisfiability Modulo Theories Academic Positions Multimedia Understanding through Semantics, Computation, and Learning Postdoc ====================================================================== Australian International and Local Conference Announcements Computing The Future Symposium 2006 editor@slatteryit.com.au The University of Sydney COMPUTING THE FUTURE SYMPOSIUM 2006 Wednesday,13th September 2006 It has been 50 years since the first highspeed computer - SILLIAC - was built at an Australian University. Join leaders from across industry, eminent researchers and international guest speakers as we celebrate the University of Sydney's distinguished history in computer science, and explore future IT directions. Keynote Speakers Include: David Murray Chairman, Future Fund Board of Guardians & Former CEO of Commonwealth Bank Howard Charney Senior Vice President, Cisco Systems & One of the four founders of 3Com Corporation Dr Caroline Kovac ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt0 ====================================================================== Advances in Modal Logic 2006. Call for Participation guido@itee.uq.edu.au ======================================================================== CALL FOR PARTICIPATION AiML-2006 Advances in Modal Logic 25-28 September 2006, Noosa (Queensland, Australia) http://www.itee.uq.edu.au/~aiml06 EARLY REGISTRATION: 28 August 2006 Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2006 is the sixth conference in the series. INVITED SPEAKERS - Renate Schmidt (Manchester, UK) Developing Modal Tableaux and Resolution Methods via First-Order Resolution ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt1 ====================================================================== HCSNet Priority Area Workshop on Next-Generation Search Technology 21-22 Sept diego@ics.mq.edu.au HCSNet Priority Area Workshop on Next-Generation Search Technology 21st and 22nd September 2006 University of Melbourne CALL FOR ABSTRACTS Existing information retrieval systems effectively treat documents as unstructured bags of words. As Google and its competitors demonstrate, this approach works surprisingly well. At the same time, it is clear that human processors of information make use of a much deeper understanding of text than these systems exhibit. Humans cannot compete with machines in terms of quantity, but their abilities far exceed those of machines when it comes to quality. This priority research area focuses on how we can improve search engine technology by integrating more knowledge about the processing and understanding of language. This knowledge comes from a range of disciplines represented within HCSNet. Linguistics treats texts as richly structured objects that obey complex and interacting rules about language use, and natural language processing attempts to implement computational models that embody these ideas: how do we add this sophistication to ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt2 ====================================================================== Australasian Information Security Workshop 2007 (Privacy Enhancing Technologies) Chris.Steketee@cs.unisa.edu.au The submission deadline for this workshop has been extended to 11 September 2006. Although the focus is on Privacy Enhancing Technologies, papers in other areas of computer and information security and privacy are also acceptable. AISW-Pet aims at promoting research on privacy enhancing technologies and increasing the synergy between academic and industrial researchers working in this area. It is a one-day workshop to be held in conjunction with the Australasian Computer Science Conference, as part of Australasian Computer Science Week in Ballarat, Victoria, Australia, 30 January - 2 February 2007. We seek submissions from academic and industrial researchers on all theoretical and practical aspects of privacy enhancing technologies. Suggested topics include but are not restricted to: Anonymity and unobservability modeling Attacks on anonymity systems Cryptography Ethics, policy and law relating to privacy Identity management and identity theft ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt3 ====================================================================== International Conference Announcements Asia-Pacific Workshop on Intelligent and Evolutionary Systems rim@cse.snu.ac.kr 10th Asia-Pacific Workshop on Intelligent and Evolutionary Systems IES2006 Seoul National University, Seoul, Korea 25th-26th November, 2006 Following nine successful workshops in Australia, New Zealand and Japan, the tenth APWIES is to be held in Korea in November. Aims and Scope To encourage in-depth technical discussions, the number of participants of the workshop is limited to 40 or less. The workshop will allocate ample time for discussions in addition to paper presentations. It covers two major areas: Intelligent and Adaptive Systems: Designing and developing intelligent and adaptive systems using machine learning and/or evolutionary computation techniques; other artificial intelligence techniques will also be considered. Examples of topics include, but are not limited to, evolutionary learning, neural network learning, autonomous agents/robots, artificial life, evolutionary games, hybrid learning systems, other machine learning systems. Optimisation with Intelligent Systems: Both numerical and combinatorial optimisation will be considered. Examples of the ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt0 ====================================================================== ACM_NZ Bulletin: Call for Submissions t.lin@massey.ac.nz Call for submissions for the 2006 fourth issue of ACM_NZ Bulletin has already commenced. The submission deadline for the issue is Sep 28, 2006. For more information, please visit: http://www.acm.org/chapters/acm_nz/bulletin.php http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt1 ====================================================================== 2nd International Workshop on Software for Sensor Networks Sensorware 2007 rchell@deakin.edu.au CALL FOR PAPERS 2nd International Workshop on Software for Sensor Networks (SensorWare) To be held with Comsware 2007 (www.comsware.org) 8th January 2007, Bangalore India www.sensorware.org Advances in technology have made deployment of miniature sensors a realistic proposition. Low-power, inexpensive smart devices with multiple on-board sensors are connected through wireless links so as to form a collaborative sensor network to perform a specific task. As a result, it opens up a new paradigm of ubiquitous computing and enables a range of applications that are previously unrealizable or too costly to be realized. However, given the limitation of on-board hardware, one of the key areas towards achieving superior performance is through software implementation. The workshop is intended to bring together industry experts and researchers to share novel techniques, algorithms and software implementation for sensor networks, and to discuss the current status, technical challenges, standards, fundamental issues, and future services and applications in the form of panels and technical presentation. Topics of interest include but are not limited to the ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt2 ====================================================================== The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing. (BLSC07) bbz@it.usyd.edu.au Call for Papers (BLSC07) The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing. (BLSC07) Niagara Falls, Canada May 21-23, 2007 Sponsored by IEEE Technical Committee Distributed Processing (TCDP) http://www.laas.fr/BLSC07 SCOPE The aim of this symposium is to facilitate exchange of ideas and collaborations between computer scientists and biologists by presenting cutting-edge solutions of Modeling, Computing and Learning in Biology and Life Science. We invite submissions that address conceptual and practical issues of bioinformatics and life science with an interdisciplinary character. For example, computer science and mathematical modeling papers should contain a concise description of the biological problem being ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt3 ====================================================================== 2nd Int. Workshop on Engineering Service Oriented Applications:Design and Composition (WESOA'06) jiri@it.uts.edu.au 2nd INT. WORKSHOP ON ENGINEERING SERVICE ORIENTED APPLICATIONS: DESIGN AND COMPOSITION (WESOA'06) In conjunction with the 4th Int. Conference on Service Oriented Computing (ICSOC 2006) http://www.icsoc.org/ Chicago, USA, December 4th, 2006 WESOA Workshop Website http://fresco-www.informatik.uni-hamburg.de/wesoa06/ Abstract Submission Due: September 8th, 2006 OBJECTIVES ========== With the growing acceptance of service-oriented computing and increasing number of large-scale Web Services projects there is an urgent need for the research community and industry practitioners to combine in an effort to develop comprehensive methodologies that support the entire life-cycle of service oriented applications. To ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt4 ====================================================================== JSAT S.I. on Satisfiability Modulo Theories Roberto Sebastiani =================== Preliminary Call for Papers ==================== Journal on Satisfiability, Boolean Modeling and Computation (JSAT) Special Issue on Satisfiability Modulo Theories (SMT) http://dit.unitn.it/~rseba/jsat_smt06/ Deadline for paper submission (provisional): November 25th, 2006 ====================================================================== GENERAL INFORMATION Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of first-order formulae with respect to some decidable background theory (e.g., linear arithmetic, the theory of arrays, the theory of bit-vectors). SMT techniques are gaining increasing relevance in many application domains, including formal verification of hardware and software, compiler optimization, planning and scheduling. SMT is strongly related to SAT, as most SMT tools are built on top of ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt5 ====================================================================== Academic Positions and Scholarships Multimedia Understanding through Semantics, Computation, and Learning Postdoc aiia_announcements-admin@penelope.csd.auth.gr The Artificial Intelligence & Information Analysis Laboratory at the Aristotle University of Thessaloniki, Greece (www.aiia.csd.auth.gr) and the Institute of Information Theory and Automation at the Academy of Sciences of the Czech Republic, Prague (www.utia.cas.cz) offer a 17 month post-doc fellowship starting from October 1st 2006 within the framework of the European Union Network of Excellence MUSCLE "Multimedia Understanding through Semantics, Computation, and Learning" (www.muscle-noe.org). The research topic to be investigated is: Feature subset selection and multi-sensor fusion techniques for affect recognition and image texture analysis. http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt0 ======================================================================