Formal Methods Pointers / Jonathan Bowen
ETSI Technical Committee Methods for Testing and Specification, Protocol and Testing Competence Centre, Plugtest, STF236, STF256, TISPAN
International Multimedia Telecommunications Consortium (IMTC)
UNH InterOperability Lab (online training page)
TAHI IPv6 Ready Logo, IPv6 Interoperability Test
SIP interoperability test events
ATM Forum - Interoperability and Introduction Specifications
IPv6 Testing at Spirent Communications
ISO/IEC 9461.1-7
(to-be-added)
IETF NSIS, RAP, Midcom, AAA, SIP, SIPPING, MMUSIC and SIGTRAN Working Groups and IRTF End-to-end Research Group
RSVP - ReSource Reservation Protocol / ISI, RSVP Implementations (1, 2, ...)
YESSIR- YEt another Sender Session Internet Reservations / Columbia University
BGRP - Border Gateway Reservation Protocol / Columbia University
Boomerang - A Simple Protocol for Resource Reservation in IP Networks / Telia Research
Internet QoS Signaling Protocols / Rares Serban
SIGLITE: A Study on Lightweight Signaling Mechanism for the Internet / Columbia University
Internet Protocol - Quality of Service Page / University of Kansas
CASP pages at Columbia University and University of Goettingen
IETF Mobile IP, MIP4, MIP6, MIPSHOP, Seamoby, PANA, SEND, Nemo, Manet Working Groups and IRTF Routing and MOBOPTS Research Group
MOBILE IP WEB RESOURCES / Charles Perkins
Mobile IP Resources / Xinhua Zhao
Jianhua He's Research Resource Links
Thierry Ernst's resource collections The Monarch Project at Rice University
Dynamics and MIPL Mobile IPv6 for Linux at Helsinki University of Technology
Linux Mobile IP Project at MosquitoNet Group, Stanford University
Mobile IPv6 implementations at Lancaster U, NUS, KAME, 6WIND, MIPL, MSR.
Cellular IP at Columbia University
Hierarchical Mobile IPv6 at TU-Berlin and Monach University
IEEE (Institute of Electrical and Electronics Engineering)
IETF (Internet Engineering Task Force)
3GPP (3rd Generation Partnership Project)
3GPP2 (3rd Generation Partnership Project2)
ETSI (European Telecommunications Standards Institute) / TIPHON (Telecommunications and Internet Protocol Harmonization Over Networks)
ITU-T (ITU Telecommunication Standardization Sector)
OIF (Optical Internetworking Forum)
ATM Forum
IPv6 Forum
OMG (Object Management Group)
UMTS Forum
W3C (World Wide Web Consortium)
CDG (CDMA Development Group)
WCA (Wireless Communications Association International)
WWRF (Wireless World Internet Forum)
OMA (Open Mobile Alliance)
WWRF (Wireless World Research Forum)
IPv6 Implementations
ns2 FAQ Marc Greis' Tutorial and WPI's NS by Example
OPNET Modeler, OPETWORK 2003
Perl Manual
Tcl/Tk Tutorial
Introduction to CVS
Socket Tutorial
Netfilter Tutorial and iproute2
Traffic Control (altq, cbq, csfq, red, ecn, ...)
Traffic Generator (mgen, network traffic generator, ...) Monitoring (tcpdump, ...) and Measurement Tools (netperf, lperf, ...)
SDL Tutorial
MSC Tutorial
UML Tutorial
TTCN-3 Tutorial
http://www.cs.ucsb.edu/~almeroth/conf/stats/ (Conference Statistics)
http://dutetvg.et.tudelft.nl/~alex/CFP/ (CFPs on Networking)
http://www.ee.unsw.edu.au/~timm/netconf/ (CFPs on Networking)
http://www.cs.ucla.edu/NRL/wireless/cfp.html (CFPs on Networking)
http://www.afm.sbu.ac.uk/meetings/(CFPs on Formal Methods)
http://www.cs.utah.edu/flux/cipher/cipher-hypercalendar.html (Cipher's Security and Privacy)
http://campus.acm.org/calendar/ (ACM Conference Calendar)
http://computer.org/conferences/calendar.htm (IEEE Computer Society Conference Calendar)
http://www.ifip.or.at/cal_even.htm (IFIP Calendar of Events)
| Event Name | Date, Place | Deadline | Notification |
|
General Conferences on Data Communications, Network Systems and Applications |
|||
| ACM SIGCOMM | Sept 11-15, 2006, Pisa, Italy | 2006-02-10 | 2006-04-30 |
| IEEE/IFIP IWQoS | Jun 19-21, 2006, Yale U., CT, USA | 2006-02-27 | 2006-03-31 |
|
ACM NOSSDAV |
Jun, 2006, USA | 2006-02- | |
| IEEE Globecom | Nov 27-Dec 1, 2006, San Fransisco, USA | 2006-03-01 | |
| IEEE ICNP | Nov 5-8, 2005, Boston, MA, USA + NPSec | 2005-05-06 | |
| Oct 24-27, 2005, Toulouse, France | 2005-05-06 | 2005-07-01 | |
| IEEE INFOCOM, Global Internet | Apr 23-29, 2006, Barcelona, Spain | 2005-07-06 | 2005-10-31 |
|
ACM HotNets |
Oct/Nov 2006, USA | 2006-08- | |
| IEEE ICC | Jun 11-15, 2005, Istanbul, Turkey | 2005-09-15 | 2005-12-31 |
| IEEE IPDPS | Apr 25-29, 2006, Rhodes Island, Greece | 2005-10-07 | 2005-12-09 |
|
USENIX/ACM NSDI |
May 6-10, 2006, San Jose, CA, USA | 2005-10-17 | |
| IEEE ICDCS | Jun 6-9, 2006, Lisbo, Portugal | 2005-11-15 | 2006-02-15 |
|
USENIX ATC |
May 30-Jun 3, 2006, Boston, MA, USA | 2006-01-17 | 2006-02-27 |
|
USENIX/IEEE HotOS |
Jun 12-15, 2005, Santa Fe, NM, USA | 2005-02-01 | |
|
USENIX OSDI |
Nov 6-8, 2006, San Francisco, CA, USA | 2006-04-24 | |
|
ACM IMC |
Oct 19-21, 2005, New Orleans, LA, USA | 2005-05-13 | |
|
ACM SIGMETRICS / IFIP Performance |
Jun 6-10, 2005, Saint-Molo, France | 2005-11-04 | |
| IFIP Networking | May 15-19, 2005, Coimbra, Portugal | 2005-11-20 | |
|
SCS SPECTS |
Jul 23-28, 2005, Philadelphia, PA, USA | 2005-01-31 | |
|
ACM PODC |
Jul 25-28, 2004, Newfoundland, Canada | 2004-02-15 |
ACM IMC |
Oct 25-27, 2004, Sicily, Italy | May 14, 2004 |
|
ACM PODC |
Jul 25-28, 2004, Newfoundland, Canada | Feb 15, 2004 | |
|
ACM Multimedia |
Oct 10-16, 2004, New York, NY USA | Apr 15, 2004 | |
|
ACM SOSP |
Oct 23-26, 2005, Brighton, England | Mar 25, 2005 | |
| Sep 12-14, 2005, Sophia Antipolis, France | 2005-05-15 | ||
| IEEE RTSS | Dec 5-8, 2005, Miami, FL, USA | 2005-05-17 | |
|
SPIE/ACM MMCN |
Jan 16-20, 2005, San Jose, CA, USA | 2004-07-15 | |
| IEEE LCN | Nov 15-17, 2005, Sydney, Austria | 2005-03-10 | |
| IEEE RTAS | Mar 7-10, 2005, San Francisco, CA, USA | 2004-10-04 | |
|
ACM EuroSys |
Apr 18-21, 2006, Leuven, Belgium | 2005-10-15 | |
|
WWW |
May 10-14, 2005, Chiba, Japan | 2004-11-08 | |
| Oct 26-28, 2005, Princeton, NJ, USA | 2005-05-13 | 2005-07-30 | |
|
IEEE PerCom |
Mar 13 - 17, 2006, Pisa, Italy | 2005-09-11 | 2005-10-31 |
| May 07-10, 2006, Dublin, Ireland | 2005-09-30 | 2005-12-16 | |
| Sep 17-21, 2006, Orange County, CA, USA | TBA | TBA | |
|
IFIP/ACM/USENIX Middleware |
Nov 28 - Dec 2, 2005, Grenoble, France | 2005-04-03 | 2005-06-30 |
| Apr 3-7, 2006, Vancouver, Canada | 2005-08-14 | 2005-11-12 | |
| Jun 20-22, 2005, Aix-en-Province, France | 2005-01-28 | ||
|
USENIX Security |
Jul 31–Aug. 4, 2006, Vancouver, Canada + HotSec | 2006-02-01 | |
|
ACM CCS |
Oct 30-Nov 3, 2006, Alexandria, VA, USA | 2006-05- | |
|
ISOC NDSS |
Feb 1-3, 2006, San Diego, CA, USA | 2005-08-22 | |
| May 21-24, 2006, Berkeley/Oakland, CA, USA | 2005-11-04 | ||
|
IEEE SecureCom |
Sep. 5-9, 2005, Athens, Greece | 2005-02-21 | 2005-04-30 |
|
IFIP SEC |
May 22 -24, 2006, Karlstad, Sweden | 2005-11-01 | 2006-01-15 |
|
Crypto |
Aug. 14-18, 2005, Santa Barbara, CA, USA | 2005-02-14 | 2005-05-06 |
|
EuroCrypt |
May 28-June 1, 2006, St. Petersburg, Russia | 2005-11-21 | 2006-02-10 |
| Mobile Wireless/Ad-hoc Networking | |||
| ACM MobiCom | Aug 28 - Sept 2, 2005, Cologne, Germany | 2005-03-01 | |
| ACM/USENIX MobiSys | June 19-22, 2006, Uppsala, Sweden | 2005-11-28 | |
| ACM MobiHoc | May 22-25, 2006, Florence, Italy | 2005-12-09 | 2006-03-27 |
| ACM MSWiM | Oct 10-13, 2005, Montreal, Canada | 2005-06-03 | |
| IFIP/IEEE MWCN | Sept 19-21, 2005, Marrakech, Morocco | 2005-03-25 | |
| IEEE WCNC | Apr 3-6, 2006, Las Vegas, USA | 2005-09-18 | 2005-12-10 |
| IEEE WMCSA | Mar 30-31, 2006, Seattle, Washington, USA | 2005-10-01 | |
| IEEE PIMRC | Sep 11-14, 2005, Berlin, Germany | 2005-03-20 | |
| IEEE WoWMoM | June 26-29, 2006, Buffalo, New York, USA | 2005-11-19 | 2006-02-21 |
| IEEE WTS | Apr 28-30, 2005, Pomona, CA, USA | 2005-01-31 | |
| IEEE VTC | 06-Spring: May 10-15, 2006, Melbourne, Australia | 2005-09-16 | 2005-12-12 |
| IEEE SECON | Sept 26-29, 2005, Santa Clara, CA, USA | 2005-04-06 | |
| Formal Methods/Software Engineering | |||
| IFIP FORTE | Oct 2-5, 2005, Taipei | Apr 4, 2005 | |
| IFIP TESTCOM | May 30 - June 2, 2005, Montreal, Canada | Dec 8, 2004 | |
| IFIP FMOODS + DAIS | Jun 14-17, 2005, Athens, Greece |
DAIS: 01.02.2005 FMOODS: 21.01.2005 |
|
|
ACM
SIGSOFT / ACM FSE |
Sept 5-9, 2005, Lisbon, Portugal | Apr 4, 2005 | |
| ACM ISSTA | Jul 11-14, 2004, Boston, MA, USA | Jan 23, 2004 | |
| ACM/IEEE MEMOCODE | July 11-15, 2005, Verona, Italy | Mar 8, 2005 | |
| ACM OOPSLA | Oct 16-21, 2005, San Diego, CA, USA | ? | |
| IEEE ICFEM | Nov 8-12, 2004, Seatle, USA | May 15, 2004 | |
| IEEE ICSE | May 15-21, 2005, St. Louis, MO, USA | Sep 1, 2004 | |
| IEEE ASE | Nov 7-11, 2005, Long Beach, CA, USA | May 9, 2005 | |
| IEEE SEFM | Sep 7-9, 2005, Koblenz, Germany | Apr 1, 2005 | |
| IEEE ITC | Nov 8-10, 2005, Austin, TX, USA | Feb 18, 2005 | |
| CAV | July 6-10, 2005, Edinburgh, Scottland | Jan 24, 2005 | |
| SDL Forum | June 20-24, 2005, Grimstad, Norway | Feb 7, 2005 | |
| SAM | Jun 2-4, 2004, Ottawa, Canada | Mar 22, 2004 | |
| FM | Jul 18-22, 2005, Uni Newcastle (Tyne), UK | Jan 24, 2005 | |
| AMAST | Jul 12-16, 2004, Stirling, UK | Jan 26, 2004 | |
| Symposium on Teaching Formal Methods | Nov 18-19, 2004, Ghent, Belgium | Part I: Communications, Part II: Electronics, Part III: Fundamental Electronic Science||