tag:blogger.com,1999:blog-27705661.post5914784147323724860..comments2023-10-28T10:58:57.140+00:00Comments on Process Algebra Diary: General Assembly of the EATCS at ICALP 2008Luca Acetohttp://www.blogger.com/profile/01092671728833265127noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-27705661.post-43356522082019103502008-07-21T16:23:00.000+00:002008-07-21T16:23:00.000+00:00No, there was no explanation offered for the lack ...No, there was no explanation offered for the lack of papers on formal specification and verification of security protocols. Ivan simply mentioned this fact as a curiousity. I suspect that this was just a statistical fluctuation. However, it is also possible that ICALP track C is not considered to be the best venue for papers in that area. <BR/><BR/>Note that track C of ICALP 2009 will be devoted to a new theme, namely Foundations of Networked Computation: Models, Algorithms and Information Management (Alberto Marchetti Spaccamela and Yossi Matias co-chairs). See <A HREF="http://icalp09.cti.gr/index.php/Main/CallForPapers#TrackC" REL="nofollow">here</A> for details.Luca Acetohttps://www.blogger.com/profile/01092671728833265127noreply@blogger.comtag:blogger.com,1999:blog-27705661.post-27704582922397221752008-07-21T15:38:00.000+00:002008-07-21T15:38:00.000+00:00Regarding Ivan Damgaard's comment that "no accepte...Regarding Ivan Damgaard's comment that "no accepted paper for track C dealt with the formal specification and verification of security protocols": did anybody suggest why that might have been the case? A statistical fluctuation? Not an interesting problem? Too difficult a problem?Anonymousnoreply@blogger.com