Pages: pp. 66-67
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
7–10 Jan: HICSS 2008, Hawai'i Int'l Conf. on System Sciences, Waikoloa, Hawai'i; www.hicss.hawaii.edu/hicss_41/apahome41.html
18–21 Feb: WICSA 2008, Working IEEE/IFIP Conf. on Software Architecture, Vancouver, Canada; www.wicsa.net
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
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
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
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
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
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.
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.
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 email@example.com, firstname.lastname@example.org, or email@example.com.