Zvonimir Rakamaric
Graduate StudentDepartment of Computer Science
University of British Columbia
2366 Main Mall
Vancouver, BC V6T 1Z4
Canada
email:
|
|
Zvonimir RakamaricGraduate StudentDepartment of Computer Science University of British Columbia 2366 Main Mall Vancouver, BC V6T 1Z4 Canada email:
|
| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| ICSE 2009 | 31st International Conference on Software Engineering | May 16-24, 2009 | Vancouver, Canada | ||
| August 22, 2008 | VMCAI 2009 | 10th International Conference on Verification, Model Checking and Abstract Interpretation | January 18-20, 2009 | Savannah, GA, USA | |
| July 15, 2008 | July 8, 2008 | POPL 2009 | 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages | January 21-23, 2009 | Savannah, GA, USA |
| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| July 16, 2008 | HVC 2008 | Haifa Verification Conference 2008 | October 27-30, 2008 | IBM Haifa Labs, Israel | |
| June 27, 2008 | APLAS 2008 | 6th Asian Symposium on Programming Languages and Systems | December 9-11, 2008 | Bangalore, India | |
| June 6, 2008 | SBMF 2008 | 11th Brazilian Symposium on Formal Methods | August 26-29, 2008 | Salvador, Bahia, Brazil | |
| May 31, 2008 | May 22, 2008 | SEFM 2008 | 6th IEEE International Conference on Software Engineering and Formal Methods | November 10-14, 2008 | Cape Town, South Africa |
| May 22, 2008 | May 15, 2008 | VERIFY 2008 | 5th International Verification Workshop | August 10-11, 2008 | Sydney, Australia |
| May 5, 2008 | ATVA 2008 | 6th International Symposium on Automated Technology for Verification and Analysis | October 20-23, 2008 | Seoul, South Korea | |
| April 28, 2008 | BPR 2008 | 1st International Workshop on Bit-Precise Reasoning | July 14, 2008 | Princeton, NJ, USA | |
| April 23, 2008 | SMT 2008 | 6th International Workshop on Satisfiability Modulo Theories | July 7-8, 2008 | Princeton, NJ, USA | |
| April 21, 2008 | ICFEM 2008 | 10th International Conference on Formal Engineering Methods | October 27-31, 2008 | Kitakyushu-city, Japan | |
| April 11, 2008 | ICTAC 2008 | 5th International Colloquium on Theoretical Aspects of Computing | September 1-3, 2008 | Istanbul, Turkey | |
| April 11, 2008 | April 4, 2008 | CONCUR 2008 | 19th International Conference on Concurrency Theory | August 19-22, 2008 | Toronto, Canada |
| April 4, 2008 | March 28, 2008 | ASE 2008 | 23rd IEEE/ACM International Conference on Automated Software Engineering | September 15-19, 2008 | L'Aquila, Italy |
| March 7, 2008 | FSE 2008 | 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering | November 9-15, 2008 | Atlanta, GA, USA | |
| March 3, 2008 | February 22, 2008 | IJCAR 2008 | 4th International Joint Conference on Automated Reasoning | August 12-15, 2008 | Sydney, Australia |
| February 11, 2008 | February 4, 2008 | RTA 2008 | 19th International Conference on Rewriting Techniques and Applications | July 15-17, 2008 | Hagenberg, Austria |
| January 31, 2008 | ISSTA 2008 | International Symposium on Software Testing and Analysis | July 20-24, 2008 | Seattle, WA, USA | |
| January 28, 2008 | CAV 2008 | 20th International Conference on Computer Aided Verification | July 7-13, 2008 | Princeton, NJ, USA | |
| January 19, 2008 | January 12, 2008 | SAS 2008 | 15th International Static Analysis Symposium | July 16-18, 2008 | Valencia, Spain |
| January 14, 2008 | January 7, 2008 | LICS 2008 | 23rd Annual IEEE Symposium on Logic in Computer Science | June 24-27, 2008 | Pittsburgh, Pennsylvania, USA |
| November 15, 2007 | November 12, 2007 | PLDI 2008 | ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation | June 7-13, 2008 | Tucson, Arizona, USA |
| November 10, 2007 | FM 2008 | 15th International Symposium on Formal Methods | May 26-30, 2008 | Turku, Finland | |
| October 19, 2007 | SSV 2008 | 3rd International Workshop on Systems Software Verification | February 25-26, 2008 | Sydney, Australia | |
| ETAPS 2008 | The European Joint Conferences on Theory and Practice of Software | March 29 - April 6, 2008 | Budapest, Hungary | ||
| October 12, 2007 | October 5, 2007 | TACAS 2008 | 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | March 29 - April 6, 2008 | Budapest, Hungary |
| October 12, 2007 | October 5, 2007 | FOSSACS 2008 | 11th International Conference on Foundations of Software Science and Computation Structures | March 29 - April 6, 2008 | Budapest, Hungary |
| October 12, 2007 | October 5, 2007 | FASE 2008 | Fundamental Approaches to Software Engineering | March 29 - April 6, 2008 | Budapest, Hungary |
| October 12, 2007 | October 5, 2007 | ESOP 2008 | 17th European Symposium on Programming | March 29 - April 6, 2008 | Budapest, Hungary |
| September 21, 2007 | September 14, 2007 | EuroSys 2008 | European Conference on Computer Systems | April 1-4, 2008 | Glasgow, Scotland |
| September 17, 2007 | September 17, 2007 | ISEC 2008 | 1st India Software Engineering Conference | February 19-22, 2008 | Hyderabad, India |
| September 14, 2007 | VMCAI 2008 | 9th International Conference on Verification, Model Checking and Abstract Interpretation | January 7-9, 2008 | San Francisco, CA, USA | |
| September 14, 2007 | ICSE 2008 | 30th International Conference on Software Engineering | May 10-18, 2008 | Leipzig, Germany | |
| July 16, 2007 | POPL 2008 | 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages | January 10-12, 2008 | San Francisco, CA, USA |
| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| July 5, 2007 | HVC 2007 | Haifa Verification Conference 2007 | October 23-25, 2007 | IBM Haifa Labs, Israel | |
| June 15, 2007 | APLAS 2007 | 5th Asian Symposium on Programming Languages and Systems | November 29 - December 1, 2007 | Singapore | |
| June 11, 2007 | June 4, 2007 | ASE 2007 | 22nd IEEE/ACM International Conference on Automated Software Engineering | November 5-9, 2007 | Atlanta, Georgia, USA |
| June 11, 2007 | June 4, 2007 | LPAR 2007 | 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning | October 15-19, 2007 | Yerevan, Armenia |
| June 4, 2007 | QSIC 2007 | 7th International Conference on Quality Software | October 11-12, 2007 | Portland, Oregon, USA | |
| May 28, 2007 | ICFEM 2007 | 9th International Conference on Formal Engineering Methods | November 14-15, 2007 | Boca Raton, Florida, USA | |
| May 15, 2007 | SBMF 2007 | 10th Brazilian Symposium on Formal Methods | August 29-31, 2007 | Ouro Preto, Brazil | |
| May 14, 2007 | ATVA 2007 | 5th International Symposium on Automated Technology for Verification and Analysis | October 22-25, 2007 | Tokyo, Japan | |
| May 7, 2007 | April 30, 2007 | FMCAD 2007 | International Conference on Formal Methods in Computer-Aided Design | November 11-14, 2007 | Austin, TX, USA |
| April 23, 2007 | SMT 2007 | 5th International Workshop on Satisfiability Modulo Theories | July 1-2, 2007 | Berlin, Germany | |
| April 20, 2007 | ICTAC 2007 | 4th International Colloquium on Theoretical Aspects of Computing | September 26-29, 2007 | Macao SAR, China | |
| April 2, 2007 | March 26, 2007 | CONCUR 2007 | 18th International Conference on Concurrency Theory | September 4-7, 2007 | Lisbon, Portugal |
| March 31, 2007 | March 19, 2007 | SEFM 2007 | 5th IEEE International Conference on Software Engineering and Formal Methods | September 10-14, 2007 | London, UK |
| March 30, 2007 | March 26, 2007 | SAS 2007 | 14th International Static Analysis Symposium | August 22-24, 2007 | Kongens Lyngby, Denmark |
| March 19, 2007 | ESEC/FSE 2007 | 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering | September 3-7, 2007 | Dubrovnik, Croatia | |
| March 5, 2007 | FCT 2007 | 16th International Symposium on Fundamentals of Computation Theory | August 27-30, 2007 | Budapest, Hungary | |
| February 23, 2007 | February 16, 2007 | CADE 2007 | 21st Conference on Automated Deduction | July 17-20, 2007 | Bremen, Germany |
| February 5, 2007 | IFM 2007 | 6th International Conference on Integrated Formal Methods | July 2-6, 2007 | Oxford, UK | |
| January 31, 2007 | ISSTA 2007 | International Symposium on Software Testing and Analysis | July 9-12, 2007 | London, UK | |
| January 28, 2007 | CAV 2007 | 19th International Conference on Computer Aided Verification | July 3-7, 2007 | Berlin, Germany | |
| January 26, 2007 | RV 2007 | 7th Workshop on Runtime Verification | March 13, 2007 | Vancouver, Canada | |
| January 22, 2007 | January 15, 2007 | LICS 2007 | 22nd Annual IEEE Symposium on Logic in Computer Science | July 10-14, 2007 | Wroclaw, Poland |
| January 4, 2007 | HAV 2007 | Heap Analysis and Verification Workshop | March 25, 2007 | Braga, Portugal | |
| November 14, 2006 | November 7, 2006 | PLDI 2007 | ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation | June 10-13, 2007 | San Diego, CA |
| ETAPS 2007 | The European Joint Conferences on Theory and Practice of Software | March 24 - April 1, 2007 | Braga, Portugal | ||
| October 13, 2006 | October 6, 2006 | TACAS 2007 | 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | March 24 - April 1, 2007 | Braga, Portugal |
| October 13, 2006 | October 6, 2006 | ESOP 2007 | 16th European Symposium on Programming | March 24 - April 1, 2007 | Braga, Portugal |
| October 13, 2006 | October 6, 2006 | FOSSACS 2007 | 10th International Conference on Foundations of Software Science and Computation Structures | March 24 - April 1, 2007 | Braga, Portugal |
| October 13, 2006 | October 6, 2006 | FASE 2007 | Fundamental Approaches to Software Engineering | March 24 - April 1, 2007 | Braga, Portugal |
| September 29, 2006 | VMCAI 2007 | 8th International Conference on Verification, Model Checking and Abstract Interpretation | January 14-16, 2007 | Nice, France | |
| September 16, 2006 | September 9, 2006 | EuroSys 2007 | 2nd European Conference on Computer Systems | March 21-23, 2007 | Lisbon, Portugal |
| September 13, 2006 | SAC 2007 | ACM Symposium on Applied Computing | March 11-15, 2007 | Seoul, Korea | |
| September 8, 2006 | ICSE 2007 | 29th International Conference on Software Engineering | March 20-26, 2007 | Minneapolis, USA | |
| July 15, 2006 | POPL 2007 | 34th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages | January 17-19, 2007 | Nice, France |
| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| June 11, 2006 | June 2, 2006 | APLAS 2006 | 4th Asian Symposium on Programming Languages and Systems | November 8-10, 2006 | Sydney, Australia |
| June 3, 2006 | May 27, 2006 | ATVA 2006 | 4th International Symposium on Automated Technology for Verification and Analysis | October 23-26, 2006 | Beijing, China |
| May 12, 2006 | ICFEM 2006 | 8th International Conference on Formal Engineering Methods | November 1-2, 2006 | Macau | |
| May 1, 2006 | April 28, 2006 | FMCAD 2006 | International Conference on Formal Methods in Computer-Aided Design | November 12-16, 2006 | San Jose, CA, USA |