IT-Announce News
Dear IT-Announce subscriber,
Welcome to issue number 2 for September, 2007.
This service is sponsored by the Australian Computer Society.
Australian International and Local Conference Announcements
International Conference Announcements
Call for workshop proposals: WoWMoM 2008
IEA-AIE 2008 Call for Special Sessions
CFP: RV'08 - 8th Workshop on Runtime Verification
Academic Positions and Scholarships
PhD Scholarship in Collaborative Business Process Modelling and Management
PhD scholarships in Computer Science and Mathematics - Victoria University (Australia)
Research Fellowship and ($30k pa) APAI PhD scholarship in SOA at Swinburne
Australian International and Local Conference Announcements
International Conference Announcements
Call for workshop proposals: WoWMoM 2008
ricky.robinson@nicta.com.au
---------------------------------------------------------------------
9th IEEE International Symposium on
A WORLD of WIRELESS, MOBILE, and MULTIMEDIA NETWORKS
IEEE WoWMoM 2008
June 23-27, 2008
Newport Beach/Irvine, California, USA
http://www.ieee-wowmom.org/
---------------------------------------------------------------------
**** Workshop Proposal Submission Deadline --- October 1, 2007 ****
Sponsored by
IEEE Computer Society
The University of Texas at Arlington
IEEE Technical Committee on Computer Communications (TCCC)
Organized by University of California at Irvine, USA
---------------------------------------------------------------------
CALL FOR WORKSHOP PROPOSALS
WoWMoM serves as the premier international forum for discussions
between researchers, practitioners and students interested in the
symbiosis of mobile computers, wireless networks, and multimedia
systems. The objective of WoWMoM is to provide a forum for
researchers and technologists to present new ideas and contributions
in all areas related to wireless multimedia and its interfaces with
the conventional wireline networks.
(See http://ieee-wowmom.tml.hut.fi/, and
http://ieee-wowmom.cse.buffalo.edu/ for the last two editions).
Proposals for workshops are invited for consideration of IEEE
WoWMoM. Affiliated workshops will be held the day before the main
conference. The purpose of these workshops is to provide a
platform for presenting novel ideas in a less formal and possibly
more focused way than the conferences themselves. As such, they also
offer a good opportunity for young researchers to present their work
and to obtain feedback from an interested community. The format
of each workshop is to be determined by the organizers, but it is
expected that they contain ample time for general discussion. The
preference is for one-day workshops, but other schedules will also be
considered. Researchers and practitioners are invited to submit
workshop proposals to the IEEE WoWMoM Workshop Chair, Roger
Zimmermann (rogerz@comp.nus.edu.sg), no later than October 1st, 2007.
Submission may be made by e-mail (Postscript, PDF, or ASCII) with
"WoWMoM Workshop Submission" in the subject header. Proposals
must include:
* The name of the workshop
* A statement of goals for the workshop.
* The names and addresses of the organizers.
* The names of potential participants, such as program
committee members.
* A description of the plans for call for participation (e.g.,
call for papers).
* The expected number of attendees and the planned length of
the workshop.
* A description of the plans for publicity.
* If applicable, a description of past versions of the workshop,
including dates, organizers, submission and acceptance counts,
attendance, sites, registration fees.
* The URL of the workshop web site.
-----------------------------------
IMPORTANT DATES
-----------------------------------
Workshop Proposal Submission Deadline:.........October 1, 2007
Notification of Workshop Acceptance:..........October 15, 2007
Conference Dates:.............................June 23-27, 2008
Any further information needed for preparing a workshop proposal can
be obtained by sending email to Roger Zimmermann
(rogerz@comp.nus.edu.sg).
Up to the Latest News
IEA-AIE 2008 Call for Special Sessions
egomes@ict.swin.edu.au
======================================================================
The Twenty First International Conference on Industrial, Engineering &
Other Applications of Applied Intelligent Systems (AIE-IEA 2008)
Wroclaw, Poland, June 18-20, 2008
http://www.iea-aie.pwr.wroc.pl
======================================================================
*Apologies for cross-postings. Please send it to interested colleagues.
CALL FOR SPECIAL SESSION PROPOSALS
=====================================
The IEA-AIE 2008 invites proposals for Special Sessions to be held at the general conference.
The Special Sessions intend to provide researchers in focused areas
the opportunity to present and discuss their work, as well as offer a
forum for interaction among a broader community of researchers. A Special
Session will consist of a group of papers in a sub-discipline of applied
artificial intelligence related to the main topics of the conference. The
papers will be required to meet the same standards and will be published
in the conference proceedings, in a bound volume by Springer-Verlag in
their 'Lecture Notes in Artificial Intelligence' series. All papers,
but particularly those nominated for the Best Paper competition, will
be automatically considered for publication in an expanded form in the
International Journal of Applied Intelligence.
Important Dates:
29 September, 2007 Special Session Proposals
8 October, 2007 Notification of Special Session acceptance
For more information on the Special Sessions please see
http://www.iea-aie.pwr.wroc.pl/index.php?str=specsessions or
http://www.iea-aie.pwr.wroc.pl/mat/ss_flayer_ieaaie_2008.pdf. The
proposals and enquiries should be sent to rkowalczyk@swin.edu.au
by the due date.
The IEA-AIE 2008 is sponsored by:
International Society of Applied Intelligence (ISAI);
Institute of Information Science and Engineering,
Wroclaw University of Technology
The IEA-AIE 2008 is organized in cooperation with:
American Association for Artificial Intelligence (AAAI);
Association for Computing Machinery (ACM/SIGART);
Canadian Society for the Computational Studies of Intelligence
(CSCSI/SCEIO);
European Neural Network Society (ENNS);
International Neural Network Society (INNS);
Japanese Society for Artificial Intelligence (JSAI);
Taiwanese Association for Artificial Intelligence (TAAI);
Texas State University - San Marcos.
Up to the Latest News
CFP: RV'08
leucker@in.tum.de
We apologize if you receive multiple copies of this email.
----------------------------------------------------------------------
Call for Papers
RV'08
8th Workshop on Runtime Verification
http://rv08.in.tum.de/
March 30, 2008
Budapest, Hungary
Affiliated with ETAPS'08
http://etaps08.mit.bme.hu/
----------------------------------------------------------------------
RV'08 brings together researchers in order to debate how to monitor
and analyze the execution of programs. The focus of runtime
verification varies from testing software before deployment to
detecting errors after deployment. Approaches to runtime verification
include checking conformance with a formal specification written in a
temporal or history-tracking logic. One of the longer-term goals of
the workshop is to investigate the use of lightweight formal methods
applied at runtime as a viable complement to methods aimed mainly at
proving programs correct prior to execution, e.g., theorem proving and
model checking.
Moreover, the focus of RV has been extended from detecting
(non)-conformance to triggering fault protection mechanisms in case
non-conformance has been detected. This allows for new software design
and programming paradigms. Thus, RV's topics partially overlap with
those found in other directions such as aspect oriented programming,
self-healing systems, autonomous systems, adaptive systems, etc.
The subject covers several technical fields as outlined below.
* Specification languages and logics:
Formal methods scientists have investigated logics and developed
technologies that are suitable for model checking and theorem
proving, but monitoring can reveal new observation-based
foundational logics.
* Aspect oriented languages with trace predicates:
New results in extending aspect languages, such as for example
AspectJ, with trace predicates replacing the standard
pointcuts. Aspect oriented programming provides specific
solutions to program instrumentation and program guidance.
* Program instrumentation in general:
Any techniques for instrumenting programs, at the source code or
object code/byte code level, to emit relevant events to an
observer.
* Program Guidance in general:
Methodologies, architectures, and techniques for guiding the
behavior of a program once its specification is violated, for
developing self-healing, autonomous, or adaptive
systems. Techniques ranging from standard exceptions to advanced
planning lead to new development methodologies and software
architectures such as monitor-oriented programming or
monitor-based runtime reflection.
* Combining static and dynamic analysis:
Monitoring a program with respect to a temporal formula can have
an impact on the monitored program, with respect to execution
time as well as memory consumption. Static analysis can be used
to minimize the impact by optimizing the program
instrumentation. Runtime monitors can be seen as proof
obligations left over from proofs - what is left that could not
be proved.
* Dynamic program analysis:
Techniques that gather information during program execution and
use it to conclude properties about the program, either during
test or in operation. Algorithms for detecting multi-threading
errors in execution traces, such as deadlocks and data
races. Algorithms for generating specifications from runs -
dynamic reverse engineering, including also program
visualization.
* Security analysis:
Monitoring for the enforcement of security policies. Successful
applications include operating system and middleware access
control, firewalls, stack inspection based sandboxing, detecting
the threats of untrustworthy (malicious or buggy) code,
intrusion detection etc.
* Contract Security analysis:
Monitoring for the enforcement of contract fulfillment in SOA
and web-services, especially in contract-oriented software
development.
Both foundational and practical aspects are encouraged.
PROCEEDINGS:
Preliminary workshop proceedings will be available at the meeting as a
technical report. As for RV'07, revised final papers will appear as
Springer Lecture Notes in Computer Science (LNCS) (to be confirmed).
SUBMISSIONS:
* All submissions should be made electronically on the Submission
Page.
* Manuscripts of regular papers are limited to a maximum of 15
pages (excluding technical appendices) in PDF format (LNCS style
mandatory).
DATES:
Abstracts: December 9, 2007
Submissions: December 14, 2007
Notification: January 14, 2008
Camera ready copy: January 28, 2008
Workshop: March 30, 2008
INVITED SPEAKER:
Jean Goubault-Larrecq: Orchids, and Bad Weeds
PROGRAM COMMITTEE:
Mehmet Aksit (University of Twente, NL)
Howard Barringer (University of Manchester, UK)
Mads Dam (KTH Stockholm, SE)
Bernd Finkbeiner (Saarland University, DE)
Klaus Havelund (NASA Jet Propulsion Laboratory, US)
Bengt Jonsson (Uppsala Univesitet, SE)
Moonzoo Kim (KAIST, KR)
Martin Leucker (Chair) (Technical University of Munich, DE)
Dejan Nickovic (Verimag, FR)
Doron Peled (Bar Ilan University, IL)
Mauro Pezze (University of Lugano, CH)
Shaz Qadeer (Microsoft Research, US)
Grigore Rosu (University of Illinois, Urbana-Champaign, US)
Gerardo Schneider (University of Oslo, NO)
Henny Sipma (Stanford University, US)
Oleg Sokolsky (University of Pennsylvania, US)
Mario Sudholt (Ecole des Mines de Nantes-INRIA, LINA, FR)
Serdar Tasiran (Koc University, TR)
Stavros Tripakis (Cadence Labs, US)
Yaron Wolfsthal (IBM, IL)
STEERING COMMITTEE:
Klaus Havelund (NASA Jet Propulsion Laboratory)
Gerard Holzmann (NASA Jet Propulsion Laboratory)
Insup Lee (University of Pennsylvania)
Grigore Rosu (University of Illinois, Urbana-Champaign)
Up to the Latest News
Academic Positions and Scholarships
PhD Scholarship in Collaborative Business Process Modelling and Management
xzhao@ict.swin.edu.au
-------------------------------------------------------------------------------------------------
PhD Scholarship in Collaborative Business Process Modelling and Management
Web and Data Engineering Program
Centre for Information Technology and Research
Swinburne University of Technology
Melbourne, Australia
-------------------------------------------------------------------------------------------------
A prestigious Australian Research Council (ARC)-funded PhD scholarship
is now available in an exciting collaborative project between Web and
Data Engineering (WDE) program in Swinburne University of Technology
and SAP Research, Australia.
The ARC Linkage project is titled as "An Organisation-Oriented Framework
for Collaborative Business Process Management". The project aims to (1)
investigate effective ways for modelling and managing collaborative
business processes, and (2) to design and implement the framework in
Web service environment. Accordingly, the PhD study should be in one or
more of the research areas of business process management, workflows,
knowledge and data management, and web engineering.
The scholarship on offer through the grant is an APA(I) (Australian
Postgraduate Award -Industry) under A/Prof. Chengfei Liu. The stipend for
2007 is (approx) $25,000 per annum (tax exempt) with additional $5,000
per annum for project related activities, plus travel opportunities
provided by the centre and potential internships at SAP (Research centre
in Brisbane). The scholarship is available from August 2007 for 3 years
of PhD studies. The project will also involve a Research Fellow and
other team members of the WDE program, thus providing a significant
opportunity to carry out team-based research.
The prospective candidate is required to be an Australian or New Zealand
citizen or an Australian permanent resident; and also should have
completed a four year undergraduate degree (B.E/BSc (hons) in Computer
Science/Information System or equivalent) or Master degree with good
academic record.
Interested candidates can contact
A/Prof. Chengfei Liu
Program Leader - Web and Data Engineering
Centre for Information Technology Research (CITR)
Faculty of Information and Communication Technologies
Swinburne University of Technology
PO Box 218, Hawthorn
VIC 3122, Australia
Phone: +61 3 9214 5035
Fax: +61 3 9214 0823
Email: cliu@swin.edu.au
Up to the Latest News
PhD scholarships in Computer Science and Mathematics - Victoria University (Australia)
Gitesh.Raikundalia@vu.edu.au
Victoria University is a large, multi-campus university based in
Melbourne, Australia. The University has a highly diverse student
population of 44,000 students, including almost 8,000 international
students. The University has 11 campuses located throughout Melbourne,
Australia's second largest city.
The School of Computer Science and Mathematics is home to the
Internet Technologies and Applications Research Laboratory, a
research group and physical laboratory space dedicated to research
on Internet Technologies. The School also encompasses the Research
Group in Mathematical Inequalities and Applications that carries out
internationally recognised research on Mathematical Inequalities. Research
is conducted on the following areas:
* Internet Technologies
* Mathematical Inequalities
* Databases and Data Mining
* Software Engineering
* Image Processing and Pattern Recognition
* Industrial Process Modelling
* Financial and Risk Modelling
* Human-Computer Interaction
* Internet Security
* Intelligent Agents
The School of Computer Science and Mathematics is offering two PhD
scholarships of AU$19,616 each for projects beginning in January
2008. Tuition fees are also covered so that students do not pay these
fees. The School seeks high-calibre applicants to carry out quality
research in any of the above research areas. Interested applicants should
fill in the following form:
http://www.vu.edu.au/library/scripts/objectifyMedia.aspx?file=office/563/79.doc&siteID=4&str_title=Computer
Science and Maths Scholarship Application Form.
and send it with all required documentation to the School Postgraduate
Research Coordinator, Dr Gitesh Raikundalia, at the address shown in
the form.
For any enquiries about scholarships or research study in the School of
Computer Science and Mathematics, please contact the School Postgraduate
Research Coordinator at Gitesh.Raikundalia@vu.edu.au.
Up to the Latest News
Research Fellowship and ($30k pa) APAI PhD scholarship in SOA at Swinburne
jhan@ict.swin.edu.au
Postdoctoral Research Fellowship and PhD Scholarship in Service-Oriented
Architectures
=======================
The Centre for Information Technology Research (CITR) at Swinburne has
the following two research positions in Service-Oriented Architectures
available
immediately:
* A Postdoctoral Research Fellow/Research Fellow (academic level A or B),
* An APAI PhD Scholarship (stipend: $30k pa).
These researchers are to join a research project investigating Rich
Service Registries (RSR), funded by the ARC and CA (Computer Associates).
The Rich Service Registries will be the centre piece of future enterprise
information systems deploying the service-oriented architecture. The
project aims to create an extensible framework for rich service registries
that allow an enterprise's IT services to be characterised, located
and managed according to their business and system properties in an
intelligent and dynamic manner. It provides methods, techniques and a
software platform for service modelling, quality/policy-based service
discovery through direct and compositional matching, service lifecycle
management, auditing and legal compliance of services and applications
from an enterprise perspective.
The research fellow is expected to play a key role in the project,
and must have a broad appreciation of the project issues as well as
in-depth expertise in some of the key research topic areas. The position
is available for a period of three years.
The PhD candidate is expected to carry out research in one of the
project's key research topic areas. The scholarship is available for a
period of three years, with a high value stipend of $30,000 per year plus
other travel and research support. The applicant must be an Australian
or New Zealand citizen or an Australian permanent resident, and have
a good honours (4 years) degree or equivalent in software engineering,
computer science or information technology.
Further information about the research program can be found at
http://www.swin.edu.au/ict/research/citr/cses/. For initial enquiries,
please contact Prof Jun Han (jhan@ict.swin.edu.au) with your CV and
(for PhD scholarship) university transcripts.
Up to the Latest News
