Hi all, A quick reminder: the early registration deadline is approaching fast - tomorrow, 10th August.
Looking forward to welcome you in person. The KLEE 2022 Organisers > On 29. Jul 2022, at 16:00, Nowack, Martin <m.now...@imperial.ac.uk> wrote: > > Hi all, > > We are delighted to host this September the 3rd International KLEE Workshop > on Symbolic Execution at Imperial: > > 3rd International KLEE Workshop on Symbolic Execution > 15–16 September 2022 • London, UK and Online > https://srg.doc.ic.ac.uk/klee22/ > > In-person registration is now open at > https://srg.doc.ic.ac.uk/klee22/registration.html. Early registration closes > 10th August. > > Following on the first two successful KLEE workshops in 2018 and 2021, which > have brought together people from six different continents spanning academia, > industry and government, one of the main goals of the workshop is to get > together KLEE developers and users to exchange ideas, understand each other’s > interests and needs, and discuss the evolution of KLEE. A particular > emphasis will be placed on connecting academic researchers working with KLEE > and symbolic execution with industrial users interested in using KLEE to > improve their software products. > > While a particular emphasis will be placed on the KLEE ecosystem, the > workshop will also discuss recent developments in symbolic execution and > related areas, such as fuzzing and constraint solving. > > The workshop has an exciting line-up of keynotes, regular presentations and > posters: > https://srg.doc.ic.ac.uk/klee22/keynotes.html. > https://srg.doc.ic.ac.uk/klee22/accepted_contributions.html > > Big thanks to our sponsors this year: Bloomberg, Samsung, Google, Qualcomm, > Trail Of Bits and Imperial College London! > > We are looking forward to welcome you in person. > > The KLEE 2022 Organisers _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
