The Community for Technology Leaders

Call And Calendar

Pages: pp. 66-67


Calls for Articles for IEEE CS Publications

Calls for Papers

LICS 2008, IEEE Logic in Computer Science Symp., 24–27 June, Pittsburgh; Submissions due 7 Jan. 2008;www2.informatik.hu-berlin.de/lics/lics08/cfp08-1.pdf

SCC 2008, IEEE Int'l Conf. on Services Computing, 8–11 July, Hawai'i; Submissions due 28 Jan. 2008;http://conferences.computer.org/scc/2008/cfp.html

ICWS 2008, IEEE Conf. on Web Services, 23–26 Sept., Beijing; Submissions due 7 Apr. 2008;http://conferences.computer.org/icws/2008/call-for-papers.html

Calendar

January 2008

7–10 Jan: HICSS 2008, Hawai'i Int'l Conf. on System Sciences, Waikoloa, Hawai'i; www.hicss.hawaii.edu/hicss_41/apahome41.html

February 2008

18–21 Feb: WICSA 2008, Working IEEE/IFIP Conf. on Software Architecture, Vancouver, Canada; www.wicsa.net

March 2008

3–7 Mar: SimuTools 2008, 1st Int'l Conf. on Simulation Tools and Techniques for Communications, Networks, and Systems, Vancouver, Canada; www.simutools.org

25–28 Mar: AINA 2008, 22nd IEEE Int'l Conf. on Advanced Information Networking and Applications, Okinawa, Japan; www.aina-conference.org/2008

25–28 Mar: SOCNE 2008, 3rd IEEE Workshop on Service-Oriented Architectures in Converging Networked Environments (with AINA), Okinawa, Japan; www.c-lab.de/RLS/SOCNE08

April 2008

7–12 Apr: ICDE 2008, 24th IEEE Int'l Conf. on Data Engineering, Cancun, Mexico; www.icde2008.org

8–12 Apr: MCN 2008, 2nd IEEE Workshop on Mission-Critical Networking (with InfoCom), Phoenix; www.criticalnet.org

14–15 Apr: RAW 2008, 15th Reconfigurable Architectures Workshop (with IPDPS), Miami; www.ece.lsu.edu/vaidy/raw

14–18 Apr: IPDPS 2008, 22nd IEEE Int'l Parallel and Distributed Processing Symp., Miami; www.ipdps.org

15–17 Apr: InfoCom 2008, 27th IEEE Conf. on Computer Communications, Phoenix; www.ieee-infocom.org

18 Apr: Hot-P2P 2008, 5th Int'l Workshop on Hot Topics in Peer-to-Peer Systems (with IPDPS), Miami; www.disi.unige.it/hotp2p/2008/index.php

18 Apr: PCGrid 2008, 2nd Workshop on Desktop Grids and Volunteer Computing Systems (with IPDPS), Miami; http://pcgrid.lri.fr

18 Apr: SSN 2008, 4th Int'l Workshop on Security in Systems and Networks (with IPDPS), Miami; www.cse.buffalo.edu/~fwu2/ssn08

May 2008

4–8 May: VLSI 2008, 28th IEEE VLSI Test Symp., San Diego; www.tttc-vts.org/

5–7 May: ISORC 2008, 11th IEEE Int'l Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida; http://ise.gmu.edu/isorc08

7–9 May: EDCC 2008, 7th European Dependable Computing Conf., Kaunas, Lithuania; http://edcc.dependability.org

18–22 May: CCGrid 2008, 8th IEEE Int'l Symp. on Cluster Computing and the Grid, Lyon, France; http://ccgrid2008.ens-lyon.fr

22–24 May: ISMVL 2008, 38th Int'l Symp. on Multiple-Valued Logic, Dallas; http://engr.smu.edu/ismvl08

24 May: ULSI 2008, 17th Int'l Workshop on Post-Binary ULSI Systems (with ISMVL), Dallas; http://engr.smu.edu/ismvl08

June 2008

23–25 June: CSF 2008, 21st IEEE Computer Security Foundations Symp. (with LICS), Pittsburgh; www.cylab.cmu.edu/CSF2008

23–25 June: WETICE 2008, 17th IEEE Int'l Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, Rome; www.sel.uniroma2.it/wetice08/venue.htm

23–26 June: ICITA 2008, 5th Int'l Conf. on Information Technology and Applications, Cairns, Australia; www.icita.org

24–27 June: LICS 2008, IEEE Symp. on Logic in Computer Science, Pittsburgh; www2.informatik.hu-berlin.de/lics/lics08

July 2008

7–11 July: Services 2008, IEEE Congress on Services, Hawai'i; http://conferences.computer.org/services/2008

8–11 July: CIT 2008, IEEE Int'l Conf. on Computer and Information Technology, Sydney, Australia; http://attend.it.uts.edu.au/cit2008

8–11 July: SCC 2008, IEEE Int'l Conf. on Services Computing, Hawai'i; http://conferences.computer.org/scc/2008

Submission Instructions

The Call and Calendar section lists conferences, symposia, and workshops that the IEEE Computer Society sponsors or cooperates in presenting.

Visit www.computer.org/conferences for instructions on how to submit conference or call listings as well as a more complete listing of upcoming computer-related conferences.

LICS 2008

The 23rd IEEE Logic in Computer Science symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic.

Organizers have invited submissions on topics that include automata theory, categorical models and logics, concurrency, distributed computation, logical frameworks, and constraint programming.

The symposium is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

LICS will take place 24–27 June 2008 in Pittsburgh. Abstracts are due by 7 January 2008. Visit www2.informatik.hu-berlin.de/lics/lics08 for more details on LICS 2008, including a complete call for papers.

Events in 2007–2008

January

7–10 . . . . . . . . . . . . . . .HICSS 2008

February

18–21 . . . . . . . . . . . . . . WICSA 2008

March

3–7 . . . . . . . . . . . . . SimuTools 2008 25–28 . . . . . . . . . . . . . . .AINA 2008 25–28 . . . . . . . . . . . . . . SOCNE 2008

Call for Articles for Computer

Computer seeks articles for a July 2008 special issue on high-assurance service-oriented architectures. The guest editors are Jing Dong from the University of Texas at Dallas, Raymond Paul from the US Department of Defense, and Liang-Jie Zhang from IBM's T.J. Watson Research Center.

Recent advances in services computing technology make it possible to register, request, discover, and supply software services online. Such loosely coupled software services form a service-oriented architecture with the support of network resources. Service-oriented architectures have been applied in many mission-critical environments including medical, traffic control, and defense systems. These systems are required to be highly reliable, secure, available, timely, fault-tolerant, and dependable. Recently, architects have come to face new challenges in developing service-oriented systems with high assurance requirements.

Computer invites papers that describe techniques, tools, or experiences related to the design, development, or assessment of practical high-assurance systems. Editors are particularly interested in submissions that address applications of service-oriented techniques. Examples of suitable topics include high-assurance service compositions; service specifications for security, reliability, dependability, availability, and QoS properties; service discoveries with high-assurance system requirements; and service security, trust, and privacy.

The deadline for papers is 14 December. Detailed author instructions are available at www.computer.org/portal/pages/computer/mc/author.html. Send inquiries to the guest editors at jdong@utdallas.edu, raymond.paul@osd.mil, or zhanglj@us.ibm.com.

FULL ARTICLE
60 ms
(Ver 3.x)