[Itannounce] IT-Announce Newsletter - Issue 2 October 2006
itannounce at mail.it.usyd.edu.au
itannounce at mail.it.usyd.edu.au
Wed Oct 18 13:30:55 EST 2006
Dear IT-Announce subscriber,
Welcome to issue number 2 for October, 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
2nd CFP: JSAT S.I. on Satisfiability Modulo Theories
Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'
The 11th International Conference on Computer Supported Cooperative Work in Design
International Conference Announcements
Special Issue on Interaction between Agents and Data Mining
CFP International Conference on Computer Vision Theory and Applications-2007
CFP - 2007 IEEE Swarm Intelligence Symposium (SIS2007)
Call for participation - The Embedded Systems and Education Workshop 2006
FMCAD 2006 Workshop on Pre- and Post-Silicon Verification Call For Participation
LPAR 2006 (Phnom Penh, Cambodia), 2nd Call for Participation
Academic Positions
ARC Linkage Project APAI Scholarship, Swinburne University, Melbourne
Three-years Ph.D. Research Fellowship position available - SAP Labs France
PhD Position (APAI scholarship) on Database Support for Scientific Algorithms
======================================================================
Australian International and Local Conference Announcements
2nd CFP: JSAT S.I. on Satisfiability Modulo Theories
Roberto Sebastiani <rseba at dit.unitn.it>
======================== 2nd 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: November 25th, 2006
======================================================================
[notice the extended number of pages]
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. .....
http://www.it.usyd.edu.au/~it-announce/news.htm#auconf.txt0
======================================================================
Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'
Luca Vigano <vigano at inf.ethz.ch>
Special Issue
of
Information and Computation
on
Computer Security: Foundations and Automated Reasoning
http://www.avispa-project.org/arspa
***********************
*** CALL FOR PAPERS ***
***********************
BACKGROUND AND SCOPE
====================
In connection with the
Joint Workshop on
Foundations of Computer Security .....
http://www.it.usyd.edu.au/~it-announce/news.htm#auconf.txt1
======================================================================
The 11th International Conference on Computer Supported Cooperative Work in Design
"Shen, Weiming" <Weiming.Shen at nrc-cnrc.gc.ca>
CALL FOR PAPERS
The 11th International Conference on
Computer Supported Cooperative Work in Design
April 26-28, 2007, Melbourne, Australia
URL: http://2007.cscwd.org/
Email: cscwd2005 at cscwid.org
Organised by
Swinburne University of Technology
Co-Sponsored by
IEEE Victoria, Australia
Committees
Honorary Conference Chair
Bill Scales AO (Chancellor, Swinburne, Australia)
General Conference Chair:
Prof. Yun Yang (Swinburne, Australia) .....
http://www.it.usyd.edu.au/~it-announce/news.htm#auconf.txt2
======================================================================
International Conference Announcements
Special Issue on Interaction between Agents and Data Mining
lbcao at it.uts.edu.au
International Journal of Intelligent Information and Database Systems (IJIIDS)
Call for Papers
Special Issue on: Interaction between Agents and Data Mining
▼ Guest Editors:
Dr. Longbing Cao University of Technology,
Sydney, Australia
Dr. Zili Zhang Deakin University, Australia
Prof. Vladimir I. Gorodetski Russian Academy of Sciences,
Russia
Prof. Chengqi Zhang University of Technology,
Sydney, Australia
In the last decade, agents and data mining have emerged as two of
most vivacious areas in information technology field. The nature
and complementarity of both areas foreshows an emerging trend -- the
increasing interaction between agents and data mining. As a result, both
technologies have been greatly enhanced in terms of solving existing
individual challenges and innovating new research and development
opportunities. The interaction will significantly strengthen the progress .....
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt0
======================================================================
CFP International Conference on Computer Vision Theory and Applications-2007
Dan.Popescu at cmis.csiro.au
Dear colleague,
This is an invitation to submit a paper to the International Conference on
Computer Vision Theory and Applications-2007 (http://wwww.visapp.org). We
have reasons to believe that next year VISAPP will be the largest and
best quality ever. It will be held in the cosmopolitan city of Barcelona,
currently one of the most dynamic cities in Europe, with new points of
interest every year.
VISAPP 2007 will be held in collaboration with CVC - the Computer Vision
Center, a research unit linked to the University Autonoma de Barcelona.
The deadline for paper submission is November 6. Please check further
details at the conference web site (http://www.visapp.org) ...
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt1
======================================================================
CFP - 2007 IEEE Swarm Intelligence Symposium (SIS2007)
xiaodong at cs.rmit.edu.au
***********************************
* C A L L F O R P A P E R S *
***********************************
2007 IEEE Swarm Intelligence Symposium (SIS2007)
Hilton Hawaiian Village, Honolulu, Hawaii, April 1-5, 2007
http://www.computelligence.org/sis/2007
The 2007 IEEE Swarm Intelligence Symposium (SIS2007) will be held as
part of the first IEEE Symposium Series on Computational Intelligence
2007 (SSCI 2007), which consists of 12 symposia.
AIMS AND SCOPES
---------------
Swarm Intelligence is a computational intelligence technique involving
the study of collective behavior in decentralized systems. Such systems
are made up of a population of simple individuals interacting locally .....
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt2
======================================================================
Call for participation - The Embedded Systems and Education Workshop 2006
helen.zhou at manukau.ac.nz
Do not miss this free opportunity to explore advancements in Embedded
Systems and interactive technology.
The Embedded Systems and Education Workshop 2006
27 November 2006
Department of Electrical & Computer Engineering
Manukau Institute of Technology, Manukau, New Zealand
The Department of Electrical & Computer Engineering of the Manukau
Institute of Technology is hosting its second Embedded Systems Workshop
celebrating the launch of its newly developed Embedded Systems Centre.
This is an ideal forum for professionals from both academia and industry
to participate and learn about some of the latest research findings,
technologies and applications of embedded systems. The workshop aims to
foster links between academia and industry and to facilitate transitioning
of cutting-edge technologies to industry and education.
This workshop includes:
1.Presentations from guest speakers
2.In-depth discussion with local experts .....
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt3
======================================================================
FMCAD 2006 Workshop on Pre- and Post-Silicon Verification Call For Participation
Panagiotis Manolios <manolios at cc.gatech.edu>
FMCAD 2006 Workshop on
Pre- and Post-Silicon Verification:
Methods and Research Opportunities
Sponsored by IEEE, CEDA (Council on Electronic Design Automation)
In cooperation with ACM SIGDA
(Special Interest Group on Design Automation)
http://fmcad.org/2006
CALL FOR PARTICIPATION
November 16, 2006, San Jose, California
Note: FMCAD 2006 takes place from Nov. 12-16
----------------------------------------------
Early Registration Deadline: October 22, 2006
Hotel Registration Deadline: October 22, 2006
----------------------------------------------
Pre-silicon verification refers to the formal verification of detailed .....
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt4
======================================================================
LPAR 2006 (Phnom Penh, Cambodia), 2nd Call for Participation
Miki Hermann <Miki.Hermann at lix.polytechnique.fr>
LPAR-13 Phnom Penh, Cambodia
http://www.lix.polytechnique.fr/~hermann/LPAR2006/ 13th-17th November 2006
2nd Call for Participation
The 13th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-13) will be held 13th-17th November 2006,
at the Hotel Cambodiana, Phnom Penh, Cambodia.
Thanks to all who already registered. For those who want to
participate at the conference and did not register yet, the
EARLY REGISTRATION DEADLINE
is
Sunday, 15 October 2006
Please, find the registration on the web page
http://www.lix.polytechnique.fr/~hermann/LPAR2006/registration.html .....
http://www.it.usyd.edu.au/~it-announce/news.htm#osconf.txt5
======================================================================
Academic Positions and Scholarships
ARC Linkage Project APAI Scholarship, Swinburne University, Melbourne
cliu at swin.edu.au
APAI PhD Scholarship: Collaborative Business Process Modelling and Management
We are looking for candidates for a PhD position in one of the research
areas of business process management, workflows, knowledge and data
management, and web engineering. The PhD student is expected to join a
project team and to investigate effective ways for modelling and managing
collaborative business processes based on our proposed framework, and
to design and implement the framework in Web service environment.
This APAI scholarship is funded by an ARC Linkage Project grant
and will provide support for 3 years on a full-time basis for
a research project leading to a PhD. Applicants should have an
Honours degree or Master degree in Computer Science, IT or related
disciplines. Experience/background in business process management,
workflows, data and knowledge management and good programming skills would
be an advantage. This scholarship is conditional on the University signing
an agreement with the Industry Partner(s) named in the grant. Applicants
must be Australian citizens, Australian permanent residents or New Zealand
citizens. The scholarship stipend is AUD 24,650pa in 2006 (tax exempt).
For further information, please contact A/Prof Chengfei Liu, .....
http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt0
======================================================================
Three-years Ph.D. Research Fellowship position available - SAP Labs France
"COMPAGNA, Luca" <luca.compagna at sap.com>
---------------------------------------
Three-years Ph.D. Research Fellowship
---------------------------------------
SAP Labs France SAS
Security & Trust research programme
Sophia Antipolis, France
SAP Labs France has a three-years PhD Research Fellowship available.
Please refer to the attached pdf file for detailed information on the
PhD context. Applications are invited from all suitable candidates.
Any interested candidate is requested to send no later than November
15th his CV and the names and contact addresses of two referees
electronically to Anne Hardy (anne_DOT_hardy_AT_sap_DOT_com).
http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt1
======================================================================
PhD Position (APAI scholarship) on Database Support for Scientific Algorithms
roehm at it.usyd.edu.au
University of Sydney
School of Information Technologies
PhD Scholarship: Database Support for Bioinformatics Algorithms
We are looking for candidates for a PhD position in the research area of
database support for bioinformatics. The PhD student shall investigate
the management of bio-datatypes in relational databases, as well as
the tight integration of biodata and bioinformatics algorithms using
.NET-based stored procedures. The objective of this project is to
explore the feasibility of running scientific algorithms, e.g. from
the bioinformatics area, inside a database and to develop practical
optimisation guidelines for the integration of biodata and virtual
machines in today's database engines.
This scholarship is funded by an ARC Linkage-Projects grant and will
provide support for 3 years on a full-time basis for a research project
leading to a PhD. Applicants should have an Honours 1 degree in Computer
Science, IT, or Software Engineering. Experience/background in databases
or bioinformatics and good programming skills would be an advantage. This
scholarship is conditional on the University signing an agreement with
the Industry Partner(s) named in the grant. Applicants must be Australian
citizens, Australian permanent residents or New Zealand citizens. The
scholarship stipend is AUD 25,118 pa in 2006 (tax exempt). .....
http://www.it.usyd.edu.au/~it-announce/news.htm#jobad.txt2
======================================================================
More information about the Itannounce
mailing list