*****************************************************
Dear Colleagues,
Together with Reyhan Jabbarvand, Earl Barr, and Satish Chandra, we would like to invite you to submit your research papers to the InteNSE'23, the 1st International Workshop on Interpretability and Robustness in Neural Software Engineering. We welcome papers in different aspects of software/code, including code completion and synthesis, program analysis, software testing and debugging, formal verification and proof synthesis, neurosymbolic programming, and prompting.
The call for the paper is attached. Please also see the workshop website for more information: https://intense23.github.io/
Please let me know if you have any questions,
Thank You,
Saeid Tizpaz-Niari