summaryrefslogtreecommitdiffstats
path: root/conferences.html
diff options
context:
space:
mode:
authorChristopher Kenna <cjk@cs.unc.edu>2012-01-09 15:29:29 -0500
committerChristopher Kenna <cjk@cs.unc.edu>2012-01-09 15:31:08 -0500
commitde17015c56f9328769b9724a621af9c711a84d74 (patch)
treeb423d0727757cf42877d968151bdcb571e51c915 /conferences.html
parenta4c5586d293dc6d89105e654bba18784ba045fdc (diff)
Update conferences page and add conference generation script
Diffstat (limited to 'conferences.html')
-rw-r--r--conferences.html38
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&nbsp;16,&nbsp;2010</td><td><a href="http://www.rtss.org">RTSS</a></td><td>San Diego, CA</td><td>Dec.&nbsp;1-3,&nbsp;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 &ndash; 14, 2011</td></tr>
35 <tr><td style="color: red">Jun.&nbsp;6,&nbsp;2010</td><td><a href="http://www.irit.fr/rtns2010">RTNS</a></td><td>Toulouse, FR</td><td>Nov.&nbsp;4-5,&nbsp;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 &ndash; 16, 2011</td></tr>
36 <tr><td style="color: red">July&nbsp;25,&nbsp;2010</td><td><a href="http://www.opodis.net">OPODIS</a></td><td>Tozeur, Tunisia</td><td>Dec.&nbsp;14-17,&nbsp;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 &ndash; 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.&nbsp;6-7,&nbsp;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 &ndash; 25, 2012</td></tr>
38 <tr><td style="color: red">Oct.&nbsp;1,&nbsp;2010</td><td><a href="http://www.ipdps.org">IPDPS</a></td><td>Anchorage, AK</td><td>May&nbsp;16-20,&nbsp;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 &ndash; 19, 2012</td></tr>
39 <tr><td style="color: red">Oct.&nbsp;8,&nbsp;2010</td><td><a href="http://www.rtas.org/">RTAS</a></td><td>Chicago, Il</td><td>Apr.&nbsp;11-14,&nbsp;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 &ndash; 13, 2012</td></tr>
40 <tr><td style="color: red">Oct.&nbsp;10,&nbsp;2010</td><td><a href="http://eurosys2011.cs.uni-salzburg.at/">EuroSys</a></td><td>Salzburg,&nbsp;Austria</td><td>Apr.&nbsp;10-13,&nbsp;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 &ndash; 5, 2012</td></tr>
41 <tr><td style="color: red">Oct.&nbsp;14,&nbsp;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&nbsp;Beach,&nbsp;CA</td><td>Mar.&nbsp;31&nbsp;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.&nbsp;19,&nbsp;2010</td><td><a href="http://lars-lab.jpl.nasa.gov/nfm2011">NASA Formal Methods Symposium</a></td><td>Pasadena,&nbsp;CA</td><td>Apr. 18-20,&nbsp;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 &ndash; 13, 2012</td></tr>
43 <tr><td>Jan.&nbsp;23,&nbsp;2011</td><td><a href="http://www.cister.isep.ipp.pt/ecrts11/">ECRTS</td><td>Porto, Portugal</td><td>Jul.&nbsp;5-8&nbsp;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 &ndash; 22, 2012</td></tr>
44 <tr><td style="">Feb.&nbsp;8,&nbsp;2011</td><td><a href="http://apres2011.uwaterloo.ca/">APRES</a></td><td>Chigago,&nbsp;IL</td><td>Apr.&nbsp;11,&nbsp;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 &ndash; 13, 2012</td></tr>
45 <tr><td>Feb.&nbsp;20,&nbsp;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.&nbsp;15-17,&nbsp;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 &ndash; 21, 2012</td></tr>
46 <tr><td style="">Feb.&nbsp;24,&nbsp;2011</td><td><a href="http://icpp2011.org">ICPP</a></td><td>Taipei, Taiwan</td><td>Sep.&nbsp;13-16,&nbsp;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 &ndash; 22, 2012</td></tr>
47 <tr><td style="">Mar.&nbsp;21,&nbsp;2011</td><td><a href="http://www.etfa-2011.org">ETFA</a></td><td>Toulouse, FR</td><td>Sep.&nbsp;5-9,&nbsp;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 &ndash; 7, 2012</td></tr>
48 <tr><td style="">Apr.&nbsp;4,&nbsp;2011</td><td><a href="http://emsoft2011.uwaterloo.ca/index.shtml">EMSOFT</a></td><td>Taipei, Taiwan</td><td>Oct.&nbsp;9-14,&nbsp;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 &ndash; 20, 2012</td></tr>
49 <tr><td style="">Apr.&nbsp;15,&nbsp;2011</td><td><a href="http://www.rtcsa.org">RTCSA</a></td><td>Toyama, Japan</td><td>Aug.&nbsp;29-31,&nbsp;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 &ndash; 9, 2012</td></tr>
50 <tr><td style="">Jun.&nbsp;30,&nbsp;2011</td><td><a href="http://trust.csu.edu.cn/conference/icess2011/">ICESS</a></td><td>Changsha,&nbsp;China</td><td>Nov.&nbsp;16-18,&nbsp;2011</td></tr>
51
52 </table> 50 </table>
53 </div> 51 </div>
54 </div> 52 </div>