Call for paper: ACM SAC track on Software Verification
"Lunjin Lu" <l2lu-+X+/[email protected]> Mon, 10 Jul 2006 14:44:17 -0400
| Newsgroups | gmane.comp.lang.mozart.oz.user,gmane.comp.science.concurrency,gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.advertisments,gmane.comp.lang.mozart.user |
|---|---|
| Organization | CSE @ Oakland University |
| Message-ID | <!~!UENERkVCMDkAAQACAAAAAAAAAAAAAAAAABgAAAAAAAAATwBiwkgut0yIuyz1aemy48KAAAAQAAAAepaWSPLSMkClpprZhN4/[email protected]> |
This is a multi-part message in MIME format.
--===============0911327298==
Content-Type: multipart/alternative;
boundary="----=_NextPart_000_0023_01C6A42F.842010F0"
This is a multi-part message in MIME format.
------=_NextPart_000_0023_01C6A42F.842010F0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
=20
ACM 2007 Symposium on Applied Computing, March 11-15, 2007, Seoul,
Korea http://www.acm.org/conferences/sac/sac2007
=20
Technical Track on Software Verification
http://www.cs.wmich.edu/~zijiang/sac2007
=20
=20
1. SAC 2007=20
=20
For the past twenty-one years, the ACM Symposium on Applied Computing =
has
been a primary gathering forum for applied computer scientists, computer
engineers, software engineers, and application developers from around =
the
world. SAC 2007 is sponsored by the ACM Special Interest Group on =
Applied
Computing (SIGAPP), and is hosted by Seoul National University in Seoul =
and
The Suwon University in Gyeonggi-do.
=20
2. Technical track on software verification
=20
In the next decade the software industry will have to face its
responsibility imposed by a computer-dependent society. Since software
is increasing deployed in safety critical applications, correctness
and reliability are becoming issues of utmost importance. Consequently,
software verification will be a grand challenge for both academic world =
and
computer industry. The track will focus on theoretical foundations,
practical methods as well as case studies for verification of =
conventional
and embedded software. We welcome papers that describe work on =
combinations
of formal verification and program analysis techniques. Tool papers and =
case
studies which report on advances in verifying large software systems are
particularly sought. The list of topics includes but not limited to
=20
o Tools, and case studies for large scale software verification
o Static analysis/Abstract interpretation for verification=20
o Model checking and deductive techniques for software verification
o Role of declarative programming languages (such as Prolog) for =
infinite
state software verification.=20
o Proof techniques for verifying specific classes of software (such =
as
object-oriented programs)=20
o Integration of testing and run-time monitoring with formal =
techniques
o Validation of UML diagrams, and/or requirement specifications
o Software certification and proof carrying code
o Integration of formal verification into software development =
projects
=20
3. Guidelines for paper submission
=20
Each paper must not exceed 4,000 words and should not be more than 15
pages long using 11 point font and 1 inch margins on all four sides on
letter size paper. Papers that fail to comply with length limitations
risk rejection. Each submitted paper will be fully referenced and
undergo a blind review process. Author(s) must not be identified in
the submissions, either explicitly or by implication. Before
submitting paper, author(s) should submit a separate cover page that
includes title, abstract, list of keywords, and list of authors with
full names and postal addresses, telephone numbers, fax numbers, and
e-mail addresses. One of the authors must be designated as the primary
contact person. Please upload the cover page via conference website. A
confirmation email with further instructions on paper submission will
be sent to the contact author. Please contact track chairs for any
problems with submission. Authors of accepted papers must submit an
editorial revision of their papers that must fit within five
two-column pages following the ACM proceedings format (an extra three
extra pages may be available at additional cost to the authors). At
least one of the authors of an accepted paper must register for the
conference and present the paper. Accepted papers will be published in
the ACM SAC 2006 proceedings.
=20
4. Program Committee
=20
Chandrasekhar Boyapati, University of Michigan, USA
Samir Genaim, Universidad Politecnica de Madrid, Spain
Francesco Loggozzo, Ecole Polytechnique, France
Lunjin Lu (Track Co-Chair), Oakland Univ. ,USA
Iman Poernomo, King's College of London, UK
Eric Poll, Radboud Universiteit Nijmegen, The Netherlands
Jan-Georg Smaus, Albert-Ludwigs-Universitaet Freiburg, Germany=20
Fausto Spoto (Track Co-Chair), Universit=A8=A4 di Verona, Italy
Chao Wang, NEC Laboratories America, Inc, USA
Ping Yang, Binghamton University, USA
Zijiang Yang(Track Co-Chair), Western Michigan Univ., USA
Tian Zhao, University of Wisconsin-Milwaukee , USA
=20
5. Important dates
=20
Electronic submission of full papers: September 8, 2006
Notification of paper acceptance: October 16, 2006
Camera-ready copy of accepted paper due: October 30, 2006
=20
=20
=20
------=_NextPart_000_0023_01C6A42F.842010F0
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Diso-8859-1">
<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:st1=3D"urn:schemas-microsoft-com:office:smarttags" =
xmlns=3D"http://www.w3.org/TR/REC-html40">
<head>
<meta name=3DGenerator content=3D"Microsoft Word 11 (filtered medium)">
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"PlaceType"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"PlaceName"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"country-region"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"City"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"place"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:Arial;
color:windowtext;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=3DEN-US link=3Dblue vlink=3Dpurple>
<div class=3DSection1>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'> <o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>ACM 2007 Symposium =
on
Applied Computing, March 11-15, 2007, <st1:City w:st=3D"on"><st1:place =
w:st=3D"on">Seoul</st1:place></st1:City>,<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
lang=3DSV style=3D'font-size:10.0pt;font-family:"Courier New"'>Korea
http://www.acm.org/conferences/sac/sac2007<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
lang=3DSV style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Technical Track on =
Software
Verification<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'>http://www.cs.wmich.edu/~zijiang/sac2007<o:p></o:p></span></font></=
p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>1. SAC 2007 =
<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>For the past =
twenty-one
years, the ACM Symposium on Applied Computing has been a primary =
gathering
forum for applied computer scientists, computer engineers, software =
engineers,
and application developers from around the world. SAC 2007 is sponsored =
by the
ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted =
by <st1:PlaceName
w:st=3D"on">Seoul</st1:PlaceName> <st1:PlaceName =
w:st=3D"on">National</st1:PlaceName>
<st1:PlaceType w:st=3D"on">University</st1:PlaceType> in <st1:City =
w:st=3D"on"><st1:place
w:st=3D"on">Seoul</st1:place></st1:City> and The Suwon University in
Gyeonggi-do.<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>2. Technical track =
on
software verification<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>In the next decade =
the
software industry will have to face its<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>responsibility =
imposed by a
computer-dependent society. Since software<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>is increasing =
deployed in
safety critical applications, correctness<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>and reliability are =
becoming
issues of utmost importance. Consequently, software verification will be =
a
grand challenge for both academic world and computer industry. The =
track will
focus on theoretical foundations, practical methods as well as case =
studies for
verification of conventional and embedded software. We welcome papers =
that
describe work on combinations of formal verification and program =
analysis
techniques. Tool papers and case studies which report on advances in =
verifying
large software systems are particularly sought. The list of topics =
includes but
not limited to<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Tools,
and case studies for large scale software =
verification<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Static
analysis/Abstract interpretation for verification =
<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Model
checking and deductive techniques for software =
verification<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Role of
declarative programming languages (such as Prolog) for infinite state =
software
verification. <o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Proof
techniques for verifying specific classes of software (such as =
object-oriented
programs) <o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o
Integration of testing and run-time monitoring with formal =
techniques<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o
Validation of UML diagrams, and/or requirement =
specifications<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o =
Software
certification and proof carrying code<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>o
Integration of formal verification into software development =
projects<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>3. Guidelines for =
paper
submission<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Each paper must not =
exceed
4,000 words and should not be more than 15<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>pages long using 11 =
point
font and 1 inch margins on all four sides =
on<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>letter size paper. =
Papers
that fail to comply with length limitations<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>risk rejection. =
Each
submitted paper will be fully referenced =
and<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>undergo a blind =
review
process. Author(s) must not be identified =
in<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>the submissions, =
either
explicitly or by implication. Before<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>submitting paper, =
author(s)
should submit a separate cover page that<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>includes title, =
abstract,
list of keywords, and list of authors with<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>full names and =
postal
addresses, telephone numbers, fax numbers, =
and<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>e-mail addresses. =
One of the
authors must be designated as the primary<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>contact person. =
Please
upload the cover page via conference website. =
A<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>confirmation email =
with
further instructions on paper submission =
will<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>be sent to the =
contact
author. Please contact track chairs for any<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>problems with
submission. Authors of accepted papers must submit =
an<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>editorial revision =
of their
papers that must fit within five<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>two-column pages =
following
the ACM proceedings format (an extra three<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>extra pages may be =
available
at additional cost to the authors). At<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>least one of the =
authors of
an accepted paper must register for the<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>conference and =
present the
paper. Accepted papers will be published in<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>the ACM SAC 2006
proceedings.<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>4. Program =
Committee<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Chandrasekhar =
Boyapati, <st1:place
w:st=3D"on"><st1:City w:st=3D"on">University of Michigan</st1:City>, =
<st1:country-region
=
w:st=3D"on">USA</st1:country-region></st1:place><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Samir Genaim, =
Universidad <st1:place
w:st=3D"on"><st1:City w:st=3D"on">Politecnica de Madrid</st1:City>, =
<st1:country-region
=
w:st=3D"on">Spain</st1:country-region></st1:place><o:p></o:p></span></fon=
t></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Francesco Loggozzo, =
<st1:place
w:st=3D"on"><st1:City w:st=3D"on">Ecole Polytechnique</st1:City>, =
<st1:country-region
=
w:st=3D"on">France</st1:country-region></st1:place><o:p></o:p></span></fo=
nt></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Lunjin Lu (Track =
Co-Chair), <st1:City
w:st=3D"on">Oakland</st1:City> Univ. ,<st1:country-region =
w:st=3D"on"><st1:place
=
w:st=3D"on">USA</st1:place></st1:country-region><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Iman Poernomo, =
King's <st1:place
w:st=3D"on"><st1:City w:st=3D"on">College of London</st1:City>, =
<st1:country-region
=
w:st=3D"on">UK</st1:country-region></st1:place><o:p></o:p></span></font><=
/p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Eric Poll, Radboud
Universiteit <st1:City w:st=3D"on">Nijmegen</st1:City>, The =
<st1:country-region
w:st=3D"on"><st1:place =
w:st=3D"on">Netherlands</st1:place></st1:country-region><o:p></o:p></span=
></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Jan-Georg Smaus,
Albert-Ludwigs-Universitaet Freiburg, <st1:country-region =
w:st=3D"on"><st1:place
w:st=3D"on">Germany</st1:place></st1:country-region> =
<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Fausto Spoto (Track
Co-Chair), Universit¨¤ <st1:place w:st=3D"on"><st1:City =
w:st=3D"on">di
Verona</st1:City>, <st1:country-region =
w:st=3D"on">Italy</st1:country-region></st1:place><o:p></o:p></span></fon=
t></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Chao Wang, NEC =
Laboratories
America, Inc, <st1:country-region w:st=3D"on"><st1:place =
w:st=3D"on">USA</st1:place></st1:country-region><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Ping Yang, =
<st1:place w:st=3D"on"><st1:City
w:st=3D"on">Binghamton University</st1:City>, <st1:country-region =
w:st=3D"on">USA</st1:country-region></st1:place><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Zijiang Yang(Track
Co-Chair), Western Michigan Univ., <st1:country-region =
w:st=3D"on"><st1:place
=
w:st=3D"on">USA</st1:place></st1:country-region><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>Tian Zhao, =
<st1:place w:st=3D"on"><st1:City
w:st=3D"on">University of Wisconsin-Milwaukee</st1:City> , =
<st1:country-region
=
w:st=3D"on">USA</st1:country-region></st1:place><o:p></o:p></span></font>=
</p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier New"'>5. Important =
dates<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'>
Electronic submission of full papers: September 8, =
2006<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'>
Notification of paper acceptance: October 16, =
2006<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'>
Camera-ready copy of accepted paper due: October 30, =
2006<o:p></o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt;font-family:"Courier =
New"'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
</div>
</body>
</html>
------=_NextPart_000_0023_01C6A42F.842010F0--
--===============0911327298==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_________________________________________________________________________________
mozart-users mailing list mozart-users-F/[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
--===============0911327298==--