ACM SenSys 2008 - Call for Papers
- From: liqian@xxxxxxxxxxxxx (Liqian Luo)
- Date: Mon, 3 Mar 2008 18:21:28 -0800
We apologize if you received multiple copies of this message!
*************************************************************
Paper Submissions Deadline: *April 14, 2008*
*************************************************************
Call for Papers
ACM SenSys 2008
The 6th ACM Conference on Embedded Networked Sensor Systems
November 5 - 7, 2008
Raleigh, NC
http://sensys.acm.org/2008/
*************************************************************
The 6th ACM Conference on Embedded Networked Sensor Systems (SenSys) is
a highly selective, single-track forum for the presentation of research
results on systems issues in the area of embedded, networked sensors.
Distributed systems based on networked sensors and actuators with
embedded computation capabilities enable an instrumentation of the
physical world at an unprecedented scale and density, thus enabling a
new generation of monitoring and control applications. This conference
provides an ideal venue to address the research challenges facing the
design, deployment, use, and fundamental limits of these systems. Sensor
networks require contributions from many fields, from wireless
communication and networking, embedded systems and hardware, distributed
systems, data management, and applications, so we welcome
cross-disciplinary work.
We particularly encourage papers that extend the scope of the conference
beyond wireless mote-class sensor networks and we seek contributions
from a broad range of sensing-related fields, such as actuator networks,
RFID applications, mobile ad-hoc networks, camera networks, and others.
We seek technical papers describing original, previously unpublished
research results. Topics of interest include, but are not limited to,
the following:
- Sensor network architecture and protocols
- Sensor network algorithms such as localization, routing, time
synchronization, clustering, topology control, and coverage control
algorithms
- Rich sensor systems leveraging RFID, mobile devices (e.g., cell
phones), cameras, robotics, etc.
- Failure resilience and fault isolation
- Analysis of real-world systems and fundamental limits
- Energy management
- Sensor network planning, provisioning, calibration and deployment
- Data, information, and signal processing
- Deployment experience and testbeds
- Data storage and management
- Experimental methods, including measurement, simulation, and emulation
infrastructure
- Distributed actuation and control
- Programming methodology
- Applications
- Operating systems
- Security and privacy
- Integration with back-end systems such as web-based information
systems, process control, and enterprise software
Program Co-Chairs
*************************************************************
Margaret Martonosi, Princeton University
Adam Wolisz, TU Berlin
Sponsored by
*************************************************************
ACM SIGCOMM, SIGMOBILE, SIGARCH, SIGOPS, SIGMETRICS and SIGBED; with
support from NSF.
Important dates
*************************************************************
- Paper Registration and Abstract: April 7, 2008, 5pm US Eastern Time
- Paper Submission Deadline: April 14, 2008, 5pm US Eastern Time
- Notification of Paper Acceptance: July 18, 2008
- Camera Ready Paper Copy: August 25, 2008
All deadlines are firm; we will not honor extensions. Papers must be
original, unpublished work not under consideration elsewhere. All
submissions will be handled electronically and must be in PDF format,
fitting length and formatting guidelines as directed on the submission
webpage. All submitted papers will be peer-reviewed. The review process
is double-blind and hence, all submissions must be anonymized. Selected
papers of particular merit will be proposed for publication in the ACM
Transactions on Sensor Networks. For submission details, see the
conference web site at http://sensys.acm.org/2008/
Demos
*************************************************************
Demonstrations showing innovative research and applications are
solicited. SenSys is very interested in demonstrations of technology,
platforms, and applications of sensor systems. Abstracts of accepted
demos will be published in the SenSys conference proceedings.
Submissions from both industry and academia are encouraged. For
submission details, see the conference web site. A call for demos with
submission dates, etc., will be posted at a later point.
Posters
*************************************************************
Posters showing exciting early work on sensor systems are solicited.
Areas of interest are the same as those listed in the technical call for
papers. While the poster need not describe completed work, it should
report on research for which at least preliminary results are available.
For submission details, see the conference web site. A call for posters
with submission dates, etc., will be posted at a later point.
Workshops
*************************************************************
Workshop proposals are highly encouraged in emerging areas related to
sensor networks. A call for workshop proposals will be posted on the
SenSys website.
Organization
*************************************************************
General Chair:
Tarek Abdelzaher (University of Illinois, Urbana-Champaign)
Program Co-Chairs:
Margaret Martonosi (Princeton)
Adam Wolisz (TU Berlin)
Poster Co-Chairs:
Philippe Bonnet (U. Copenhagen)
Tian He (U Minnesota)
Demo Co-Chairs:
Kamin Whitehouse (U Virginia)
Yunhao Liu (Hong Kong University of Science and Technology)
Local Arrangements Chair:
Injong Rhee (North Carolina State University)
Publicity Co-Chairs:
Thiemo Voigt (Swedish Institute of Computer Science)
Liqian Luo (Microsoft Research)
Yoshito Tobe (Tokyo Denki University)
Sponsorship Chair:
Matt Welsh (Harvard)
Web Chair:
Ying Zhang (PARC)
Registration Chair:
Peter Corke (CSIRO ICT Centre)
Finance Chair:
Jie Liu (Microsoft Research)
Workshop Chair:
Andrew Campbell (Dartmouth)
Student Award Chair:
Sam Madden (MIT)
Publication Chair:
Joe Polastre (Sentilla)
Steering Committee Chair:
Andrew Campbell (Dartmouth)
Technical Program Committees:
Margaret Martonosi, Princeton Univ, PC co-chair
Adam Wolisz, TU Berlin, PC co-chair
Nirupama Bulusu, Portland State
Mark Corner, Umass
Rick Han, Colorado
Adam Dunkels, SICS
Deepak Ganesan, UMass
Phil Gibbons, Intel Research,
Wiliam Kaiser, UCLA
Ralph Kling, Crossbow
Koen Langendoen, TU Delft
Sam Madden, MIT
Lama Nachman, Intel Research
Joe Polastre, Sentilla
Ram Ramjee, Microsoft Research
Kay Roemer, ETH Zurich
Paolo Santi, Pisa
Andreas Savvides, Yale Univ.
Jack Stankovic, Univ. of Virginia
Matt Welsh, Harvard Univ.
Kamin Whitehouse, Univ. of Virginia
--_000_715287EC0AFFA842B30C3431B73D1AE14EC98DE7E3NAEXMSGC105re_
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"|
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@SimSun";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
..MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>We apologize if you received multiple copies of this
message!<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Paper Submissions Deadline: *April 14, 2008*<o:p></o:p|</p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Call for Papers<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>ACM SenSys 2008<o:p></o:p></p>
<p class=MsoNormal>The 6th ACM Conference on Embedded Networked Sensor Systems<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>November 5 - 7, 2008<o:p></o:p></p>
<p class=MsoNormal>Raleigh, NC <o:p></o:p></p>
<p class=MsoNormal>http://sensys.acm.org/2008/<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The 6th ACM Conference on Embedded Networked Sensor Systems
(SenSys) is<o:p></o:p></p>
<p class=MsoNormal>a highly selective, single-track forum for the presentation
of research<o:p></o:p></p>
<p class=MsoNormal>results on systems issues in the area of embedded, networked
sensors.<o:p></o:p></p>
<p class=MsoNormal>Distributed systems based on networked sensors and actuators
with<o:p></o:p></p>
<p class=MsoNormal>embedded computation capabilities enable an instrumentation
of the<o:p></o:p></p>
<p class=MsoNormal>physical world at an unprecedented scale and density, thus
enabling a<o:p></o:p></p>
<p class=MsoNormal>new generation of monitoring and control applications. This
conference<o:p></o:p></p>
<p class=MsoNormal>provides an ideal venue to address the research challenges
facing the<o:p></o:p></p>
<p class=MsoNormal>design, deployment, use, and fundamental limits of these
systems. Sensor<o:p></o:p></p>
<p class=MsoNormal>networks require contributions from many fields, from
wireless<o:p></o:p></p>
<p class=MsoNormal>communication and networking, embedded systems and hardware,
distributed<o:p></o:p></p>
<p class=MsoNormal>systems, data management, and applications, so we welcome<o:p></o:p></p>
<p class=MsoNormal>cross-disciplinary work.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>We particularly encourage papers that extend the scope of
the conference<o:p></o:p></p>
<p class=MsoNormal>beyond wireless mote-class sensor networks and we seek
contributions<o:p></o:p></p>
<p class=MsoNormal>from a broad range of sensing-related fields, such as
actuator networks,<o:p></o:p></p>
<p class=MsoNormal>RFID applications, mobile ad-hoc networks, camera networks,
and others.<o:p></o:p></p>
<p class=MsoNormal>We seek technical papers describing original, previously
unpublished<o:p></o:p></p>
<p class=MsoNormal>research results. Topics of interest include, but are not
limited to,<o:p></o:p></p>
<p class=MsoNormal>the following:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>- Sensor network architecture and protocols<o:p></o:p></p>
<p class=MsoNormal>- Sensor network algorithms such as localization, routing,
time<o:p></o:p></p>
<p class=MsoNormal> synchronization, clustering, topology control, and
coverage control<o:p></o:p></p>
<p class=MsoNormal> algorithms<o:p></o:p></p>
<p class=MsoNormal>- Rich sensor systems leveraging RFID, mobile devices (e.g.,
cell<o:p></o:p></p>
<p class=MsoNormal> phones), cameras, robotics, etc.<o:p></o:p></p>
<p class=MsoNormal>- Failure resilience and fault isolation<o:p></o:p></p|
<p class=MsoNormal>- Analysis of real-world systems and fundamental limits<o:p></o:p></p>
<p class=MsoNormal>- Energy management <o:p></o:p></p>
<p class=MsoNormal>- Sensor network planning, provisioning, calibration and
deployment<o:p></o:p></p>
<p class=MsoNormal>- Data, information, and signal processing <o:p></o:p></p>
<p class=MsoNormal>- Deployment experience and testbeds<o:p></o:p></p>
<p class=MsoNormal>- Data storage and management <o:p></o:p></p>
<p class=MsoNormal>- Experimental methods, including measurement, simulation,
and emulation<o:p></o:p></p>
<p class=MsoNormal> infrastructure<o:p></o:p></p>
<p class=MsoNormal>- Distributed actuation and control <o:p></o:p></p>
<p class=MsoNormal>- Programming methodology<o:p></o:p></p>
<p class=MsoNormal>- Applications <o:p></o:p></p>
<p class=MsoNormal>- Operating systems<o:p></o:p></p>
<p class=MsoNormal>- Security and privacy<o:p></o:p></p>
<p class=MsoNormal>- Integration with back-end systems such as web-based
information<o:p></o:p></p>
<p class=MsoNormal> systems, process control, and enterprise software <o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Program Co-Chairs<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>Margaret Martonosi, Princeton University<o:p></o:p></p|
<p class=MsoNormal>Adam Wolisz, TU Berlin<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Sponsored by<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>ACM SIGCOMM, SIGMOBILE, SIGARCH, SIGOPS, SIGMETRICS and
SIGBED; with<o:p></o:p></p>
<p class=MsoNormal>support from NSF.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Important dates<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>- Paper Registration and Abstract: April 7, 2008, 5pm US
Eastern Time<o:p></o:p></p>
<p class=MsoNormal>- Paper Submission Deadline: April 14, 2008, 5pm US Eastern
Time<o:p></o:p></p>
<p class=MsoNormal>- Notification of Paper Acceptance: July 18, 2008<o:p></o:p></p>
<p class=MsoNormal>- Camera Ready Paper Copy: August 25, 2008<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>All deadlines are firm; we will not honor extensions. Papers
must be<o:p></o:p></p>
<p class=MsoNormal>original, unpublished work not under consideration
elsewhere. All<o:p></o:p></p>
<p class=MsoNormal>submissions will be handled electronically and must be in
PDF format,<o:p></o:p></p>
<p class=MsoNormal>fitting length and formatting guidelines as directed on the
submission<o:p></o:p></p>
<p class=MsoNormal>webpage. All submitted papers will be peer-reviewed. The
review process<o:p></o:p></p>
<p class=MsoNormal>is double-blind and hence, all submissions must be
anonymized. Selected<o:p></o:p></p>
<p class=MsoNormal>papers of particular merit will be proposed for publication
in the ACM<o:p></o:p></p>
<p class=MsoNormal>Transactions on Sensor Networks. For submission details, see
the<o:p></o:p></p>
<p class=MsoNormal>conference web site at http://sensys.acm.org/2008/ <o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Demos<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>Demonstrations showing innovative research and applications
are<o:p></o:p></p>
<p class=MsoNormal>solicited. SenSys is very interested in demonstrations of
technology,<o:p></o:p></p>
<p class=MsoNormal>platforms, and applications of sensor systems. Abstracts of
accepted<o:p></o:p></p>
<p class=MsoNormal>demos will be published in the SenSys conference proceedings.<o:p></o:p></p>
<p class=MsoNormal>Submissions from both industry and academia are encouraged.
For<o:p></o:p></p>
<p class=MsoNormal>submission details, see the conference web site. A call for
demos with<o:p></o:p></p>
<p class=MsoNormal>submission dates, etc., will be posted at a later point.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Posters<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>Posters showing exciting early work on sensor systems are
solicited.<o:p></o:p></p>
<p class=MsoNormal>Areas of interest are the same as those listed in the
technical call for<o:p></o:p></p>
<p class=MsoNormal>papers. While the poster need not describe completed work,
it should<o:p></o:p></p>
<p class=MsoNormal>report on research for which at least preliminary results
are available.<o:p></o:p></p>
<p class=MsoNormal>For submission details, see the conference web site. A call
for posters<o:p></o:p></p>
<p class=MsoNormal>with submission dates, etc., will be posted at a later
point.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Workshops<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>Workshop proposals are highly encouraged in emerging areas
related to<o:p></o:p></p>
<p class=MsoNormal>sensor networks. A call for workshop proposals will be
posted on the<o:p></o:p></p>
<p class=MsoNormal>SenSys website.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Organization<o:p></o:p></p>
<p class=MsoNormal>*************************************************************<o:p></o:p></p>
<p class=MsoNormal>General Chair:<o:p></o:p></p>
<p class=MsoNormal>Tarek Abdelzaher (University of Illinois, Urbana-Champaign)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Program Co-Chairs:<o:p></o:p></p>
<p class=MsoNormal>Margaret Martonosi (Princeton)<o:p></o:p></p>
<p class=MsoNormal>Adam Wolisz (TU Berlin)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Poster Co-Chairs:<o:p></o:p></p>
<p class=MsoNormal>Philippe Bonnet (U. Copenhagen)<o:p></o:p></p>
<p class=MsoNormal>Tian He (U Minnesota)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Demo Co-Chairs:<o:p></o:p></p>
<p class=MsoNormal>Kamin Whitehouse (U Virginia)<o:p></o:p></p>
<p class=MsoNormal>Yunhao Liu (Hong Kong University of Science and Technology)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Local Arrangements Chair:<o:p></o:p></p>
<p class=MsoNormal>Injong Rhee (North Carolina State University)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Publicity Co-Chairs:<o:p></o:p></p>
<p class=MsoNormal>Thiemo Voigt (Swedish Institute of Computer Science)<o:p></o:p></p>
<p class=MsoNormal>Liqian Luo (Microsoft Research)<o:p></o:p></p>
<p class=MsoNormal>Yoshito Tobe (Tokyo Denki University)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Sponsorship Chair:<o:p></o:p></p>
<p class=MsoNormal>Matt Welsh (Harvard)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Web Chair:<o:p></o:p></p>
<p class=MsoNormal>Ying Zhang (PARC)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Registration Chair:<o:p></o:p></p>
<p class=MsoNormal>Peter Corke (CSIRO ICT Centre)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Finance Chair:<o:p></o:p></p>
<p class=MsoNormal>Jie Liu (Microsoft Research)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Workshop Chair:<o:p></o:p></p>
<p class=MsoNormal>Andrew Campbell (Dartmouth)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Student Award Chair:<o:p></o:p></p>
<p class=MsoNormal>Sam Madden (MIT)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Publication Chair:<o:p></o:p></p>
<p class=MsoNormal>Joe Polastre (Sentilla)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Steering Committee Chair:<o:p></o:p></p>
<p class=MsoNormal>Andrew Campbell (Dartmouth)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Technical Program Committees:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Margaret Martonosi, Princeton Univ, PC co-chair<o:p></o:p></p>
<p class=MsoNormal>Adam Wolisz, TU Berlin, PC co-chair<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Nirupama Bulusu, Portland State<o:p></o:p></p>
<p class=MsoNormal>Mark Corner, Umass<o:p></o:p></p>
<p class=MsoNormal>Rick Han, Colorado<o:p></o:p></p>
<p class=MsoNormal>Adam Dunkels, SICS<o:p></o:p></p>
<p class=MsoNormal>Deepak Ganesan, UMass<o:p></o:p></p>
<p class=MsoNormal>Phil Gibbons, Intel Research,<o:p></o:p></p>
<p class=MsoNormal>Wiliam Kaiser, UCLA <o:p></o:p></p>
<p class=MsoNormal>Ralph Kling, Crossbow <o:p></o:p></p>
<p class=MsoNormal>Koen Langendoen, TU Delft<o:p></o:p></p>
<p class=MsoNormal>Sam Madden, MIT<o:p></o:p></p>
<p class=MsoNormal>Lama Nachman, Intel Research<o:p></o:p></p>
<p class=MsoNormal>Joe Polastre, Sentilla<o:p></o:p></p>
<p class=MsoNormal>Ram Ramjee, Microsoft Research<o:p></o:p></p>
<p class=MsoNormal>Kay Roemer, ETH Zurich<o:p></o:p></p>
<p class=MsoNormal>Paolo Santi, Pisa<o:p></o:p></p>
<p class=MsoNormal>Andreas Savvides, Yale Univ.<o:p></o:p></p>
<p class=MsoNormal>Jack Stankovic, Univ. of Virginia<o:p></o:p></p>
<p class=MsoNormal>Matt Welsh, Harvard Univ.<o:p></o:p></p>
<p class=MsoNormal>Kamin Whitehouse, Univ. of Virginia<o:p></o:p></p>
</div>
</body>
</html>
--_000_715287EC0AFFA842B30C3431B73D1AE14EC98DE7E3NAEXMSGC105re_--
.
- Prev by Date: Ensuring invariants on complex data structures
- Next by Date: Call for Papers Deadline Mar 17th
- Previous by thread: Ensuring invariants on complex data structures
- Next by thread: Call for Papers Deadline Mar 17th
- Index(es):