|
|
Email:
riccardo@ccs.neu.edu
|
College of Computer and
Information Science
Room 328 WVH
Northeastern University
360 Huntington Avenue
Boston, MA 02115
Phone: +1 617 373 2076
Fax: +1 617 373 5121
|
|
|
|
|
|
|
|
Call for Papers
| Conference |
Location |
Submission Deadline |
Date |
| TACAS'07 | Braga, Portugal | Oct 6, 2006 (abstract) | Mar 24-Apr 1, 2007
|
| ESOP'07 | Braga, Portugal | Oct 6, 2006 (abstract) | Mar 24-Apr 1, 2007
|
| FOSSACS'07 | Braga, Portugal | Oct 6, 2006 (abstract) | Mar 24-Apr 1, 2007
|
| SSP'07 | Oakland, CA | Nov 10, 2007 | May 20-23, 2007
|
| QAPL'07 | Braga, Portugal | Dec 14, 2006 | Mar 24-25, 2007
|
| MFPS'07 | New Orleans, LA | Dec 15, 2006 (abstract) | Apr 11-14, 2007
|
| WITS'07 | Braga, Portugal | Dec 15, 2006 | Mar 24-25, 2007
|
| TLCA'07 | Paris, France | Dec 22, 2006 (abstract) | Jun 26-28, 2007
|
| LICS'07 | Wroclaw, Poland | Jan 15, 2007 (abstract) | Jul 10-14, 2007
|
| CAV'07 | Berlin, Germany | Jan 28, 2007 | Jul 3-7, 2007
|
| TARK'07 | Brussels, Belgium | Jan 30, 2007 | Jun 25-27, 2007
|
| AAAI'07 | Vancouver, Canada | Feb 1, 2007 (abstract) | Jul 22-26, 2007
|
| CSF'07 | Venice, Italy | Feb 5, 2007 | Jul 6-8, 2007
|
See also:
Upcoming Conferences
| Conference |
Location |
Date |
| ML'06 | Portland, OR | Sep 16, 2006
|
| ICFP'06 | Portland, OR | Sep 18-20, 2006
|
| ESORICS'06 | Hamburg, Germany | Sep 18-20, 2006
|
| CSL'06 | Szeged, Hungary | Sep 25-29, 2006
|
| OOPSLA'06 | Portland, OR | Oct 22-26, 2006
|
| CCS'06 | Alexandria, VA | Oct 30-Nov 3
|
Past Conferences
| Conference |
Location |
Date |
| TLDI'05 | Long Beach, CA | January 10, 2005
|
| POPL'05 | Long Beach, CA | January 12-14, 2005
|
| VMCAI'05 | Paris, France | January 17-20, 2005
|
| RelMiCS-8 | St. Catharines, Canada | February 22-26, 2005
|
| STACS'05 | Stuttgart, Germany | February 24-26, 2005
|
| FC'05 | Roseau, The Commonwealth Of Dominica | February 28-March 3, 2005
|
| ETAPS'05 | Edinburgh, Scotland | April 2-10, 2005
|
| CMSB'05 | Edinburgh, Scotland | April 3-5, 2005
|
| TLCA'05 | Nara, Japan | April 21-23, 2005
|
| MFPS'05 | Egbaston, UK | May 18-21, 2005
|
| STOC'05 | Baltimore, MD | May 22-24, 2005
|
| TARK'05 | Singapore | June 10-12, 2005
|
| CSFW'05 | Aix-en-Provence, France | June 20-22, 2005
|
| LCC'05 | Chicago, IL | June 24-25, 2005
|
| LICS'05 | Chicago, Illinois | June 26-29, 2005
|
| IMLA'05 | Chicago, IL | June 30, 2005
|
| FCS'05 | Chicago, IL | June 30-July 1, 2005
|
| Progic'05 | London, England | July 6-8, 2005
|
| CAV'05 | Edinburgh, Scotland | July 6-10, 2005
|
| PPDP'05 | Lisboa, Portugal | July 11-13, 2005
|
| ICALP'05 | Lisboa, Portugal | July 11-15, 2005
|
| FAST'05 | Newcastle, UK | July 18-19, 2005
|
| FM'05 | Newcastle upon Tyne, UK | July 18-22, 2005
|
| CADE'05 | Tallinn, Estonia | July 22-July 27
|
| AAAI'05 | Pittsburgh, PA | July 24-28, 2005
|
| UAI'05 | Edinburgh, Scotland | July 26-29, 2005
|
| IJCAI'05 | Edinburgh, Scotland | July 30-August 5, 2005
|
| Belief Revision and Dynamic Logic | Edinburgh, Scotland | August 15-19, 2005
|
| CSL'05 | Oxford, England | August 22-25, 2005
|
| CONCUR'05 | San Francisco, CA | August 23-26, 2005
|
| DisCoVeri'05 | San Francisco, CA | August 26, 2005
|
| MFCS'05 | Gdansk, Poland | August 29-September 2, 2005
|
| CALCO'05 | Swansea, Wales | September 3-6, 2005
|
| ESORICS'05 | Milan, Italy | September 14-16, 2005
|
| ICFP'05 | Tallinn, Estonia | September 26-28, 2005
|
| ML'05 | Tallinn, Estonia | September 29, 2005
|
| MoveLog'05 | Sitges, Spain | October 5, 2005
|
| CCS'05 | Alexandria, VA | November 7-11, 2005
|
| FMSE'05 | Alexandria, VA | November 11, 2005
|
| SWS'05 | Fairfax, VA | November 11, 2005
|
| M4M'05 | Berlin, Germany | December 1-2, 2005
|
| LPAR'05 | Montego Bay, Jamaica | December 2-6, 2005
|
| FSTTCS'05 | Hyderabad, India | December 15-18, 2005
|
| PADL'06 | Charleston, SC | January 9-10
|
| POPL'06 | Charleston, SC | January 11-13, 2006
|
| FOOL'06 | Charleston, SC | January 14, 2006
|
| ETAPS'06 | Vienna, Austria | March 25-April 2, 2006
|
| AAMAS'06 | Hakodate, Japan | May 8-12, 2006
|
| SEC'06 | Karlstad, Sweden | May 22-24, 2006
|
| MFPS'06 | Genova, Italy | May 24-27, 2006
|
| KR'06 | Lake District of the U.K. | June 2-5, 2006
|
| PLAS'06 | Ottawa, Canada | June 10, 2006
|
| EC'06 | Ann Arbor, MI | June 13-15, 2006
|
| QAPL'06 | Vienna, Austria | April 1-2, 2006
|
| WITS'06 | Vienna, Austria | March 25-26, 2006
|
| FMOODS'06 | Bologna, Italy | June 14-16, 2006
|
| MPC'06 | Kuressaare, Estonia | July 3-5, 2006
|
| CSFW'06 | Venice, Italy | July 5-7, 2006
|
| FCC'06 | Venice, Italy | July 9, 2006
|
| ICALP'06 | Venice, Italy | July 9-16, 2006
|
| UAI'06 | Boston, MA | July 13-16, 2006
|
| AAAI'06 | Boston, MA | July 16-20, 2006
|
| QPL'06 | Oxford, England | July 17-19, 2006
|
| RTA'06 | Seattle, WA | August 12-14, 2006
|
| LICS'06 | Seattle, WA | August 12-15, 2006
|
| FCS-ARSPA'06 | Seattle, WA | August 15-16, 2006
|
| VERIFY'06 | Seattle, WA | August 15-16, 2006
|
| CAV'06 | Seattle, WA | August 16-21, 2006
|
| IJCAR'06 | Seattle, WA | August 16-21, 2006
|
| FM'06 | Hamilton, Ontario, Canada | August 21-27, 2006
|
| MFCS'06 | High Tatra, Slovakia | August 28-September 1, 2006
|
| JELIA'06 | Liverpool, UK | September 13-15, 2006
|
|
|