[Hol-info] SecTest2012: Call for Participation

2012-03-22 Thread avantssar
(Apologies if you receive this announcement multiple times) CALL FOR PARTICIPATION SECTEST 2012: the 3nd International Workshop on Security Testing Co-located with ICST 2012 (The 5th Int. Conference on Software Testing, Verification and Validation) Montreal, Canad

[Hol-info] SecTest2012: 2nd Call for Papers

2012-02-01 Thread avantssar
(Apologies if you receive this announcement multiple times) * *** *** By popular request, the submission deadline *** is extended to February 06. ***

[Hol-info] SecTest2012: 2nd Call for Papers

2012-01-09 Thread avantssar
(Apologies if you receive this announcement multiple times) CALL FOR PAPERS The 3nd International Workshop on Security Testing (SECTEST 2012) Co-located with ICST 2012 (The 5th Int. Conference on Software Testing, Verification and Validation) Montreal, Canada, Ap

[Hol-info] SecTest2012: Call for Papers

2011-12-06 Thread avantssar
(Apologies if you receive this announcement multiple times) CALL FOR PAPERS The 3nd International Workshop on Security Testing (SECTEST 2012) Co-located with ICST 2012 (The 5th Int. Conference on Software Testing, Verification and Validation) Montreal, Canada, Ap

[Hol-info] SecTest2011: Call for Papers (deadline extended to Jan 4, 2011)

2010-12-22 Thread avantssar
Due to popular request and the holiday break, the deadline is extended to Jan 4, 2011 (Apologies if you receive this announcement multiple times) CALL FOR PAPERS The 2nd International Workshop on Security Testing (SECTEST 2011) Berlin, Germany, March 25, 2011 Co-lo

[Hol-info] SecTest2011: Call for Papers

2010-12-04 Thread avantssar
(Apologies if you receive this announcement multiple times) CALL FOR PAPERS The 2nd International Workshop on Security Testing (SECTEST 2011) Berlin, Germany, March 25, 2011 Co-located with ICST 2011 (The 4th Int. Conference on Software Testing, Verification and Val

[Hol-info] SecTest2011: Call for Papers

2010-11-01 Thread avantssar
CALL FOR PAPERS The 2nd International Workshop on Security Testing (SECTEST 2011) Co-located with ICST 2011 (The 4th Int. Conference on Software Testing, Verification and Validation) Berlin, Germany, March 21-25, 2011 http://www.avantssar.eu/sectest2011/ SUBMISSION

[Hol-info] Final CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning

2009-04-09 Thread avantssar
(Apologies if you receive this announcement multiple times) Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning http://www.avantssar.eu/jar-cs09 *** *** CALL FOR PAPERS *** *** BACKGROUND AND S

[Hol-info] FCS'09: call for papers

2009-03-17 Thread avantssar
(Apologies if you receive this announcement multiple times) CALL FOR PAPERS FCS'09 Workshop on Foundations of Computer Security http://www.loria.fr/~cortier/FCS09/ August 9-10, 2009, Los Angeles, California, USA Affiliated with LICS'09. IMPORTANT DATES Pape

[Hol-info] Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning

2009-03-07 Thread avantssar
(Apologies if you receive this announcement multiple times) Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning http://www.avantssar.eu/jar-cs09 *** *** CALL FOR PAPERS *** *** BACKGROUND AND S

[Hol-info] ARSPA-WITS'09: deadline extension

2009-01-09 Thread avantssar
no` (Universita` di Verona, Italy; co-chair) ADDITIONAL INFORMATION === The workshop is supported by the projects AVANTSSAR, REGIS and SENSORIA. -- Check out the new SourceForge.net Marketplace. It is the best p

[Hol-info] ARSPA-WITS'09: second call for papers

2008-12-12 Thread avantssar
rsity, UK) Catherine Meadows (Naval Research Laboratory, USA) Jonathan Millen (MITRE, USA) Sebastian Moedersheim (IBM Zurich Research Lab, Switzerland) Mark Ryan (University of Birmingham, UK) Luca Vigano` (Universita` di Verona, Italy; co-chair) ADDITIONAL INFORMATION === T

[Hol-info] ARSPA-WITS'09: call for papers

2008-11-09 Thread avantssar
ION === The workshop is supported by the projects AVANTSSAR, REGIS and SENSORIA. - This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications

[Hol-info] ARSPA-WITS'09: call for papers

2008-11-05 Thread avantssar
rsity, UK) Catherine Meadows (Naval Research Laboratory, USA) Jonathan Millen (MITRE, USA) Sebastian Moedersheim (IBM Zurich Research Lab, Switzerland) Mark Ryan (University of Birmingham, UK) Luca Vigano` (Universita` di Verona, Italy; co-chair) ADDITIONAL INFORMATION === T