diff options
Diffstat (limited to 'conferences.html')
| -rw-r--r-- | conferences.html | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/conferences.html b/conferences.html index 48bf1f2..efbfbb9 100644 --- a/conferences.html +++ b/conferences.html | |||
| @@ -27,28 +27,26 @@ | |||
| 27 | <div id="content"> | 27 | <div id="content"> |
| 28 | <h2>Conferences</h2> | 28 | <h2>Conferences</h2> |
| 29 | <p>Following is a listing of conferences, workshops and symposia of relevance to our research group.</p> | 29 | <p>Following is a listing of conferences, workshops and symposia of relevance to our research group.</p> |
| 30 | <p>Past deadlines are listed in <span style="color: red">red</span>. These listings are retained <u>until the conference has been held and the web page for its successor is available</u>.</p> | 30 | <p>Past deadlines are listed in <span style="color: red">red</span>. These listings are retained until the conference has been held and the web page for its successor is available.</p> |
| 31 | <p>This information is subject to frequent change. If you notice some information that is outdated, we kindly ask that you <a href="mailto:cjk@cs.unc.edu">send email to</a> the maintainer of this page.</p> | 31 | <p>This information is subject to frequent change. If you notice some information that is outdated, we kindly ask that you <a href="mailto:cjk@cs.unc.edu">send email to</a> the maintainer of this page.</p> |
| 32 | <table class="event"> | 32 | <table class="event"> |
| 33 | <tr class="heading"><td>Deadline</td><td>Conference</td><td>Location</td><td>Dates</td></tr> | 33 | <tr class="heading"><td style="width: 150px">Deadline</td><td style="width: 200px">Conference</td><td style="width: 140px">Location</td><td style="width: 200px">Dates</td></tr> |
| 34 | <tr><td style="color: red">May 16, 2010</td><td><a href="http://www.rtss.org">RTSS</a></td><td>San Diego, CA</td><td>Dec. 1-3, 2010</td></tr> | 34 | <tr><td style="color: red">Apr. 11, 2011</td><td><a href="http://www.esweek.org/">ESWeek (3 Conferences)</a></td><td>Tampere, Finland</td><td>Oct. 9 – 14, 2011</td></tr> |
| 35 | <tr><td style="color: red">Jun. 6, 2010</td><td><a href="http://www.irit.fr/rtns2010">RTNS</a></td><td>Toulouse, FR</td><td>Nov. 4-5, 2010</td></tr> | 35 | <tr><td style="color: red">Jul. 22, 2011</td><td><a href="http://www.opodis.net/">OPODIS</a></td><td>Toulouse, France</td><td>Dec. 12 – 16, 2011</td></tr> |
| 36 | <tr><td style="color: red">July 25, 2010</td><td><a href="http://www.opodis.net">OPODIS</a></td><td>Tozeur, Tunisia</td><td>Dec. 14-17, 2010</td></tr> | 36 | <tr><td style="color: red">Sep. 29, 2011</td><td><a href="http://www.acsac.org/2011/workshops/law/">LAW</a></td><td>Orlando, FA</td><td>Dec. 5 – 9, 2011</td></tr> |
| 37 | <tr><td style="color: red">TBA</td><td><a href="http://fm.csl.sri.com/LAW/2010/index.shtml">Layered Assurance Workshop</a></td><td>Austin, TX</td><td>Dec. 6-7, 2010</td></tr> | 37 | <tr><td style="color: red">Oct. 2, 2011</td><td><a href="http://www.ipdps.org/">IPDPS</a></td><td>Shanghai, China</td><td>May. 21 – 25, 2012</td></tr> |
| 38 | <tr><td style="color: red">Oct. 1, 2010</td><td><a href="http://www.ipdps.org">IPDPS</a></td><td>Anchorage, AK</td><td>May 16-20, 2011</td></tr> | 38 | <tr><td style="color: red">Oct. 14, 2011</td><td><a href="http://www.rtas.org/">RTAS</a></td><td>Beijing, China</td><td>Apr. 16 – 19, 2012</td></tr> |
| 39 | <tr><td style="color: red">Oct. 8, 2010</td><td><a href="http://www.rtas.org/">RTAS</a></td><td>Chicago, Il</td><td>Apr. 11-14, 2011</td></tr> | 39 | <tr><td style="color: red">Oct. 20, 2011</td><td><a href="http://eurosys2012.unibe.ch/">EuroSys</a></td><td>Bern, Switzerland</td><td>Apr. 11 – 13, 2012</td></tr> |
| 40 | <tr><td style="color: red">Oct. 10, 2010</td><td><a href="http://eurosys2011.cs.uni-salzburg.at/">EuroSys</a></td><td>Salzburg, Austria</td><td>Apr. 10-13, 2011</td></tr> | 40 | <tr><td style="color: red">Dec. 18, 2011</td><td><a href="http://shemesh.larc.nasa.gov/nfm2012/">NFM</a></td><td>Norfolk, VA</td><td>Apr. 3 – 5, 2012</td></tr> |
| 41 | <tr><td style="color: red">Oct. 14, 2010</td><td><a href="http://dream.eng.uci.edu/isorc2011/workshop.html">IEEE Workshop on Applications and Architectures for Mixed Criticality Systems</a></td><td>Newport Beach, CA</td><td>Mar. 31 2011</td></tr> | 41 | <tr><td>Jan. 29, 2012</td><td><a href="http://cps.kaist.ac.kr/apres2012/">APRES</a></td><td>Beijing, China</td><td>Apr. 16, 2012</td></tr> |
| 42 | <tr><td style="color: red">Dec. 19, 2010</td><td><a href="http://lars-lab.jpl.nasa.gov/nfm2011">NASA Formal Methods Symposium</a></td><td>Pasadena, CA</td><td>Apr. 18-20, 2011</td></tr> | 42 | <tr><td>Feb. 3, 2012</td><td><a href="http://ecrts12.ecrts.org/">ECRTS</a></td><td>Pisa, Italy</td><td>Jul. 10 – 13, 2012</td></tr> |
| 43 | <tr><td>Jan. 23, 2011</td><td><a href="http://www.cister.isep.ipp.pt/ecrts11/">ECRTS</td><td>Porto, Portugal</td><td>Jul. 5-8 2011</td></tr> | 43 | <tr><td>Feb. 26, 2012</td><td><a href="http://sies2012.ira.uka.de/index.php">SIES</a></td><td>Karlsruhe, Germany</td><td>Jun. 20 – 22, 2012</td></tr> |
| 44 | <tr><td style="">Feb. 8, 2011</td><td><a href="http://apres2011.uwaterloo.ca/">APRES</a></td><td>Chigago, IL</td><td>Apr. 11, 2011</td></tr> | 44 | <tr><td>Mar. 2, 2012</td><td><a href="http://www.icpp2012.org/">ICPP</a></td><td>Pittsburgh, PA</td><td>Sep. 10 – 13, 2012</td></tr> |
| 45 | <tr><td>Feb. 20, 2011</td><td><a href="http://www.mrtc.mdh.se/sies2011/index.php">IEEE-SIES</a></td><td>Västerås, SE</td><td>Jun. 15-17, 2011</td></tr> | 45 | <tr><td>Mar. 25, 2012</td><td><a href="http://www.etfa2012.org/">ETFA</a></td><td>Krakow, Poland</td><td>Sep. 17 – 21, 2012</td></tr> |
| 46 | <tr><td style="">Feb. 24, 2011</td><td><a href="http://icpp2011.org">ICPP</a></td><td>Taipei, Taiwan</td><td>Sep. 13-16, 2011</td></tr> | 46 | <tr><td>Apr. 16, 2012</td><td><a href="http://rtcsa.konkuk.ac.kr/">RTCSA</a></td><td>Seoul, Korea</td><td>Aug. 20 – 22, 2012</td></tr> |
| 47 | <tr><td style="">Mar. 21, 2011</td><td><a href="http://www.etfa-2011.org">ETFA</a></td><td>Toulouse, FR</td><td>Sep. 5-9, 2011</td></tr> | 47 | <tr><td>May. 15, 2012</td><td><a href="http://sites.ieee.org/rtss2012/">RTSS</a></td><td>San Juan, Puerto Rico</td><td>Dec. 5 – 7, 2012</td></tr> |
| 48 | <tr><td style="">Apr. 4, 2011</td><td><a href="http://emsoft2011.uwaterloo.ca/index.shtml">EMSOFT</a></td><td>Taipei, Taiwan</td><td>Oct. 9-14, 2011</td></tr> | 48 | <tr><td>TBD</td><td><a href="https://www.osadl.org/RTLWS-2012.rtlws-2012.0.html">RTLWS</a></td><td>Chapel Hill, NC</td><td>Oct. 18 – 20, 2012</td></tr> |
| 49 | <tr><td style="">Apr. 15, 2011</td><td><a href="http://www.rtcsa.org">RTCSA</a></td><td>Toyama, Japan</td><td>Aug. 29-31, 2011</td></tr> | 49 | <tr><td>TBD</td><td><a href="http://rtns2011.irccyn.ec-nantes.fr/#page=home">RTNS</a></td><td>Nancy, France</td><td>Nov. 8 – 9, 2012</td></tr> |
| 50 | <tr><td style="">Jun. 30, 2011</td><td><a href="http://trust.csu.edu.cn/conference/icess2011/">ICESS</a></td><td>Changsha, China</td><td>Nov. 16-18, 2011</td></tr> | ||
| 51 | |||
| 52 | </table> | 50 | </table> |
| 53 | </div> | 51 | </div> |
| 54 | </div> | 52 | </div> |