<div dir="ltr">Dear Colleagues,<br><br>Greetings! We are pleased to announce the first annual AIPLANS workshop, to be held this December 14th at NeurIPS 2021. AIPLANS will feature exciting new research on the frontiers of programming language theory, mechanized reasoning, and neural-symbolic learning. For illustrative purposes, we welcome submissions related to one the following areas:<br><br>Mechanized reasoning<br>- Induction of formal languages (e.g., grammar inference, automata extraction)<br>- Programing language theory (e.g., type theory, category theory, denotational semantics)<br>- Satisfiability checking and symbolic computation (e.g. SAT/SMT solving, Boolean circuits)<br>- Logic and equational reasoning (e.g., λ-calculus, π-calculus, tensor and combinator calculi)<br><br>Machine learning<br>- Neural program synthesis (e.g., search-based, syntax or execution-guided)<br>- Bayesian program learning (e.g., higher-order probabilistic programming)<br>- Neural-symbolic reasoning (e.g., automated program verification and testing)<br>- Neural program extraction (e.g., procedural or relational knowledge distillation)<br>- Inference algorithms (e.g., backpropagation, belief propagation, survey propagation et al.)<br><br>Programming language implementation<br>- Natural language programming (e.g., machine teaching, programming by example)<br>- Declarative programming (e.g., tabled LP, ILP, constraint programming et al.)<br>- New programming languages for reasoning (e.g., LF/Twelf, HOL, miniKanren, L∃∀N, et al.)<br>- New programming languages for learning (e.g., Dex, Hasktorch, Torch-Struct, et al.)<br><br>If you or someone you may know is working on one of these topics, we would be very glad to have your/their participation! Our call for papers will close Oct. 4th, 2021 AoE. AIPLANS is non-archival and allows dual submission where permitted by a third-party. Further details may be found at the following URL:<br><br><a href="https://urldefense.com/v3/__https://aiplans.github.io/callforpapers/__;!!IBzWLUs!DjxJPonv114vMQC_NU49JrRlMsAKdv-Np-T8xHsLmqJZ1XovksYX7lZY5qtz8gybapOQNkZbZAWqVA$">https://aiplans.github.io/callforpapers/</a><br><br>AIPLANS is also seeking qualified reviewers working in these or related areas. If you would be interested in helping review workshop submissions, please consider filling out and submitting this form and one of the organizers will be in touch with you shortly:<br><br><a href="https://urldefense.com/v3/__https://forms.gle/FMtc4AfaMWeo8YFp8__;!!IBzWLUs!DjxJPonv114vMQC_NU49JrRlMsAKdv-Np-T8xHsLmqJZ1XovksYX7lZY5qtz8gybapOQNkaprsELYw$">https://forms.gle/FMtc4AfaMWeo8YFp8</a><br><br>Should you have any inquiries or suggestions, please do not hesitate to reach out to us officially at <a href="mailto:aiplans2021@gmail.com">aiplans2021@gmail.com</a> or contact one of the organizers and we would be eager to assist. Thank you for your consideration. On behalf of all of us at AIPLANS, we are excited to hear about your research and look forward to your participation!<br><br>Best regards,<br><br>Breandan Considine<br>On behalf of the AIPLANS organizers: Disha Shrivastava, David Yu-Tung Hui, Chin-Wei Huang and Shawn Tan<br></div>