From itannounce at mail.it.usyd.edu.au Thu Jul 6 14:31:03 2006 From: itannounce at mail.it.usyd.edu.au (itannounce@mail.it.usyd.edu.au) Date: Fri Jul 7 09:40:39 2006 Subject: [Itannounce] IT-Announce Newsletter - Issue 1 July 2006 Message-ID: <20060706043103.GA3633@cpu2.cs.usyd.edu.au> Dear IT-Announce subscriber, Welcome to issue number 1 for July, 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. Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce PRACTICAL COGNITIVE AGENTS and ROBOTS Open Source Developers' Conference - Melbourne - December 2006 International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA IEEE/WIC/ACM Web Intelligence 2006 (Deadline extended) IFIP SWWS 2006 - due July 10 The AVISPA Tool - v1.1 Academic Positions Open positions: R&D Software Engineer and APAI PhD Scholarship Two PhD scholarships available for ARC Discovery Project PhD Scholarship University of NSW PhD Scholarship on Relationships in OOP PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing ====================================================================== Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium Joachim Gudmundsson CALL FOR PAPER CATS 2007 Computing: The Australasian Theory Symposium January 29 - February 2, 2007, Ballarat, Australia http://www-staff.it.uts.edu.au/~cbj/cats0 CATS is the premier theoretical computer science conference i Australasia. It is held annually as part of Australasian Compute Science Week (ASCW) which comprises many other conferences and i overseen by the Computer Research and Education Associatio (CORE) CATS 2007 will be the thirteenth time that CATS has been held. Th symposium will consist of invited talks and formal pape presentations. All papers will be fully refereed with proceeding published by CRPIT Papers are invited on all aspects of Theoretical Computer Science Some representative, but not exclusive, topics include th following logic and type system ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg0 ====================================================================== IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce iawtic@canberra.edu.au CALL FOR PAPER International Conference on Intelligent Agents, Web Technologie and Internet Commerc http://www.ise.canberra.edu.au/conferences/iawtic06 Jointly wit International Conference on Computational Intelligence for Modelling Control and Automatio 28 November to 1 December 200 Sydney , Australi http://www.ise.canberra.edu.au/conferences/cimca06 Honorary Chair Lotfi A. Zadeh, University of California, US Stephen Grossberg, Boston University, US Important Dates ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg1 ====================================================================== PRACTICAL COGNITIVE AGENTS and ROBOTS Mary-Anne.Williams@uts.edu.au International Symposium on PRACTICAL COGNITIVE AGENTS and ROBOT --- Celebrating 50 Years of Artificial Intelligence -- CALL FOR PAPER http://agents.csse.uwa.edu.au/pcar *Paper Submission: September 30, 2006 27- 28 November, 2006 (Perth, Australia *INVITED SPEAKERS* Masahiro Fujita*- /General Manager, Chief Distinguished Researcher Intelligent Systems Research Laboratory, Information Technologie Laboratories, Sony Corporation/, /Japan. Technical leader of Sony' entertainment robot AIBOand humanoid QRIO *Patrick Doherty* - /Professor of Computer Science, Department o Computer and Information Science, Linköping University, and Directo for LinkLab, a center for Future Aviation Systems, which is a join venture between Saab Aero Systems and Linköping University. Mobile autonomous robots can perform complex tasks in unstructured an ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg2 ====================================================================== Open Source Developers' Conference - Melbourne - December 2006 debbiep-osdc@futzle.com http://www.osdc.com.au/papers/cfp06.html There are two and a half weeks to go to get your paper in for one of th best Australian conferences this year The deadline for proposals is 12th July 2006 The Open Source Developers' Conference is an Australian conferenc designed for developers, by developers. It covers numerous programmin languages across a range of operating systems. We're seeking papers o Open Source languages, technologies, projects and tools as well as topic of interest to Open Source developers The conference will be held in Melbourne, Victoria (Monash University' Caulfield Campus) from the 6th to the 8th of December, 2006. Each da includes three streams of talks, social events and is full catered with buffet lunch and morning, afternoon teas For a list of conference presentations from last year visit http://osdc2005.cgpublisher.com/proposals If you have any questions, or have never submitted a paper proposa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg3 ====================================================================== International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong dumitru.roman@deri.org *** First Call for Papers ** ---------------------------------------------------------------------------------------------- International Workshop on Service Composition, 2nd editio (sercomp'06 http://events.deri.at/sercomp2006 at the 2006 IEEE/WIC/ACM International Conference on Web Intelligenc (WI 2006 http://www.comp.hkbu.edu.hk/iwi0 December 18, 2006, Hong Kon ------------------------------------------------------- GENERAL OVERVIE Composition of services in dynamic environments has received muc interest for its potential to support Business-to-Business (B2B) o Enterprise Application Integration (EAI). One of such dynami environments is the World Wide Web, which makes available a hug ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg0 ====================================================================== CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) kinshuk@ieee.org Dear colleague Deadline for submissions: 17 July 2006 (for all contributions IADIS International Conference o Cognition and Exploratory Learning in Digital Age (CELDA 2006 December 8-10, 2006 - Barcelona, Spai (http://www.iadis.org/celda2006)* Importan Dates 17 July 2006 - Submission Deadlin 11 September 2006 - Notification to Author 16 October 2006 - Final Camera-Ready Submission and Early Registratio * Keynote Speaker (confirmed) Professor David Merrill, Brigham Young University Hawaii, US Professor Begoña Gros, Universidad de Barcelona, Spai * Invited Talk (confirmed) Dr Marco Marsella, European Commission, DG Information Society ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg1 ====================================================================== CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA jpt@metacase.com C A L L F O R P A P E R ============================ The 6th OOPSLA Workshop on Domain-Specific Modelin October 22, 200 Portland, Oregon, US http://www.dsmforum.org/events/DSM0 -------------------------------------------------------------------------- Call for Position Papers Domain-Specific Modeling raises the level of abstraction beyon programmin by specifying the solution directly using domain concepts. In many cases final products can be generated automatically from these high-leve specifications. This automation is possible because both the language an generators need fit the requirements of only one company and domain Industrial experiences of DSM consistently show it to be 5-10 times faste ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg2 ====================================================================== IEEE/WIC/ACM Web Intelligence 2006 hujia0601@sina.com #################################################################### IEEE/WIC/ACM WEB INTELLIGENCE 200 CALL FOR PAPER #################################################################### 2006 IEEE/WIC/ACM International Conference o Web Intelligence (WI'06 Hong Kong Convention and Exhibition Centre, Hong Kong, China 18-22 December 2006 Sponsored B IEEE Computer Societ Web Intelligence Consortium (WIC Association for Computing Machinery (ACM Co-Organized Wit Hong Kong Baptist University (HKBU ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg3 ====================================================================== (Deadline extended) IFIP SWWS 2006 - due July 10 IFIP SWWS 2006 CALL FOR PAPER **NEW Deadline** Paper Submission due - July 10, 2006 Second International IFIP WG 2.12 / 12.4 Workshop on Web Semantics (SWW '06 with special tracks on Security & Trust, Fuzzy models and Regulator Ontologie Oct 29 - Nov 3, 2006, Montpellier, Franc http://www.cs.rmit.edu.au/fedconf/index.html?page=swws2006cf In conjunction with OnTheMove Federated Conferences (OTM'06 http://www.cs.rmit.edu.au/fedcon Proceedings will be published by Springer LNC Motivatio The IFIP Working Group 2.12 & 12.4 on Semantic We (http://www.ceebi.curtin.edu.au/IFIP/) is a timely active internationa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg4 ====================================================================== The AVISPA Tool - v1.1 Laurent.Vigneron@loria.fr [We apologize if you received multiple copies of this message XXX X X XXXXX XXXXX XXXXXX XX X X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXXXX X X X XXXXX XXXXXX XXXXXX X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXX XXXXX X X V E R S I O N 1 . (June 30, 2006 We are happy to announce the availability of a new version of th AVISPA Tool, a push-button tool for the Automatic Validation o Internet Security-sensitive Protocols and Applications. The AVISP Tool v1.1 is available a ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg5 ====================================================================== Academic Positions and Scholarships Open positions: R&D Software Engineer and APAI PhD Scholarship rkowalczyk@ict.swin.edu.au R&D Software Engineer/Research Assistant, an APAI PhD Scholarship (Australian Postgraduate Award Industry Two positions are available in a research project on Agent-Enabled Socia Networks (AESN). The project is supported by a substantial researc grant awarded by the Australian Research Council's Linkage Program i collaboration with the industry partner Everyday Interactive Networks For more information please visi http://www.it.swin.edu.au/centres/ciamas ---------------------------------------------------------------- Prof Ryszard Kowalczy Director, Centre for Intelligent Agents and Multi-Agent System Faculty of Information and Communication Technologie Swinburne University of Technolog PO Box 218 Hawthorn, Victoria 3122, Australi http://www.it.swin.edu.au/centres/ciama Email: rkowalczyk@it.swin.edu.a Phone: +61 3 9214 5834 Fax: +61 3 9819 0823 Office: EW10 ---------------------------------------------------------------- ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg0 ====================================================================== Two PhD scholarships available for ARC Discovery Project liyan@usq.edu.au Two PhD scholarships funded by ARC Discovery Projec Stipend of $23,886 p.a. (tax free) (2006-2008 Application close: Open until fille Contact: Dr Yan L Department of Mathematics and Computin The University of Southern Queensland QLD 4350, Australia Email: liyan@usq.edu.a URL: http://www.sci.usq.edu.au/staff/liya Research Areas Biomedical Engineering (EEG or MRI), Artificial Intelligence and Networke Real-time Syste Prerequisites A Honours, Masters degree or equivalent in Computer Science, Electroni ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg1 ====================================================================== PhD Scholarship University of NSW jxue@cse.unsw.edu.au A PhD scholarship funded by an ARC grant is available. The intereste student please consult the following URL link for detail http://www.cse.unsw.edu.au/~jxue/xue06.htm --- Jingling Xu +------------------------------------------------------------------ | Tel: +61 2 9385 4889 School of Computer Science and Engineering | Fax: +61 2 9385 5995 The University of New South Wales | http://www.cse.unsw.edu.au/~jxue Sydney 2052 Australia | UNSW Legal disclaimer: http://www.eng.unsw.edu.au/emaildis.htm +------------------------------------------------------------------ http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg2 ====================================================================== PhD Scholarship on Relationships in OOP david.pearce@mcs.vuw.ac.nz Applications are invited for a targeted PhD scholarship with th Software Engineering Group at Victoria University of Wellington, Ne Zealand. The topic is "First-Class Relationships for Object-Oriente Programming Languages" (description below), to be supervised by Dr David J. Pearce and Professor James Noble The Scholarship is valued at $20,000 per annum, plus a contribution t tuition fees. International students will only pay domestic fees The deadline for applications is 17th July, 2006. More information can b found at: www.vuw.ac.nz/scholarships. Enquiries about the proposed topi should be directed to Dr. David J. Pearce on david.pearce@mcs.vuw.ac.n or +64 (0)4 463 583 Project Description Object-Oriented programming languages, such as Java, use objects as th fundamental building blocks for representing the world. While thi approach enables rich representation of the properties and behaviou of objects, it provides surprisingly limited support for representin relationships in ad-hoc ways, which results in needless errors, cod ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg3 ====================================================================== PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University rkowalczyk@swin.edu.au ---------------------------------------------------------------------------------------------- PhD Scholarship in Intelligent Agents and Multi-Agent System ---------------------------------------------------------------------------------------------- A new PhD Scholarship is available in Intelligent Agents and Multi-Agen Systems at the Swinburne Centre for Information Technology Research Faculty of Information and Communication Technologies, Swinburn University of Technology, Melbourne, Australia Potential candidates interested in PhD research in the areas o qualitative decision-making, argumentation and learning mechanism for multi-agent negotiation and coordination are encourage to apply. Preference will be given to the candidates with stron mathematical, game-theoretical, soft computing, artificial intelligenc and/or relevant computer science background and interests. Bot Australian and international candidates are encouraged to apply. Preferre commencement in 2006 For further information and application forms, please contact Pro Ryszard Kowalczyk with the following details ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg4 ====================================================================== PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing mehmet@ics.mq.edu.au PhD Postgraduate Scholarship: Macquarie University Computin APAI: Prediction and Classification Modelling for Debt Payment Risk for ATO Client URL: http://www.ro.mq.edu.au/HDRU/forms_scholar/ICSAPAIATO.pd The Computing Department, Macquarie University are offering one Australia Postgraduate Awards (Industry) Scholarship (APAI). The Australia Taxation Office (ATO) and Macquarie University have gained funding unde the ARC Linkage Projects (LP0561985) to support a research program fo the optimisation of tax collections by improving the prediction an classification of taxpayer debt payment risk Predictive models for financial distress and insolvency risk will b developed in this project. These models will be used to contribute to th understanding taxpayers; circumstances and the choice of appropriat collection actions. The successful applicant (PhD student) will conduc research in Macquarie's Intelligent Systems Group and collaborate wit the Analytics team in the Office of the Chief Knowledge Officer at th ATO. The student will spend time at the ATO being briefed by domai experts on debt and recovery issues and gaining an understanding of th ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg5 ====================================================================== From itannounce at mail.it.usyd.edu.au Thu Jul 6 15:21:43 2006 From: itannounce at mail.it.usyd.edu.au (itannounce@mail.it.usyd.edu.au) Date: Fri Jul 7 09:40:41 2006 Subject: [Itannounce] IT-Announce Newsletter - Issue 1 July 2006 Message-ID: <20060706052143.GA4447@cpu2.cs.usyd.edu.au> Dear IT-Announce subscriber, Welcome to issue number 1 for July, 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. Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce PRACTICAL COGNITIVE AGENTS and ROBOTS Open Source Developers' Conference - Melbourne - December 2006 International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA IEEE/WIC/ACM Web Intelligence 2006 (Deadline extended) IFIP SWWS 2006 - due July 10 The AVISPA Tool - v1.1 Academic Positions Open positions: R&D Software Engineer and APAI PhD Scholarship Two PhD scholarships available for ARC Discovery Project PhD Scholarship University of NSW PhD Scholarship on Relationships in OOP PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing ====================================================================== Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium Joachim Gudmundsson CALL FOR PAPER CATS 2007 Computing: The Australasian Theory Symposium January 29 - February 2, 2007, Ballarat, Australia http://www-staff.it.uts.edu.au/~cbj/cats0 CATS is the premier theoretical computer science conference i Australasia. It is held annually as part of Australasian Compute Science Week (ASCW) which comprises many other conferences and i overseen by the Computer Research and Education Associatio (CORE) CATS 2007 will be the thirteenth time that CATS has been held. Th symposium will consist of invited talks and formal pape presentations. All papers will be fully refereed with proceeding published by CRPIT Papers are invited on all aspects of Theoretical Computer Science Some representative, but not exclusive, topics include th following logic and type system ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg0 ====================================================================== IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce iawtic@canberra.edu.au CALL FOR PAPER International Conference on Intelligent Agents, Web Technologie and Internet Commerc http://www.ise.canberra.edu.au/conferences/iawtic06 Jointly wit International Conference on Computational Intelligence for Modelling Control and Automatio 28 November to 1 December 200 Sydney , Australi http://www.ise.canberra.edu.au/conferences/cimca06 Honorary Chair Lotfi A. Zadeh, University of California, US Stephen Grossberg, Boston University, US Important Dates ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg1 ====================================================================== PRACTICAL COGNITIVE AGENTS and ROBOTS Mary-Anne.Williams@uts.edu.au International Symposium on PRACTICAL COGNITIVE AGENTS and ROBOT --- Celebrating 50 Years of Artificial Intelligence -- CALL FOR PAPER http://agents.csse.uwa.edu.au/pcar *Paper Submission: September 30, 2006 27- 28 November, 2006 (Perth, Australia *INVITED SPEAKERS* Masahiro Fujita*- /General Manager, Chief Distinguished Researcher Intelligent Systems Research Laboratory, Information Technologie Laboratories, Sony Corporation/, /Japan. Technical leader of Sony' entertainment robot AIBOand humanoid QRIO *Patrick Doherty* - /Professor of Computer Science, Department o Computer and Information Science, Linköping University, and Directo for LinkLab, a center for Future Aviation Systems, which is a join venture between Saab Aero Systems and Linköping University. Mobile autonomous robots can perform complex tasks in unstructured an ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg2 ====================================================================== Open Source Developers' Conference - Melbourne - December 2006 debbiep-osdc@futzle.com http://www.osdc.com.au/papers/cfp06.html There are two and a half weeks to go to get your paper in for one of th best Australian conferences this year The deadline for proposals is 12th July 2006 The Open Source Developers' Conference is an Australian conferenc designed for developers, by developers. It covers numerous programmin languages across a range of operating systems. We're seeking papers o Open Source languages, technologies, projects and tools as well as topic of interest to Open Source developers The conference will be held in Melbourne, Victoria (Monash University' Caulfield Campus) from the 6th to the 8th of December, 2006. Each da includes three streams of talks, social events and is full catered with buffet lunch and morning, afternoon teas For a list of conference presentations from last year visit http://osdc2005.cgpublisher.com/proposals If you have any questions, or have never submitted a paper proposa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg3 ====================================================================== International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong dumitru.roman@deri.org *** First Call for Papers ** ---------------------------------------------------------------------------------------------- International Workshop on Service Composition, 2nd editio (sercomp'06 http://events.deri.at/sercomp2006 at the 2006 IEEE/WIC/ACM International Conference on Web Intelligenc (WI 2006 http://www.comp.hkbu.edu.hk/iwi0 December 18, 2006, Hong Kon ------------------------------------------------------- GENERAL OVERVIE Composition of services in dynamic environments has received muc interest for its potential to support Business-to-Business (B2B) o Enterprise Application Integration (EAI). One of such dynami environments is the World Wide Web, which makes available a hug ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg0 ====================================================================== CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) kinshuk@ieee.org Dear colleague Deadline for submissions: 17 July 2006 (for all contributions IADIS International Conference o Cognition and Exploratory Learning in Digital Age (CELDA 2006 December 8-10, 2006 - Barcelona, Spai (http://www.iadis.org/celda2006)* Importan Dates 17 July 2006 - Submission Deadlin 11 September 2006 - Notification to Author 16 October 2006 - Final Camera-Ready Submission and Early Registratio * Keynote Speaker (confirmed) Professor David Merrill, Brigham Young University Hawaii, US Professor Begoña Gros, Universidad de Barcelona, Spai * Invited Talk (confirmed) Dr Marco Marsella, European Commission, DG Information Society ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg1 ====================================================================== CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA jpt@metacase.com C A L L F O R P A P E R ============================ The 6th OOPSLA Workshop on Domain-Specific Modelin October 22, 200 Portland, Oregon, US http://www.dsmforum.org/events/DSM0 -------------------------------------------------------------------------- Call for Position Papers Domain-Specific Modeling raises the level of abstraction beyon programmin by specifying the solution directly using domain concepts. In many cases final products can be generated automatically from these high-leve specifications. This automation is possible because both the language an generators need fit the requirements of only one company and domain Industrial experiences of DSM consistently show it to be 5-10 times faste ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg2 ====================================================================== IEEE/WIC/ACM Web Intelligence 2006 hujia0601@sina.com #################################################################### IEEE/WIC/ACM WEB INTELLIGENCE 200 CALL FOR PAPER #################################################################### 2006 IEEE/WIC/ACM International Conference o Web Intelligence (WI'06 Hong Kong Convention and Exhibition Centre, Hong Kong, China 18-22 December 2006 Sponsored B IEEE Computer Societ Web Intelligence Consortium (WIC Association for Computing Machinery (ACM Co-Organized Wit Hong Kong Baptist University (HKBU ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg3 ====================================================================== (Deadline extended) IFIP SWWS 2006 - due July 10 IFIP SWWS 2006 CALL FOR PAPER **NEW Deadline** Paper Submission due - July 10, 2006 Second International IFIP WG 2.12 / 12.4 Workshop on Web Semantics (SWW '06 with special tracks on Security & Trust, Fuzzy models and Regulator Ontologie Oct 29 - Nov 3, 2006, Montpellier, Franc http://www.cs.rmit.edu.au/fedconf/index.html?page=swws2006cf In conjunction with OnTheMove Federated Conferences (OTM'06 http://www.cs.rmit.edu.au/fedcon Proceedings will be published by Springer LNC Motivatio The IFIP Working Group 2.12 & 12.4 on Semantic We (http://www.ceebi.curtin.edu.au/IFIP/) is a timely active internationa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg4 ====================================================================== The AVISPA Tool - v1.1 Laurent.Vigneron@loria.fr [We apologize if you received multiple copies of this message XXX X X XXXXX XXXXX XXXXXX XX X X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXXXX X X X XXXXX XXXXXX XXXXXX X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXX XXXXX X X V E R S I O N 1 . (June 30, 2006 We are happy to announce the availability of a new version of th AVISPA Tool, a push-button tool for the Automatic Validation o Internet Security-sensitive Protocols and Applications. The AVISP Tool v1.1 is available a ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg5 ====================================================================== Academic Positions and Scholarships Open positions: R&D Software Engineer and APAI PhD Scholarship rkowalczyk@ict.swin.edu.au R&D Software Engineer/Research Assistant, an APAI PhD Scholarship (Australian Postgraduate Award Industry Two positions are available in a research project on Agent-Enabled Socia Networks (AESN). The project is supported by a substantial researc grant awarded by the Australian Research Council's Linkage Program i collaboration with the industry partner Everyday Interactive Networks For more information please visi http://www.it.swin.edu.au/centres/ciamas ---------------------------------------------------------------- Prof Ryszard Kowalczy Director, Centre for Intelligent Agents and Multi-Agent System Faculty of Information and Communication Technologie Swinburne University of Technolog PO Box 218 Hawthorn, Victoria 3122, Australi http://www.it.swin.edu.au/centres/ciama Email: rkowalczyk@it.swin.edu.a Phone: +61 3 9214 5834 Fax: +61 3 9819 0823 Office: EW10 ---------------------------------------------------------------- ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg0 ====================================================================== Two PhD scholarships available for ARC Discovery Project liyan@usq.edu.au Two PhD scholarships funded by ARC Discovery Projec Stipend of $23,886 p.a. (tax free) (2006-2008 Application close: Open until fille Contact: Dr Yan L Department of Mathematics and Computin The University of Southern Queensland QLD 4350, Australia Email: liyan@usq.edu.a URL: http://www.sci.usq.edu.au/staff/liya Research Areas Biomedical Engineering (EEG or MRI), Artificial Intelligence and Networke Real-time Syste Prerequisites A Honours, Masters degree or equivalent in Computer Science, Electroni ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg1 ====================================================================== PhD Scholarship University of NSW jxue@cse.unsw.edu.au A PhD scholarship funded by an ARC grant is available. The intereste student please consult the following URL link for detail http://www.cse.unsw.edu.au/~jxue/xue06.htm --- Jingling Xu +------------------------------------------------------------------ | Tel: +61 2 9385 4889 School of Computer Science and Engineering | Fax: +61 2 9385 5995 The University of New South Wales | http://www.cse.unsw.edu.au/~jxue Sydney 2052 Australia | UNSW Legal disclaimer: http://www.eng.unsw.edu.au/emaildis.htm +------------------------------------------------------------------ http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg2 ====================================================================== PhD Scholarship on Relationships in OOP david.pearce@mcs.vuw.ac.nz Applications are invited for a targeted PhD scholarship with th Software Engineering Group at Victoria University of Wellington, Ne Zealand. The topic is "First-Class Relationships for Object-Oriente Programming Languages" (description below), to be supervised by Dr David J. Pearce and Professor James Noble The Scholarship is valued at $20,000 per annum, plus a contribution t tuition fees. International students will only pay domestic fees The deadline for applications is 17th July, 2006. More information can b found at: www.vuw.ac.nz/scholarships. Enquiries about the proposed topi should be directed to Dr. David J. Pearce on david.pearce@mcs.vuw.ac.n or +64 (0)4 463 583 Project Description Object-Oriented programming languages, such as Java, use objects as th fundamental building blocks for representing the world. While thi approach enables rich representation of the properties and behaviou of objects, it provides surprisingly limited support for representin relationships in ad-hoc ways, which results in needless errors, cod ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg3 ====================================================================== PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University rkowalczyk@swin.edu.au ---------------------------------------------------------------------------------------------- PhD Scholarship in Intelligent Agents and Multi-Agent System ---------------------------------------------------------------------------------------------- A new PhD Scholarship is available in Intelligent Agents and Multi-Agen Systems at the Swinburne Centre for Information Technology Research Faculty of Information and Communication Technologies, Swinburn University of Technology, Melbourne, Australia Potential candidates interested in PhD research in the areas o qualitative decision-making, argumentation and learning mechanism for multi-agent negotiation and coordination are encourage to apply. Preference will be given to the candidates with stron mathematical, game-theoretical, soft computing, artificial intelligenc and/or relevant computer science background and interests. Bot Australian and international candidates are encouraged to apply. Preferre commencement in 2006 For further information and application forms, please contact Pro Ryszard Kowalczyk with the following details ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg4 ====================================================================== PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing mehmet@ics.mq.edu.au PhD Postgraduate Scholarship: Macquarie University Computin APAI: Prediction and Classification Modelling for Debt Payment Risk for ATO Client URL: http://www.ro.mq.edu.au/HDRU/forms_scholar/ICSAPAIATO.pd The Computing Department, Macquarie University are offering one Australia Postgraduate Awards (Industry) Scholarship (APAI). The Australia Taxation Office (ATO) and Macquarie University have gained funding unde the ARC Linkage Projects (LP0561985) to support a research program fo the optimisation of tax collections by improving the prediction an classification of taxpayer debt payment risk Predictive models for financial distress and insolvency risk will b developed in this project. These models will be used to contribute to th understanding taxpayers; circumstances and the choice of appropriat collection actions. The successful applicant (PhD student) will conduc research in Macquarie's Intelligent Systems Group and collaborate wit the Analytics team in the Office of the Chief Knowledge Officer at th ATO. The student will spend time at the ATO being briefed by domai experts on debt and recovery issues and gaining an understanding of th ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg5 ====================================================================== From itannounce at mail.it.usyd.edu.au Thu Jul 6 16:40:01 2006 From: itannounce at mail.it.usyd.edu.au (itannounce@mail.it.usyd.edu.au) Date: Fri Jul 7 09:40:42 2006 Subject: [Itannounce] IT-Announce Newsletter - Issue 1 July 2006 Message-ID: <20060706064001.GA5204@cpu2.cs.usyd.edu.au> Dear IT-Announce subscriber, Welcome to issue number 1 for July, 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. Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce PRACTICAL COGNITIVE AGENTS and ROBOTS Open Source Developers' Conference - Melbourne - December 2006 International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA IEEE/WIC/ACM Web Intelligence 2006 (Deadline extended) IFIP SWWS 2006 - due July 10 The AVISPA Tool - v1.1 Academic Positions Open positions: R&D Software Engineer and APAI PhD Scholarship Two PhD scholarships available for ARC Discovery Project PhD Scholarship University of NSW PhD Scholarship on Relationships in OOP PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing ====================================================================== Australian International and Local Conference Announcements CCATS 2007 Computing: The Australasian Theory Symposium Joachim Gudmundsson CALL FOR PAPER CATS 2007 Computing: The Australasian Theory Symposium January 29 - February 2, 2007, Ballarat, Australia http://www-staff.it.uts.edu.au/~cbj/cats0 CATS is the premier theoretical computer science conference i Australasia. It is held annually as part of Australasian Compute Science Week (ASCW) which comprises many other conferences and i overseen by the Computer Research and Education Associatio (CORE) CATS 2007 will be the thirteenth time that CATS has been held. Th symposium will consist of invited talks and formal pape presentations. All papers will be fully refereed with proceeding published by CRPIT Papers are invited on all aspects of Theoretical Computer Science Some representative, but not exclusive, topics include th following logic and type system ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg0 ====================================================================== IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce iawtic@canberra.edu.au CALL FOR PAPER International Conference on Intelligent Agents, Web Technologie and Internet Commerc http://www.ise.canberra.edu.au/conferences/iawtic06 Jointly wit International Conference on Computational Intelligence for Modelling Control and Automatio 28 November to 1 December 200 Sydney , Australi http://www.ise.canberra.edu.au/conferences/cimca06 Honorary Chair Lotfi A. Zadeh, University of California, US Stephen Grossberg, Boston University, US Important Dates ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg1 ====================================================================== PRACTICAL COGNITIVE AGENTS and ROBOTS Mary-Anne.Williams@uts.edu.au International Symposium on PRACTICAL COGNITIVE AGENTS and ROBOT --- Celebrating 50 Years of Artificial Intelligence -- CALL FOR PAPER http://agents.csse.uwa.edu.au/pcar *Paper Submission: September 30, 2006 27- 28 November, 2006 (Perth, Australia *INVITED SPEAKERS* Masahiro Fujita*- /General Manager, Chief Distinguished Researcher Intelligent Systems Research Laboratory, Information Technologie Laboratories, Sony Corporation/, /Japan. Technical leader of Sony' entertainment robot AIBOand humanoid QRIO *Patrick Doherty* - /Professor of Computer Science, Department o Computer and Information Science, Linköping University, and Directo for LinkLab, a center for Future Aviation Systems, which is a join venture between Saab Aero Systems and Linköping University. Mobile autonomous robots can perform complex tasks in unstructured an ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg2 ====================================================================== Open Source Developers' Conference - Melbourne - December 2006 debbiep-osdc@futzle.com http://www.osdc.com.au/papers/cfp06.html There are two and a half weeks to go to get your paper in for one of th best Australian conferences this year The deadline for proposals is 12th July 2006 The Open Source Developers' Conference is an Australian conferenc designed for developers, by developers. It covers numerous programmin languages across a range of operating systems. We're seeking papers o Open Source languages, technologies, projects and tools as well as topic of interest to Open Source developers The conference will be held in Melbourne, Victoria (Monash University' Caulfield Campus) from the 6th to the 8th of December, 2006. Each da includes three streams of talks, social events and is full catered with buffet lunch and morning, afternoon teas For a list of conference presentations from last year visit http://osdc2005.cgpublisher.com/proposals If you have any questions, or have never submitted a paper proposa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.msg3 ====================================================================== International Conference Announcements Service Composition Workshop, 2nd edition (sercomp'06), December 18, 2006, Hong Kong dumitru.roman@deri.org *** First Call for Papers ** ---------------------------------------------------------------------------------------------- International Workshop on Service Composition, 2nd editio (sercomp'06 http://events.deri.at/sercomp2006 at the 2006 IEEE/WIC/ACM International Conference on Web Intelligenc (WI 2006 http://www.comp.hkbu.edu.hk/iwi0 December 18, 2006, Hong Kon ------------------------------------------------------- GENERAL OVERVIE Composition of services in dynamic environments has received muc interest for its potential to support Business-to-Business (B2B) o Enterprise Application Integration (EAI). One of such dynami environments is the World Wide Web, which makes available a hug ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg0 ====================================================================== CFP: Intl Conf on Cognition and Exploratory Learning in Digital Age (CELDA 2006) kinshuk@ieee.org Dear colleague Deadline for submissions: 17 July 2006 (for all contributions IADIS International Conference o Cognition and Exploratory Learning in Digital Age (CELDA 2006 December 8-10, 2006 - Barcelona, Spai (http://www.iadis.org/celda2006)* Importan Dates 17 July 2006 - Submission Deadlin 11 September 2006 - Notification to Author 16 October 2006 - Final Camera-Ready Submission and Early Registratio * Keynote Speaker (confirmed) Professor David Merrill, Brigham Young University Hawaii, US Professor Begoña Gros, Universidad de Barcelona, Spai * Invited Talk (confirmed) Dr Marco Marsella, European Commission, DG Information Society ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg1 ====================================================================== CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA jpt@metacase.com C A L L F O R P A P E R ============================ The 6th OOPSLA Workshop on Domain-Specific Modelin October 22, 200 Portland, Oregon, US http://www.dsmforum.org/events/DSM0 -------------------------------------------------------------------------- Call for Position Papers Domain-Specific Modeling raises the level of abstraction beyon programmin by specifying the solution directly using domain concepts. In many cases final products can be generated automatically from these high-leve specifications. This automation is possible because both the language an generators need fit the requirements of only one company and domain Industrial experiences of DSM consistently show it to be 5-10 times faste ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg2 ====================================================================== IEEE/WIC/ACM Web Intelligence 2006 hujia0601@sina.com #################################################################### IEEE/WIC/ACM WEB INTELLIGENCE 200 CALL FOR PAPER #################################################################### 2006 IEEE/WIC/ACM International Conference o Web Intelligence (WI'06 Hong Kong Convention and Exhibition Centre, Hong Kong, China 18-22 December 2006 Sponsored B IEEE Computer Societ Web Intelligence Consortium (WIC Association for Computing Machinery (ACM Co-Organized Wit Hong Kong Baptist University (HKBU ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg3 ====================================================================== (Deadline extended) IFIP SWWS 2006 - due July 10 IFIP SWWS 2006 CALL FOR PAPER **NEW Deadline** Paper Submission due - July 10, 2006 Second International IFIP WG 2.12 / 12.4 Workshop on Web Semantics (SWW '06 with special tracks on Security & Trust, Fuzzy models and Regulator Ontologie Oct 29 - Nov 3, 2006, Montpellier, Franc http://www.cs.rmit.edu.au/fedconf/index.html?page=swws2006cf In conjunction with OnTheMove Federated Conferences (OTM'06 http://www.cs.rmit.edu.au/fedcon Proceedings will be published by Springer LNC Motivatio The IFIP Working Group 2.12 & 12.4 on Semantic We (http://www.ceebi.curtin.edu.au/IFIP/) is a timely active internationa ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg4 ====================================================================== The AVISPA Tool - v1.1 Laurent.Vigneron@loria.fr [We apologize if you received multiple copies of this message XXX X X XXXXX XXXXX XXXXXX XX X X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXXXX X X X XXXXX XXXXXX XXXXXX X X X X X X X X X X X X X X X X X X X X X X X X X X X XXXXX XXXXX X X V E R S I O N 1 . (June 30, 2006 We are happy to announce the availability of a new version of th AVISPA Tool, a push-button tool for the Automatic Validation o Internet Security-sensitive Protocols and Applications. The AVISP Tool v1.1 is available a ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.msg5 ====================================================================== Academic Positions and Scholarships Open positions: R&D Software Engineer and APAI PhD Scholarship rkowalczyk@ict.swin.edu.au R&D Software Engineer/Research Assistant, an APAI PhD Scholarship (Australian Postgraduate Award Industry Two positions are available in a research project on Agent-Enabled Socia Networks (AESN). The project is supported by a substantial researc grant awarded by the Australian Research Council's Linkage Program i collaboration with the industry partner Everyday Interactive Networks For more information please visi http://www.it.swin.edu.au/centres/ciamas ---------------------------------------------------------------- Prof Ryszard Kowalczy Director, Centre for Intelligent Agents and Multi-Agent System Faculty of Information and Communication Technologie Swinburne University of Technolog PO Box 218 Hawthorn, Victoria 3122, Australi http://www.it.swin.edu.au/centres/ciama Email: rkowalczyk@it.swin.edu.a Phone: +61 3 9214 5834 Fax: +61 3 9819 0823 Office: EW10 ---------------------------------------------------------------- ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg0 ====================================================================== Two PhD scholarships available for ARC Discovery Project liyan@usq.edu.au Two PhD scholarships funded by ARC Discovery Projec Stipend of $23,886 p.a. (tax free) (2006-2008 Application close: Open until fille Contact: Dr Yan L Department of Mathematics and Computin The University of Southern Queensland QLD 4350, Australia Email: liyan@usq.edu.a URL: http://www.sci.usq.edu.au/staff/liya Research Areas Biomedical Engineering (EEG or MRI), Artificial Intelligence and Networke Real-time Syste Prerequisites A Honours, Masters degree or equivalent in Computer Science, Electroni ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg1 ====================================================================== PhD Scholarship University of NSW jxue@cse.unsw.edu.au A PhD scholarship funded by an ARC grant is available. The intereste student please consult the following URL link for detail http://www.cse.unsw.edu.au/~jxue/xue06.htm --- Jingling Xu +------------------------------------------------------------------ | Tel: +61 2 9385 4889 School of Computer Science and Engineering | Fax: +61 2 9385 5995 The University of New South Wales | http://www.cse.unsw.edu.au/~jxue Sydney 2052 Australia | UNSW Legal disclaimer: http://www.eng.unsw.edu.au/emaildis.htm +------------------------------------------------------------------ http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg2 ====================================================================== PhD Scholarship on Relationships in OOP david.pearce@mcs.vuw.ac.nz Applications are invited for a targeted PhD scholarship with th Software Engineering Group at Victoria University of Wellington, Ne Zealand. The topic is "First-Class Relationships for Object-Oriente Programming Languages" (description below), to be supervised by Dr David J. Pearce and Professor James Noble The Scholarship is valued at $20,000 per annum, plus a contribution t tuition fees. International students will only pay domestic fees The deadline for applications is 17th July, 2006. More information can b found at: www.vuw.ac.nz/scholarships. Enquiries about the proposed topi should be directed to Dr. David J. Pearce on david.pearce@mcs.vuw.ac.n or +64 (0)4 463 583 Project Description Object-Oriented programming languages, such as Java, use objects as th fundamental building blocks for representing the world. While thi approach enables rich representation of the properties and behaviou of objects, it provides surprisingly limited support for representin relationships in ad-hoc ways, which results in needless errors, cod ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg3 ====================================================================== PhD Scholarship in Intelligent Agents and Multi-Agent Systems, Swinburne University rkowalczyk@swin.edu.au ---------------------------------------------------------------------------------------------- PhD Scholarship in Intelligent Agents and Multi-Agent System ---------------------------------------------------------------------------------------------- A new PhD Scholarship is available in Intelligent Agents and Multi-Agen Systems at the Swinburne Centre for Information Technology Research Faculty of Information and Communication Technologies, Swinburn University of Technology, Melbourne, Australia Potential candidates interested in PhD research in the areas o qualitative decision-making, argumentation and learning mechanism for multi-agent negotiation and coordination are encourage to apply. Preference will be given to the candidates with stron mathematical, game-theoretical, soft computing, artificial intelligenc and/or relevant computer science background and interests. Bot Australian and international candidates are encouraged to apply. Preferre commencement in 2006 For further information and application forms, please contact Pro Ryszard Kowalczyk with the following details ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg4 ====================================================================== PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing mehmet@ics.mq.edu.au PhD Postgraduate Scholarship: Macquarie University Computin APAI: Prediction and Classification Modelling for Debt Payment Risk for ATO Client URL: http://www.ro.mq.edu.au/HDRU/forms_scholar/ICSAPAIATO.pd The Computing Department, Macquarie University are offering one Australia Postgraduate Awards (Industry) Scholarship (APAI). The Australia Taxation Office (ATO) and Macquarie University have gained funding unde the ARC Linkage Projects (LP0561985) to support a research program fo the optimisation of tax collections by improving the prediction an classification of taxpayer debt payment risk Predictive models for financial distress and insolvency risk will b developed in this project. These models will be used to contribute to th understanding taxpayers; circumstances and the choice of appropriat collection actions. The successful applicant (PhD student) will conduc research in Macquarie's Intelligent Systems Group and collaborate wit the Analytics team in the Office of the Chief Knowledge Officer at th ATO. The student will spend time at the ATO being briefed by domai experts on debt and recovery issues and gaining an understanding of th ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.msg5 ====================================================================== From itannounce at mail.it.usyd.edu.au Wed Jul 19 17:26:57 2006 From: itannounce at mail.it.usyd.edu.au (itannounce@mail.it.usyd.edu.au) Date: Wed Jul 19 17:28:30 2006 Subject: [Itannounce] IT-Announce Newsletter - Issue 2 July 2006 Message-ID: <20060719072657.GA24317@flexal3.cs.usyd.edu.au> Dear IT-Announce subscriber, Welcome to issue number 2 for July, 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. Australian International and Local Conference Announcements Preliminary CFP: Asia Pacific Symposium on Visualisation (APVIS) 2007 NICTA Systems Verification Workshop Aug 7/8 Workshop on MOdel Driven Development for Middleware (MODDM)at Middleware AusWIT 2006 - 10th Australian Women in IT Conference ACSC07 The Thirtieth Australasian Computer Science Conference The Australasian Ontology Workshop (AOW 2006), 4 or 5 Dec 2006, Hobart, Australia International Conference Announcements World Congress on Intellectual Capital (WCIC) NRAC@IJCAI: Nonmonotonic Reasoning, Action and Change SAC'07 - ACM Symposium on Applied Computing - Prog Lang Track ICQNM 2007 || ICDS 2007 || Guadeloupe, January 2-7, 2007. Stanford Spring Symposium Spatial Knowledge Processing in Cognitive AISWORLD Information Systems World Network EuroSys 2007 2nd European Conference on Computer Systems Academic Positions PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing PhD Scholarship in Multi-Agent Systems, Macquarie University, Sydney, Australia ====================================================================== Australian International and Local Conference Announcements Preliminary CFP: Asia Pacific Symposium on Visualisation (APVIS) 2007 Richard.Webber@nicta.com.au ============================================ Preliminary Call for Papers Asia Pacific Symposium on Visualisation 5-7 February, 2007 Sydney, Australia http://www.cs.usyd.edu.au/~visual/apvis2007/ ============================================ APVIS2007 is the sixth symposium (formerly known as Invis.au) for visualisation researchers in the Asia-Pacific region. Authors are invited to submit papers describing original and unpublished research or practical applications in any area of Information Visualisation or Scientific Visualisation. * Scope Suggested topics for papers include, but are not limited to: - Theoretic foundations of visualisation - Usability and human-factors - Visual models and representations - Visual knowledge discovery ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt0 ====================================================================== NICTA Systems Verification Workshop Aug 7/8 gerwin.klein@nicta.com.au Call for Participation: International Workshop on System Verification ============================================= National ICT Australia (NICTA), Formal Methods Program Aug 7/8 2006 Sydney, Australia This workshop is a merger of the 3rd Annual NICTA Formal Methods Workshop and the 2nd International Workshop on Operating Systems Verification. There currently exist a number of academic and industrial projects on the security and reliability of systems level software (OS kernels, services, drivers etc) employing techniques from automatic static analysis and model checking to interactive theorem proving. It is the aim of this workshop to bring together researchers in this area to foster collaboration and provide an overview of the state of the art. Presentations are by invitation only. Post workshop proceedings will ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt1 ====================================================================== Workshop on MOdel Driven Development for Middleware (MODDM)at Middleware Liming.Zhu@nicta.com.au Call for Papers Workshop on MOdel Driven Development for Middleware (MODDM)at Middleware 2006 November 27, 2006 at MELBOURNE, AUSTRALIA URL: http://www.cse.unsw.edu.au/~limingz/middleware2006/ held in conjunction with ACM/IFIP/USENIX 7th International Middleware Conference ( http://2006.middleware-conference.org/) This workshop will bring together academic researchers, MDD tool builders and MDD practitioners, especially those targeting middleware platforms such as J2EE/.Net/CORBA/Web Services, WS-* frameworks, Enterprise Service Bus (ESB), Message bus, Web Service Management (WSM) platforms, workflow infrastructure, and EAI frameworks. **Important Dates** Paper Submission: 31, July, 2006 ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt2 ====================================================================== AusWIT 2006 - 10th Australian Women in IT Conference jenny@it.uts.edu.au AusWIT 2006: partICipaTion one year on 10th Australian Women in IT Conference December 4 & 5, 2006 Adelaide, South Australia http://www.auswit.org/ One year on from the Federal Government's partICipaTion Summit we invite industry representatives, academics, researchers and students involved in women in information technology to meet and share programs, discuss strategies and assess progress. The Summit was held in Sydney, 22 September 2005 ; http://www.dcita.gov.au./ict/events_and_forums/participation_summit AusWIT has a mission of informing, sharing, community building, and re-energising those involved in the recruitment and retention of women in information technology. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt3 ====================================================================== ACSC07 The Thirtieth Australasian Computer Science Conference jenny@it.uts.edu.au The Thirtieth Australasian Computer Science Conference 29th January to 2nd February, 2007 --- Ballarat, Victoria, Australia http://www.se.auckland.ac.nz/acsc07/ The Australasian Computer Science Conference is an annual forum for exploring research, development, and novel applications in Computer Science. The Thirtieth Australasian Computer Science Conference, ACSC 2007, will be held at the University of Ballarat as part of the Australasian Computer Science Week. Registration to the Australasian Computer Science Conference enables delegates to attend sessions in any conference participating in the Australasian Computer Science Week. Key Areas ACSC 2007 solicits contributions in all fields of Computer Science research. Typical, but not exclusive topics of interest are: Algorithms Artificial Intelligence Communications and Networks Compilers Computer Architecture Computer Vision Computational Geometry Concurrency ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt4 ====================================================================== The Australasian Ontology Workshop (AOW 2006), 4 or 5 Dec 2006, Hobart, Australia mehmet@comp.mq.edu.au CALL FOR PAPERS The Australasian Ontology Workshop (AOW 2006) Held in Conjunction with the 19th Australian Joint Conference on Artificial Intelligence (AI'06) December 4 or 5, 2006, Hobart, Tasmania, Australia Advances in Ontologies: The use of formal ontologies in knowledge systems has many advantages. It allows for an unambiguous specification of the structure of knowledge in a domain, enables knowledge sharing and, as a result, makes it possible to perform automated reasoning about ontologies. In recent years there has been a worldwide increase in the use of ontologies, both in industry and in research laboratories. There is a growing community of researchers in Australia and New Zealand, working on various aspects of ontologies. The primary aim of this workshop is to bring together ontology researchers in the region. Workshop website: http://www.comp.mq.edu.au/conferences/aow/ ..... http://www.it.usyd.edu.au/~it-announce/news.htm#cfp.txt5 ====================================================================== International Conference Announcements World Congress on Intellectual Capital (WCIC) choi@it.usyd.edu.au -------------------------------------------------------- Call for Papers World Congress on Intellectual Capital (WCIC) Korea KM Society, COEX Convention Center, Seoul, Korea 21-22 Sept. 2006 http://WCIC.KMSK.OR.KR As our society makes a gradual transition from agricultural and industrial economies into the modern global age, where knowledge has become the key to competitive advantage, more and more organizations are focusing on creating and effectively managing their organization's intellectual capital (also called intellectual property or knowledge assets). To date, most of Knowledge Management (KM) research and implementation evolved around the creating and sharing of explicit knowledge through the use of enterprise wide Knowledge Management System (KMS). However, for KM initiatives to become a truly strategic organizational infrastructure, they need to expand their scope from tangible, document oriented knowledge objects to intangible, people oriented knowhow, process, technology/patents, and relationships that comprise the organization's comprehensive intellectual capital. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt0 ====================================================================== NRAC@IJCAI: Nonmonotonic Reasoning, Action and Change Mary-Anne.Williams@uts.edu.au IJCAI Workshop Nonmonotonic Reasoning, Action and Change URI: http://research.it.uts.edu.au/magic/NRAC/2007/ Intelligent agents exploring complex and dynamic physical and information rich landscapes require sophisticated capabilities for perception, reasoning and planning. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions. Underlying these functions is the need to manage inconsistent, uncertain, incomplete and changing information. GOOGLE BEST STUDENT PAPER PRIZE US$5K Google Inc is sponsoring the Best Student Paper Prize and Student Travel support to NRAC-07. Thank you Google! INVITED SPEAKER Peter Gärdenfors, Lund University Cognitive Science, Sweden Title: Bring in the forces! Modelling actions and functional properties in conceptual spaces. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt1 ====================================================================== SAC'07 - ACM Symposium on Applied Computing - Prog Lang Track asloane@ics.mq.edu.au CALL FOR PAPERS SAC'07 - ACM 2007 SYMPOSIUM ON APPLIED COMPUTING March 11 - 15, 2007 Seoul, Korea Technical Track on "Programming Languages" PROGRAMMING LANGUAGES (PL) TRACK A technical track on Programming Languages will be held at SAC'07. It will be a forum for engineers, researchers and practitioners throughout the world to share technical ideas and experiences relating to implementation and application of programming languages. Original papers and experience reports are invited in all areas of programming languages. Major topics of interest include but are not limited to the following: Compiling Techniques, Domain-Specific Languages, Formal Semantics and Syntax, Garbage Collection, Language Design and Implementation, New Programming Language Ideas and Concepts, New Programming Paradigms, Practical Experiences with Programming Languages, Program Analysis and Verification, Program Generation and Transformation, Programming Languages from All Paradigms (Agent-Oriented, Aspect-Oriented, Functional, Logic, Object-Oriented, etc.), Visual Programming Languages. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt2 ====================================================================== CFP: ICQNM 2007 || ICDS 2007 || Guadeloupe, January 2-7, 2007. pdini@cisco.com ======================================= CALL FOR SUBMISSIONS Place: Guadeloupe, French Caribbean Date: January 2-7, 2007 Important deadlines: Paper submission August 15, 2006 Notification September 10, 2006 Registration September 30, 2006 ICQNM 2007, TheFirst International Conference on Quantum, Nano, and Micro Technologies General: http://www.iaria.org/conferences2007/ICQNM07.html CFP: http://www.iaria.org/conferences2007/CfPICQNM07.html January 2-4, 2007, Guadeloupe, French Caribbean includes NBR 2007: The First International Workshop on Nano and Bio Robotics CFP: http://www.iaria.org/conferences2007/NBR.html ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt3 ====================================================================== Stanford Spring Symposium Spatial Knowledge Processing in Cognitive Mary-Anne.Williams@uts.edu.au AAAI 2007 Spring Symposium Series Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems URI: http://www.sfbtr8.uni-bremen.de/CoMe/ Stanford University, California March 26-28, 2007 Deadlines: Symposium submissions: October 6th, 2006 Notification of acceptance: November 3rd, 2006 Camera-ready copies of contributions: January 26th, 2007 Although spatial knowledge processing as well as control mechanisms in information processing have thus been considered in close detail, they have been considered only independently of each other. Therefore, results about and conceptions of control mechanisms in spatial knowledge processing are hardly available. For example, at the moment it is unclear how the construction of the spatial representations is controlled in natural cognitive systems and, likewise, how the construction ideally should be controlled in artificial cognitive systems. Moreover, in the light of the numerous different representations proposed so far, ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt4 ====================================================================== AISWORLD Information Systems World Network Vijay Khatri The Sixteenth Annual Workshop on Information Technologies and Systems (WITS'06) (http://www.indiana.edu/~wits06) will be held in Milwaukee, Wisconsin, USA, on December 9-10, 2006, just prior to the International Conference on Information Systems. The purpose of the workshop is to provide a forum for discussion and interaction among scholars with research interests in the cutting edge issues of information technology and systems. The theme of the conference will be "Developing and Using Next Generation Systems in a Global Economy." We solicit condensed research papers addressing issues concerning the theory, design, development, evaluation, and application of advanced information and communication technologies and systems. Of particular interest are papers that leverage inter-disciplinary research methods to address these issues. In addition, we also solicit research prototype demonstrations at the workshop. Research topics include, but are not limited to: - Agent-based Systems and Autonomous Computing - Authentication and Trust - Collaboration Systems ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt5 ====================================================================== EuroSys 2007 2nd European Conference on Computer Systems Thomas R.Gross CALL FOR PAPERS EuroSys 2007, the European Conference on Computer Systems, seeks papers on all aspects of computer systems, especially ones that cross the divide between areas and address: + All areas of operating systems and distributed systems + Systems aspects of: - Programming language support - Databases - Parallel and concurrent computing - Distributed algorithms - Mobile and pervasive computing - Middleware - Sensor nets and tiny devices - Clusters and grids - Novel uses of information technology - Novel user interfaces - Dependable computing - Storage - Management, measurement, monitoring - Security - Real-time and embedded computing - Continuous media + Experience with existing systems + Reproduction of previous results + Negative results + Early ideas ..... http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt6 ====================================================================== Academic Positions and Scholarships PhD Postgraduate Scholarship in Data Mining: Macquarie University Computing mehmet@ics.mq.edu.au Postgraduate PhD Research Scholarship Division of Information and Communication Sciences Macquarie University, Sydney, NSW, Australia A postgraduate research scholarship is available in the Department of Computing at Macquarie University. The title of the project is Data Minining and Constraint Satisfaction in aid of Decision Support Systems. This project will investigate ways to incorporate data mining and knowledge discovery techniques in decision support systems. Applicants should have completed, or expect to complete within the year, a four year undergraduate degree in Science with first class honours, or an equivalent qualification with a background in some of the following areas: computing, statistics, mathematics. The successful applicant if an Australian citizen/permanent resident, or a New Zealand citizen, would receive a RAACE award; other International applicants would receive an iMURS award. The stipend for the award is currently $18,837 per annum, tax exempt, and the tenure is 3 years full time subject to satisfactory progress. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt0 ====================================================================== PhD Scholarship in Multi-Agent Systems, Macquarie University, Sydney, Australia mehmet@ics.mq.edu.au Postgraduate PhD Research Scholarship Division of Information and Communication Sciences Macquarie University, Sydney, NSW, Australia A postgraduate research scholarship is available in the Department of Computing at Macquarie University. The title of the project is Stability of Coalition Structures and Multi-agent Systems. This project will investigate, particularly in the context of multi-agent systems, the conditions under which coalition structures will remain stable, even while the preferences of the agents undergo change. Applicants should have completed, or expect to complete within the year, a four year undergraduate degree in Science with first class honours, or an equivalent qualification with a background in some of the following areas: computing, economics, mathematics. The successful applicant if an Australian citizen/permanent resident, or a New Zealand citizen, would receive a RAACE award; other International applicants would receive an iMURS award. The stipend for the award is currently $18,837 per annum, tax exempt, and the tenure is 3 years full time subject to satisfactory progress. ..... http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt1 ======================================================================