Paper Accepted: Automated Verification of Multi-Agent Programs
We are happy to inform you that your paper entitled
"Automated Verification of Multi-Agent Programs"
has been accepted as a FULL PAPER for ASE 2008. The acceptance rate for long
papers was 12% (34/280).
Really pleased about this (and not just the 12% bit). This was the major conference paper planned to come out of this project so its good its been accepted and bodes well for the journal paper on the material I'm probably going to spend the summer writing.
"Automated Verification of Multi-Agent Programs"
has been accepted as a FULL PAPER for ASE 2008. The acceptance rate for long
papers was 12% (34/280).
Really pleased about this (and not just the 12% bit). This was the major conference paper planned to come out of this project so its good its been accepted and bodes well for the journal paper on the material I'm probably going to spend the summer writing.