https://eapls.org/2025-06-26monthly0.5https://eapls.org/eapls/what-is-eapls/2025-06-12monthly0.5https://eapls.org/eapls/what-is-eapls/vote-scope/2025-06-12monthly0.5https://eapls.org/eapls/what-is-eapls/vote-results/2025-06-12monthly0.5https://eapls.org/eapls/what-is-eapls/constitution/2025-06-12monthly0.5https://eapls.org/eapls/what-is-eapls/draft-constitution/2025-06-12monthly0.5https://eapls.org/eapls/news/2025-05-27monthly0.5https://eapls.org/eapls/board/2025-06-12monthly0.5https://eapls.org/eapls/board/elections-2010/2025-06-12monthly0.5https://eapls.org/eapls/board/elections-2015/2025-06-12monthly0.5https://eapls.org/eapls/board/elections-2020/2025-06-12monthly0.5https://eapls.org/eapls/best-phd-dissertation-award/2025-06-12monthly0.5https://eapls.org/eapls/best-phd-dissertation-award/expert-committee/2025-06-12monthly0.5https://eapls.org/eapls/best-paper-awards/2025-07-07monthly0.5https://eapls.org/eapls/best-paper-awards-guidelines/2025-06-12monthly0.5https://eapls.org/eapls/artifact-badges/2025-06-12monthly0.5https://eapls.org/eapls/sponsored-conferences/2025-06-12monthly0.5https://eapls.org/eapls/support-for-workshops/2025-06-12monthly0.5https://eapls.org/eapls/journals/2025-06-12monthly0.5https://eapls.org/eapls/statutes/2025-06-16monthly0.5https://eapls.org/eapls/statutes/statutes-in-dutch/2025-06-12monthly0.5https://eapls.org/links/2025-07-08monthly0.5https://eapls.org/research/2025-06-12monthly0.5https://eapls.org/research/conferences/2025-06-12monthly0.5https://eapls.org/research/workshops/2025-06-12monthly0.5https://eapls.org/research/events/2025-06-12monthly0.5https://eapls.org/publications/2025-06-12monthly0.5https://eapls.org/publications/special-issues/2025-06-12monthly0.5https://eapls.org/publications/books/2025-06-12monthly0.5https://eapls.org/publications/software-tools/2025-06-12monthly0.5https://eapls.org/jobs/2025-06-12monthly0.5https://eapls.org/jobs/vacancies/2025-06-12monthly0.5https://eapls.org/all-announcements/2025-06-19monthly0.5https://eapls.org/contact/2025-07-04monthly0.5https://eapls.org/terms-of-service/2025-06-16monthly0.5https://eapls.org/privacy-statement/2025-06-16monthly0.5https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-last-call-for-rese-q8pvv/2026-03-30weekly0.6https://eapls.org/news/events/movep26-7wk3w/2026-03-30weekly0.6https://eapls.org/news/jobs/eindhoven-is-hiring-assistant-professor-in-artificial-intelligence-for-software-engineering-xk8hw/2026-03-27weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-third-call-for-papers-research-track-14k8h/2026-03-27weekly0.6https://eapls.org/news/workshops/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-second-call-for-workshop-proposals-6mnph/2026-03-26weekly0.6https://eapls.org/news/workshops/first-cfp-11th-acm-sigplan-workshop-on-numerical-and-symbolic-abstract-domains-cm6v5/2026-03-26weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-last-call-for-jour-tk7hm/2026-03-21weekly0.6https://eapls.org/news/events/25th-fosad-edition-international-summerschool-on-foundations-of-security-analysis-and-design-pz3vk/2026-03-16weekly0.6https://eapls.org/news/events/31st-bertinoro-international-spring-school-2026-edition-b46l2/2026-03-14weekly0.6https://eapls.org/news/events/marktoberdorf-summer-school-2026-hj5qk/2026-03-13weekly0.6https://eapls.org/news/conferences/the-fourth-prolog-education-workshop-at-iclp26-lisbon-portugal-8251w/2026-03-09weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-third-call-for-res-751ql/2026-03-06weekly0.6https://eapls.org/news/conferences/hlpp-2026-19th-international-symposium-on-high-level-parallel-programming-and-applications-t9gcb/2026-03-04weekly0.6https://eapls.org/news/conferences/28th-international-symposium-on-symbolic-and-numeric-algorithms-for-scientific-computing-klrgc/2026-03-03weekly0.6https://eapls.org/news/conferences/28th-international-symposium-on-symbolic-and-numeric-algorithms-for-scientific-computing-synasc26-gm7xd/2026-03-03weekly0.6https://eapls.org/news/jobs/lecturer-in-mathematically-structured-programming-at-university-of-strathclyde-glasgow-uk-9qbl2/2026-03-03weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-second-call-for-papers-industry-track-zqv7m/2026-03-03weekly0.6https://eapls.org/news/workshops/eoolt26-10th-international-workshop-on-equation-based-object-oriented-modeling-languages-and-tools-last-call-for-papers-plxfk/2026-03-02weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-first-call-for-fast-abstracts-and-project-8f4cl/2026-02-28weekly0.6https://eapls.org/news/jobs/phd-position-in-verification-of-neuro-cyber-physical-systems-wdt2g/2026-02-26weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-dem-1q1sc/2026-02-25weekly0.6https://eapls.org/news/conferences/mfps-xlii-final-call-for-papers-21wns/2026-02-20weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-last-call-for-work-f77f2/2026-02-20weekly0.6https://eapls.org/news/workshops/2nd-international-workshop-on-software-architecture-and-generative-ai-sagai-co-located-with-the-23rd-ieee-international-co-kt83m/2026-02-13weekly0.6https://eapls.org/news/conferences/3rd-cfp-reversible-computation-2026-18th-international-conference-on-reversible-computation-july-910-2026-torino-italy-7818k/2026-02-09weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-second-call-for-co-bn7kx/2026-02-08weekly0.6https://eapls.org/news/workshops/8th-distributed-ledger-technology-workshop-kzgxg/2026-02-07weekly0.6https://eapls.org/news/conferences/ecmfa2026-round-2-cfp-22nd-european-conference-on-modelling-foundations-and-applications-pp2s5/2026-02-06weekly0.6https://eapls.org/news/issues/informatics-europe-higher-education-data-portal-updated-with-additional-academic-year-and-country-5237d/2026-02-03weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-first-call-for-replications-and-negative--dpr1p/2026-01-31weekly0.6https://eapls.org/news/conferences/mfps-xlii-second-call-for-papers-qfwsh/2026-01-26weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-jou-w5v2r/2026-01-19weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-jou-14lb1/2026-01-19weekly0.6https://eapls.org/news/conferences/cibse-2026-deadline-extension-may-11-15-2026-santo-domingo-dominican-republic-jf9zq/2026-01-16weekly0.6https://eapls.org/news/events/call-for-participation-analyzethat26-co-located-with-etaps-12042026-torino-italy-tznhd/2026-01-15weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-ind-fk935/2026-01-14weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-pro-9ght1/2026-01-12weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-res-lc89x/2026-01-06weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-first-call-for-papers-industry-track-qptcc/2026-01-03weekly0.6https://eapls.org/news/conferences/37th-ieee-international-symposium-on-software-reliability-engineering-issre-2026-first-call-for-papers-research-track-mkpsb/2026-01-02weekly0.6https://eapls.org/news/conferences/floc-2026-call-for-papers-p7xl8/2025-12-19weekly0.6https://eapls.org/news/conferences/mfps-xlii-first-call-for-papers-w2frb/2025-12-19weekly0.6https://eapls.org/news/conferences/vmcai-2026-call-for-participation-qdm9v/2025-12-08weekly0.6https://eapls.org/news/conferences/cibse-2026-3rd-call-for-papers-may-11-15-2026-santo-domingo-dominican-republic-l34q3/2025-12-01weekly0.6https://eapls.org/news/workshops/eoolt-2026-10th-international-workshop-on-equation-based-object-oriented-modeling-languages-and-tools-cp4rz/2025-11-17weekly0.6https://eapls.org/news/workshops/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-wor-nnd13/2025-10-21weekly0.6https://eapls.org/news/conferences/international-conference-on-software-and-systems-reuse-product-lines-and-configuration-variability-2026-first-call-for-res-kftxh/2025-10-06weekly0.6https://eapls.org/news/conferences/tfpie-2026-call-for-papers-xvvgg/2025-09-29weekly0.6https://eapls.org/news/workshops/cfp-mars26-7th-etaps-workshop-on-models-for-formal-analysis-of-real-systems-kpwjr/2025-09-22weekly0.6https://eapls.org/news/conferences/fm-2026-2nd-call-for-papers-may-20-22-2026-tokyo-japan-2rl79/2025-09-11weekly0.6https://eapls.org/news/conferences/ifl-2025-call-for-participation-c3x14/2025-09-05weekly0.6https://eapls.org/news/workshops/benevol-2025-q4693/2025-09-01weekly0.6https://eapls.org/news/issues/open-call-for-software-submissions-science-of-computer-programming-software-track-xjw27/2025-08-26weekly0.6https://eapls.org/news/issues/call-for-papers-discover-computing-journal-springer-nature-special-collection-augmenting-edge-ai-with-collaborative-edge-c-jfvk6/2025-08-13weekly0.6https://eapls.org/news/announcements/the-eapls-best-phd-prize-committee-is-seeking-3-new-members-wfd7j/2025-08-11weekly0.6https://eapls.org/news/conferences/cfp-29th-ibero-american-conference-on-software-engineering-cibse-2026-tb1l9/2025-07-28weekly0.6https://eapls.org/news/conferences/ifl-2025-call-for-draft-papers-deadline-extension-jcpzf/2025-07-27weekly0.6https://eapls.org/news/conferences/vmcai-2026-first-call-for-papers-77dsm/2025-07-11weekly0.6https://eapls.org/news/site-news/eapls-site-updated-3kx8l/2025-06-21weekly0.6https://eapls.org/news/conferences/second-call-for-papers-ifl-2025-4734/2025-06-03weekly0.6https://eapls.org/news/workshops/sassur-2025-deadline-extended-4720/2025-05-05weekly0.6https://eapls.org/news/workshops/sassur-2025-deadline-approaching-4717/2025-04-29weekly0.6https://eapls.org/news/conferences/fm-2026-call-for-papers-4707/2025-04-10weekly0.6https://eapls.org/news/workshops/sassur-2025-call-for-papers-4706/2025-04-09weekly0.6https://eapls.org/news/jobs/chair-position-available-at-cuny-hunter-college-in-new-york-4646/2024-09-20weekly0.6https://eapls.org/news/conferences/sac-svt-2025-cfp-software-verification-and-testing-track-at-sac-2025-deadline-september-20-2024-4636/2024-08-23weekly0.6https://eapls.org/news/jobs/postdoc-in-testing-and-verification-of-infrastructure-as-code-programming-group-univ-of-stgallen-switzerland-4628/2024-07-17weekly0.6https://eapls.org/news/workshops/6th-asynchronous-programming-models-workshop-apm24-4607/2024-06-14weekly0.6https://eapls.org/news/jobs/multiple-fully-funded-phd-student-positions-in-combating-technical-debt-in-machine-learning-ml-systems-in-new-york-city-4604/2024-06-12weekly0.6https://eapls.org/news/conferences/lpnmr-2024-call-for-papers-4597/2024-05-30weekly0.6https://eapls.org/news/jobs/postdoctoral-research-fellow-in-formal-methods-4596/2024-05-30weekly0.6https://eapls.org/news/eapls/the-eapls-best-paper-award-2024-4593/2024-05-24weekly0.6https://eapls.org/news/jobs/phd-positions-verification-of-ai-ai-safety-4586/2024-05-20weekly0.6https://eapls.org/news/conferences/cfp-the-art-science-and-engineering-of-programming-journal-volume-9-4578/2024-05-08weekly0.6https://eapls.org/news/workshops/sassur-2024-deadline-extended-4571/2024-05-03weekly0.6https://eapls.org/news/workshops/sassur-2024-deadline-approaching-4561/2024-04-25weekly0.6https://eapls.org/news/conferences/ifl-2024-first-call-for-papers-4559/2024-04-24weekly0.6https://eapls.org/news/conferences/ijcar-2024-call-for-participation-4554/2024-04-18weekly0.6https://eapls.org/news/eapls/aurele-barriere-wins-the-eapls-best-dissertation-award-2023-4550/2024-04-16weekly0.6https://eapls.org/news/conferences/ijcar-2024-woody-bledsoe-awards-4541/2024-04-08weekly0.6https://eapls.org/news/conferences/cibse-2024-call-for-participation-4539/2024-04-06weekly0.6https://eapls.org/news/conferences/pldi-2024-call-for-participation-early-registration-may-15-4536/2024-04-03weekly0.6https://eapls.org/news/conferences/volunteers-for-icfp-2024-artifact-evaluation-committee-aec-4530/2024-03-26weekly0.6https://eapls.org/news/workshops/plmwpldi-2024-call-for-scholarship-applications-4529/2024-03-23weekly0.6https://eapls.org/news/workshops/sassur-2024-call-for-papers-4524/2024-03-20weekly0.6https://eapls.org/news/eapls/new-board-members-4522/2024-03-19weekly0.6https://eapls.org/news/conferences/aplas-2024-call-for-papers-4502/2024-02-28weekly0.6https://eapls.org/news/jobs/fully-funded-phd-position-programming-group-univ-of-stgallen-switzerland-4481/2024-02-05weekly0.6https://eapls.org/news/conferences/cfp-cibse-2024-deadline-submission-extension-4474/2024-01-29weekly0.6https://eapls.org/news/conferences/cfp-cibse-2024-abstract-submission-extension-4467/2024-01-16weekly0.6https://eapls.org/news/conferences/forte-2024-second-call-for-papers-4465/2024-01-16weekly0.6https://eapls.org/news/workshops/mars-2024-call-for-papers-deadline-extension-january-25-luxembourg-city-luxembourg-4464/2024-01-15weekly0.6https://eapls.org/news/conferences/ijcar-2024-final-cfp-4462/2024-01-12weekly0.6https://eapls.org/news/workshops/mars-2024-2nd-call-for-papers-luxembourg-city-luxembourg-april-6th-2024-4460/2024-01-08weekly0.6https://eapls.org/news/conferences/spin-2024-call-for-papers-extended-deadline-22-january-2024-4422/2024-01-08weekly0.6https://eapls.org/news/conferences/cfp-27th-ibero-american-conference-on-software-engineering-cibse-2024-curitiba-may-6-10-4451/2023-12-20weekly0.6https://eapls.org/news/conferences/cgo24-student-research-competition-src-and-more-4442/2023-12-08weekly0.6https://eapls.org/news/conferences/forte-2024-cfp-4441/2023-12-08weekly0.6https://eapls.org/news/conferences/cfp-coordination-2024-26th-international-conference-on-coordination-models-and-languages-4440/2023-12-06weekly0.6https://eapls.org/news/conferences/joint-cfp-discotec-2024-4438/2023-12-02weekly0.6https://eapls.org/news/conferences/ijcar-2024-2nd-call-for-co-located-events-4436/2023-11-27weekly0.6https://eapls.org/news/conferences/ijcar-2024-2nd-cfp-4435/2023-11-26weekly0.6https://eapls.org/news/workshops/mars-2024-call-for-papers-4430/2023-11-15weekly0.6https://eapls.org/news/conferences/cfp-27th-ibero-american-conference-on-software-engineering-cibse-2024-4426/2023-11-01weekly0.6https://eapls.org/news/conferences/ijcar-2024-call-for-co-located-events-4423/2023-10-25weekly0.6https://eapls.org/news/conferences/ijcar-2024-call-for-papers-4420/2023-10-17weekly0.6https://eapls.org/news/workshops/deadline-extension-dafny-workshop-at-popl-24-4418/2023-10-16weekly0.6https://eapls.org/news/conferences/call-for-papers-ease-2024-evaluation-and-assessment-in-software-engineering-4416/2023-10-15weekly0.6https://eapls.org/news/conferences/facs-2023-call-for-participation-4409/2023-09-30weekly0.6https://eapls.org/news/workshops/2nd-cfp-dafny-workshop-at-popl-24-4408/2023-09-27weekly0.6https://eapls.org/news/conferences/call-for-participation-lopstr-2023-4406/2023-09-26weekly0.6https://eapls.org/news/conferences/cfp-oopsla-2024-round-1-call-for-papers-4395/2023-09-12weekly0.6https://eapls.org/news/conferences/call-for-participation-bpm-2023-the-21st-international-conference-on-business-process-management-bpm-4390/2023-08-31weekly0.6https://eapls.org/news/eapls/eapls-best-dissertation-award-2023-call-for-nominations-deadline-august-31-4386/2023-08-31weekly0.6https://eapls.org/news/eapls/eapls-best-dissertation-award-2023-call-for-nominations-4367/2023-08-28weekly0.6https://eapls.org/news/eapls/eapls-best-dissertation-award-2023-extended-deadline-4387/2023-08-28weekly0.6https://eapls.org/news/conferences/cfp-2nd-workshop-on-collaboration-mining-for-distributed-systems-cominds-at-the-5th-international-conference-on-process-mi-4385/2023-08-16weekly0.6https://eapls.org/news/workshops/quames-2023-deadline-extended-4374/2023-07-31weekly0.6https://eapls.org/news/conferences/cfp-2nd-workshop-on-collaboration-mining-for-distributed-systems-cominds-at-the-5th-international-conference-on-process-mi-4370/2023-07-26weekly0.6https://eapls.org/news/workshops/quames-2023-deadline-approaching-4364/2023-07-19weekly0.6https://eapls.org/news/jobs/phd-position-at-chalmers-in-combined-software-co-piloting-and-verification-4356/2023-07-05weekly0.6https://eapls.org/news/conferences/facs-2023-final-call-for-papers-extended-deadlines-4355/2023-07-04weekly0.6https://eapls.org/news/workshops/cfp-5th-international-workshop-on-automated-and-verifiable-software-system-development-asyde-2023-4353/2023-06-30weekly0.6https://eapls.org/news/conferences/call-for-participation-staf-2023-4337/2023-06-19weekly0.6https://eapls.org/news/conferences/cfp-2nd-workshop-on-collaboration-mining-for-distributed-systems-cominds-at-the-5th-international-conference-on-process-mi-4343/2023-06-16weekly0.6https://eapls.org/news/workshops/quames-2023-call-for-papers-4341/2023-06-16weekly0.6https://eapls.org/news/conferences/facs-2023-call-for-papers-4331/2023-06-09weekly0.6https://eapls.org/news/conferences/call-for-participation-icgt-2023-4329/2023-06-05weekly0.6https://eapls.org/news/conferences/deadline-extension-bpm-2023-joint-call-for-workshops-and-forum-papers-4323/2023-05-29weekly0.6https://eapls.org/news/conferences/18th-international-conference-on-integrated-formal-methods-final-call-for-papers-4318/2023-05-27weekly0.6https://eapls.org/news/books/introduction-to-choreographies-4311/2023-05-23weekly0.6https://eapls.org/news/conferences/call-for-papers-23rd-ieee-international-working-conference-on-source-code-analysis-and-manipulation-scam-4298/2023-05-19weekly0.6https://eapls.org/news/conferences/deadline-approaching-bpm-2023-joint-call-for-workshops-and-forum-papers-4307/2023-05-18weekly0.6https://eapls.org/news/conferences/call-for-papers-rpa-forum-at-the-21st-international-conference-on-business-process-management-bpm-bpm-2023-4299/2023-05-09weekly0.6https://eapls.org/news/eapls/the-eapls-best-paper-award-2023-4294/2023-05-04weekly0.6https://eapls.org/news/workshops/sassur-2023-deadline-extended-4289/2023-05-02weekly0.6https://eapls.org/news/conferences/bpm-2023-joint-call-for-workshops-and-forum-papers-4283/2023-04-19weekly0.6https://eapls.org/news/conferences/bpm-2023-joint-call-for-workshops-and-forum-papers-4262/2023-04-05weekly0.6https://eapls.org/news/workshops/sassur-2023-call-for-papers-4259/2023-04-05weekly0.6https://eapls.org/news/conferences/call-for-journal-first-submissions-icgt-2023-4258/2023-04-05weekly0.6https://eapls.org/news/workshops/2nd-international-workshop-on-digital-twins-for-business-processes-4254/2023-04-01weekly0.6https://eapls.org/news/conferences/facs-2023-1st-call-for-papers-4249/2023-03-24weekly0.6https://eapls.org/news/jobs/phd-position-on-program-analysis-for-smart-contracts-at-the-vienna-university-of-technology-4245/2023-03-20weekly0.6https://eapls.org/news/conferences/cfp-cgo-has-two-deadlines-4244/2023-03-20weekly0.6https://eapls.org/news/jobs/postdoc-position-on-program-analysis-at-the-vienna-university-of-technology-4243/2023-03-20weekly0.6https://eapls.org/news/conferences/dates-updated-cfp-bpm-2023-the-21st-international-conference-on-business-process-management-bpm-4241/2023-03-17weekly0.6https://eapls.org/news/conferences/cfp-bpm-2023-the-21st-international-conference-on-business-process-management-bpm-one-week-left-for-abstract-submission-4230/2023-03-09weekly0.6https://eapls.org/news/workshops/soap-2023-extended-deadline-march-15th-4228/2023-03-09weekly0.6https://eapls.org/news/eapls/call-for-new-board-members-4219/2023-03-03weekly0.6https://eapls.org/news/conferences/cfp-icgt-2023-16th-international-conference-on-graph-transformation-4139/2023-03-01weekly0.6https://eapls.org/news/conferences/cfp-bpm-2023-the-21st-international-conference-on-business-process-management-bpm-deadline-approaching-4213/2023-02-23weekly0.6https://eapls.org/news/conferences/netys-2023-call-for-papers-4201/2023-02-07weekly0.6https://eapls.org/news/conferences/call-for-contributions-27th-acm-international-systems-and-software-product-line-conference-4199/2023-02-07weekly0.6https://eapls.org/news/jobs/two-knowledge-transfer-associate-positions-in-model-based-software-engineering-university-of-york-and-leonardo-uk-4198/2023-02-06weekly0.6https://eapls.org/news/conferences/etaps-2023-call-for-participation-4187/2023-01-30weekly0.6https://eapls.org/news/conferences/the-21st-international-conference-on-business-process-management-bpm-bpm-2023-4184/2023-01-30weekly0.6https://eapls.org/news/workshops/transformational-leadership-experience-with-informatics-europe-4172/2023-01-16weekly0.6https://eapls.org/news/eapls/conrad-watt-wins-the-eapls-best-dissertation-award-2021-4149/2022-12-22weekly0.6https://eapls.org/news/conferences/forte23-first-cfp-4148/2022-12-21weekly0.6https://eapls.org/news/workshops/1st-cfp-10th-workshop-on-horn-clauses-for-verification-and-synthesis-hcvs-4146/2022-12-19weekly0.6https://eapls.org/news/workshops/2nd-cfp-6th-workshop-on-formal-reasoning-about-causation-responsibility-explanations-in-science-4145/2022-12-18weekly0.6https://eapls.org/news/conferences/2nd-cfp-29th-international-symposium-on-model-checking-of-software-spin-2023-4144/2022-12-18weekly0.6https://eapls.org/news/conferences/pldi-2023-artifact-evaluation-committee-nominations-4124/2022-10-25weekly0.6https://eapls.org/news/workshops/6th-workshop-on-formal-reasoning-about-causation-responsibility-explanations-in-science-technology-crest-2023-4123/2022-10-24weekly0.6https://eapls.org/news/conferences/etaps-2023-final-joint-call-for-papers-4109/2022-10-06weekly0.6https://eapls.org/news/workshops/nwpt-2022-call-for-papers-4099/2022-10-05weekly0.6https://eapls.org/news/jobs/phd-positions-on-programmable-networking-at-illinois-tech-in-chicago-4108/2022-10-03weekly0.6https://eapls.org/news/conferences/38th-annual-acmsigapp-symposium-on-applied-computing-software-verification-and-testing-track-4107/2022-10-02weekly0.6https://eapls.org/news/jobs/multiple-phd-positions-at-the-australian-national-university-4105/2022-09-30weekly0.6https://eapls.org/news/conferences/esop-2023-call-for-papers-4095/2022-09-06weekly0.6https://eapls.org/news/jobs/positions-for-postdocs-and-phd-candidates-4089/2022-08-31weekly0.6https://eapls.org/news/conferences/etaps-2023-2st-joint-call-for-papers-4088/2022-08-31weekly0.6https://eapls.org/news/jobs/phd-scholarship-heriot-watt-university-4076/2022-07-29weekly0.6https://eapls.org/news/conferences/etaps-2023-1st-joint-call-for-papers-4066/2022-07-13weekly0.6https://eapls.org/news/jobs/first-8-scholarships-available-for-the-phd-program-in-computer-science-at-the-universities-of-pisa-florence-and-siena-4061/2022-07-11weekly0.6https://eapls.org/news/jobs/phd-student-positions-in-analysis-and-transformations-of-imperative-deep-learning-programs-4046/2022-06-22weekly0.6https://eapls.org/news/jobs/postdoc-positions-in-reverse-engineering-and-binary-verification-at-virginia-tech-4041/2022-06-15weekly0.6https://eapls.org/news/workshops/cfp-hapi-devops-2022-co-located-with-vlhcc-4035/2022-06-06weekly0.6https://eapls.org/news/jobs/postdoctoral-researcher-and-phd-positions-at-university-of-birmingham-4031/2022-05-30weekly0.6https://eapls.org/news/workshops/a-test-2022-call-for-papers-4026/2022-05-20weekly0.6https://eapls.org/news/issues/final-cfp-extended-deadline-special-issue-software-engineering-for-robotics-robotics-and-autonomous-systems-journal-4023/2022-05-18weekly0.6https://eapls.org/news/workshops/deadline-approaching-sassur-2022-3999/2022-04-27weekly0.6https://eapls.org/news/conferences/etaps-2023-call-for-satellite-events-3994/2022-04-21weekly0.6https://eapls.org/news/events/call-for-sl-comp-2022-3993/2022-04-21weekly0.6https://eapls.org/news/eapls/the-eapls-best-paper-award-2022-3992/2022-04-20weekly0.6https://eapls.org/news/issues/2nd-cfp-special-issue-software-engineering-for-robotics-robotics-and-autonomous-systems-journal-3979/2022-04-07weekly0.6https://eapls.org/news/issues/call-for-submissions-2022-informatics-europe-best-practices-in-education-award-3969/2022-03-25weekly0.6https://eapls.org/news/issues/call-for-submissions-2022-minerva-informatics-equality-award-3968/2022-03-25weekly0.6https://eapls.org/news/conferences/call-for-papers-sassur-2022-3966/2022-03-24weekly0.6https://eapls.org/news/workshops/2nd-cfp-15th-interaction-and-concurrency-experience-ice-2022-3961/2022-03-21weekly0.6https://eapls.org/news/conferences/first-cfp-6th-working-formal-methods-symposium-3958/2022-03-17weekly0.6https://eapls.org/news/jobs/phd-scholarship-heriot-watt-university-scotland-3955/2022-03-16weekly0.6https://eapls.org/news/conferences/cfp-gcm-2022-13th-international-workshop-on-graph-computation-models-3928/2022-02-15weekly0.6https://eapls.org/news/workshops/cfp-15th-interaction-and-concurrency-experience-ice-2022-3929/2022-02-14weekly0.6https://eapls.org/news/conferences/ifm-2022-integrated-formal-methods-extended-deadlines-3923/2022-02-08weekly0.6https://eapls.org/news/issues/informatics-higher-education-data-portal-new-annual-statistics-added-3922/2022-02-08weekly0.6https://eapls.org/news/eapls/amir-kafshdar-goharshady-wins-the-eapls-best-dissertation-award-2020-3897/2022-01-10weekly0.6https://eapls.org/news/issues/cfp-special-issue-software-engineering-for-robotics-robotics-and-autonomous-systems-journal-3880/2021-12-13weekly0.6https://eapls.org/news/workshops/plas-2021-call-for-participation-16th-workshop-on-programming-languages-and-analysis-for-security-3863/2021-12-02weekly0.6https://eapls.org/news/workshops/call-for-presentations-prisc-2022-popl-2022-deadline-extension-3845/2021-11-05weekly0.6https://eapls.org/news/workshops/second-and-final-call-for-presentations-prisc-2022-popl-2022-3833/2021-10-05weekly0.6https://eapls.org/news/conferences/final-call-for-participation-splash-2021-acm-sigplan-conference-on-systems-programming-languages-and-applications-software-3832/2021-10-05weekly0.6https://eapls.org/news/workshops/16th-workshop-on-programming-languages-and-analysis-for-security-plas-2021-3828/2021-09-29weekly0.6https://eapls.org/news/workshops/call-for-presentations-prisc-2022-popl-2022-3819/2021-09-15weekly0.6https://eapls.org/news/conferences/call-for-participation-splash-2021-acm-sigplan-conference-on-systems-programming-languages-and-applications-software-for-h-3816/2021-09-10weekly0.6https://eapls.org/news/conferences/ecoop-2022-call-for-papers-3815/2021-09-09weekly0.6https://eapls.org/news/conferences/certified-programs-and-proofs-cpp-2022-final-call-for-papers-3806/2021-08-18weekly0.6https://eapls.org/news/conferences/acm-hscc-2022-call-for-papers-3800/2021-08-04weekly0.6https://eapls.org/news/jobs/phd-position-on-the-design-and-formal-verification-of-distributed-systems-at-the-university-of-birmingham-3792/2021-07-28weekly0.6https://eapls.org/news/eapls/eapls-phd-award-2020-call-for-nominations-3790/2021-07-26weekly0.6https://eapls.org/news/conferences/call-for-participation-30th-acm-sigsoft-international-symposium-on-software-testing-and-analysis-issta21-and-the-35th-euro-3772/2021-07-02weekly0.6https://eapls.org/news/jobs/postdoc-position-programming-group-scs-university-of-stgallen-3761/2021-06-20weekly0.6https://eapls.org/news/jobs/post-doc-position-in-ai-for-continuous-software-engineering-available-at-the-university-of-laquila-italy-3760/2021-06-18weekly0.6https://eapls.org/news/conferences/certified-programs-and-proofs-cpp-2022-call-for-papers-3755/2021-06-14weekly0.6https://eapls.org/news/conferences/mfps-2021-deadline-extension-and-invited-speakers-3746/2021-06-06weekly0.6https://eapls.org/news/workshops/link-correction-cfp-8th-workshop-on-advances-in-programming-languages-wapl21-3737/2021-05-22weekly0.6https://eapls.org/news/jobs/phd-position-on-systematic-software-language-engineering-at-university-of-stuttgart-3736/2021-05-21weekly0.6https://eapls.org/news/workshops/call-for-papers-8th-workshop-on-advances-in-programming-languages-wapl21-3734/2021-05-19weekly0.6https://eapls.org/news/eapls/the-eapls-best-paper-award-2021-3722/2021-04-29weekly0.6https://eapls.org/news/conferences/call-for-contributions-second-call-splash-2021-acm-sigplan-conference-on-systems-programming-languages-and-applications-so-3712/2021-04-15weekly0.6https://eapls.org/news/conferences/fmics-2021-2nd-cfp-3703/2021-04-07weekly0.6https://eapls.org/news/workshops/deadline-extension-cfp-heda201-the-international-health-data-workshop-3688/2021-03-23weekly0.6https://eapls.org/news/jobs/phd-position-in-programming-languages-at-tu-delft-3686/2021-03-23weekly0.6https://eapls.org/news/conferences/call-for-contributions-splash-2021-acm-sigplan-conference-on-systems-programming-languages-and-applications-software-for-h-3678/2021-03-09weekly0.6https://eapls.org/news/conferences/cfp-hlpp-2021-14th-international-symposium-on-international-symposium-on-high-level-parallel-programming-and-applications-3676/2021-03-05weekly0.6https://eapls.org/news/workshops/call-for-papers-10th-acm-sigplan-international-workshop-on-the-state-of-the-art-in-program-analysis-soap21-3658/2021-02-19weekly0.6https://eapls.org/news/conferences/sat-2021-cfp-3650/2021-02-04weekly0.6https://eapls.org/news/conferences/call-for-papers-mdeml-track-at-euromicro-seaa-2021-3641/2021-01-20weekly0.6https://eapls.org/news/conferences/call-for-papers-30th-acm-sigsoft-international-symposium-on-software-testing-and-analysis-issta21-3636/2021-01-14weekly0.6https://eapls.org/news/conferences/call-for-workshops-ecoop-and-issta-2021-3635/2021-01-12weekly0.6https://eapls.org/news/jobs/call-for-expressions-of-interest-at-the-university-of-venice-3633/2021-01-11weekly0.6https://eapls.org/news/eapls/martin-bromberger-wins-the-eapls-best-dissertation-award-2019-3622/2020-12-07weekly0.6https://eapls.org/news/conferences/call-for-papers-spin-2021-3610/2020-11-05weekly0.6https://eapls.org/news/workshops/virtual-machines-and-language-implementations-vmil-2020-call-for-participation-3605/2020-10-27weekly0.6https://eapls.org/news/conferences/call-for-papers-formalise-2021-3604/2020-10-26weekly0.6https://eapls.org/news/conferences/mplr-2020-call-for-participation-3599/2020-10-19weekly0.6https://eapls.org/news/conferences/call-for-papers-35th-european-conference-on-object-oriented-programming-ecoop21-3587/2020-09-21weekly0.6https://eapls.org/news/workshops/vmil-2020-deadline-extension-3581/2020-09-08weekly0.6https://eapls.org/news/conferences/call-for-papers-final-deadline-extension-september-6-2020-3580/2020-09-05weekly0.6https://eapls.org/news/jobs/postdoc-position-on-formal-methods-and-testing-tu-graz-austria-3577/2020-09-03weekly0.6https://eapls.org/news/jobs/postdoctoral-researcher-and-phd-student-positions-available-3576/2020-09-02weekly0.6https://eapls.org/news/events/summer-school-on-programming-languages-and-verification-3547/2020-07-25weekly0.6https://eapls.org/news/eapls/eapls-best-paper-award-2020-3545/2020-07-23weekly0.6https://eapls.org/news/workshops/extended-deadline-modeling-language-engineering-and-execution-mle20-at-models20-3543/2020-07-16weekly0.6https://eapls.org/news/events/oded-padon-wins-the-etaps-doctoral-dissertation-award-2020-3538/2020-07-04weekly0.6https://eapls.org/news/workshops/cfp-modeling-language-engineering-and-execution-mle20-at-models20-3533/2020-07-01weekly0.6https://eapls.org/news/jobs/junior-research-group-leader-positions-at-mpi-for-security-and-privacy-3500/2020-06-02weekly0.6https://eapls.org/news/conferences/call-for-participation-12th-nasa-formal-methods-symposium-nfm2020-3502/2020-05-05weekly0.6https://eapls.org/news/jobs/5-ra-positions-ai-secure-and-explainable-by-construction-3497/2020-04-28weekly0.6https://eapls.org/news/conferences/sefm-deadline-extension-and-move-to-virtual-modality-3496/2020-04-28weekly0.6https://eapls.org/news/conferences/13th-interaction-and-concurrency-experience-ice-2020-2nd-cfp-3493/2020-04-20weekly0.6https://eapls.org/news/conferences/certified-programs-and-proofs-cpp-2021-first-call-for-papers-3489/2020-04-16weekly0.6https://eapls.org/news/conferences/cfp-sefm-international-conference-on-software-engineering-and-formal-methods-3482/2020-04-07weekly0.6https://eapls.org/news/workshops/termgraph-2020-2nd-call-for-papers-3479/2020-04-03weekly0.6https://eapls.org/news/conferences/vstte-2020-call-for-papers-3459/2020-03-08weekly0.6https://eapls.org/news/conferences/cfp-sefm-international-conference-on-software-engineering-and-formal-methods-3446/2020-02-27weekly0.6https://eapls.org/news/workshops/termgraph-2020-call-for-papers-3444/2020-02-24weekly0.6https://eapls.org/news/conferences/langdev20-call-for-talk-proposals-3437/2020-02-19weekly0.6https://eapls.org/news/eapls/eapls-support-for-workshops-3426/2020-02-10weekly0.6https://eapls.org/news/conferences/sefm-2020-preliminary-call-for-papers-3419/2020-02-01weekly0.6https://eapls.org/news/conferences/call-for-papers-mdeml-track-at-euromicro-seaa-2020-3407/2020-01-18weekly0.6https://eapls.org/news/events/the-cornell-maryland-max-planck-pre-doctoral-research-school-2020-3406/2020-01-17weekly0.6https://eapls.org/news/tools/informatics-europe-higher-education-data-portal-3399/2020-01-10weekly0.6https://eapls.org/news/conferences/coordination-2020-cfp-malta-june-15-19-3387/2019-12-23weekly0.6https://eapls.org/news/conferences/nfm-2020-paper-submission-extension-3383/2019-12-13weekly0.6https://eapls.org/news/eapls/christian-hensel-rwth-aachen-university-wins-eapls-phd-dissertation-award-2018-3382/2019-12-11weekly0.6https://eapls.org/news/conferences/cfp-12th-nasa-formal-methods-symposium-nfm-2020-3372/2019-12-02weekly0.6https://eapls.org/news/conferences/cfp-first-international-workshop-on-engineering-intelligent-applications-code-eniac20-3362/2019-11-29weekly0.6https://eapls.org/news/conferences/call-for-affiliated-workshops-at-qonfest-2020-in-vienna-tu-wien-3370/2019-11-26weekly0.6https://eapls.org/news/conferences/ecoop-20-call-for-artifact-evaluation-committee-members-3355/2019-11-03weekly0.6https://eapls.org/news/jobs/tenure-track-faculty-positions-at-the-mpis-for-informatics-software-systems-and-security-privacy-3346/2019-10-16weekly0.6https://eapls.org/news/workshops/cfp-18th-belgium-netherlands-software-evolution-workshop-benevol-2019-3326/2019-09-20weekly0.6https://eapls.org/news/conferences/practical-aspects-of-declarative-languages-padl2020-2nd-cfp-3325/2019-09-18weekly0.6https://eapls.org/news/conferences/call-for-participation-formal-aspects-of-component-software-facs-2019-amsterdam-3323/2019-09-17weekly0.6https://eapls.org/news/conferences/tapas-2019-call-for-participation-register-early-by-sep-10-3313/2019-09-06weekly0.6https://eapls.org/news/jobs/phd-and-postdoc-positions-at-schaffhausen-institute-of-technology-3300/2019-09-02weekly0.6https://eapls.org/news/workshops/call-for-presentations-on-principles-of-secure-compilation-prisc-workshop-popl-2020-3294/2019-08-28weekly0.6https://eapls.org/news/conferences/padl-2020-co-allocated-with-popl-2020-first-call-for-papers-3283/2019-08-12weekly0.6https://eapls.org/news/workshops/workshop-on-model-based-design-of-cyber-physical-systems-cyphy19-3243/2019-07-28weekly0.6https://eapls.org/news/workshops/refinement-workshop-deadline-extension-3258/2019-07-02weekly0.6https://eapls.org/news/workshops/tapas-2019-10th-workshop-on-tools-for-automatic-program-analysis-extended-deadline-3223/2019-07-01weekly0.6https://eapls.org/news/workshops/cfp-modcomp19-the-6th-international-workshop-on-interplay-of-model-driven-and-component-based-software-engineering-3255/2019-06-25weekly0.6https://eapls.org/news/conferences/16th-international-conference-on-formal-aspects-of-component-software-facs-2019-3253/2019-06-19weekly0.6https://eapls.org/news/eapls/eapls-phd-award-2018-call-for-nominations-3245/2019-06-16weekly0.6https://eapls.org/news/conferences/gpce-2019-2nd-call-for-papers-athens-greece-october-21-22-3235/2019-06-07weekly0.6https://eapls.org/news/conferences/ecss-2019-first-call-for-participation-3228/2019-06-03weekly0.6https://eapls.org/news/jobs/postdoc-positions-in-verification-and-distributed-systems-at-imdea-madrid-3226/2019-05-31weekly0.6https://eapls.org/news/workshops/model-based-design-of-cyber-physical-systems-cyphy19-3219/2019-05-27weekly0.6https://eapls.org/news/workshops/modcomp19-6th-international-workshop-on-interplay-of-model-driven-and-component-based-software-engineering-at-models19-3213/2019-05-21weekly0.6https://eapls.org/news/jobs/post-doctoral-researcher-dynamic-analysis-of-python-3205/2019-05-15weekly0.6https://eapls.org/news/jobs/fully-funded-phd-at-the-university-of-surrey-3197/2019-05-07weekly0.6https://eapls.org/news/conferences/ppdp19-deadline-extension-10th-may-3191/2019-04-28weekly0.6https://eapls.org/news/conferences/12th-interaction-and-concurrency-experience-ice-2019-2nd-cfp-3177/2019-04-18weekly0.6https://eapls.org/news/eapls/jesper-cockx-ku-leuven-wins-eapls-phd-dissertation-award-201617-3039/2019-04-16weekly0.6https://eapls.org/news/eapls/eapls-best-paper-award-2019-3175/2019-04-16weekly0.6https://eapls.org/news/jobs/permanent-academic-positions-at-heriot-watt-university-3168/2019-04-12weekly0.6https://eapls.org/news/conferences/principles-and-practice-of-declarative-programming-3167/2019-04-12weekly0.6https://eapls.org/news/conferences/sas-2019-extended-deadline-april-22-abstract-april-25-paper-and-artifact-26th-static-analysis-symposium-cfp-3166/2019-04-11weekly0.6https://eapls.org/news/conferences/16th-international-conference-on-formal-aspects-of-component-software-facs-2019-3162/2019-04-08weekly0.6https://eapls.org/news/jobs/fully-funded-phd-position-at-inria-lille-france-3159/2019-04-05weekly0.6https://eapls.org/news/workshops/dars-2019-4th-workshop-on-the-design-and-analysis-of-robust-systems-with-cav-2019-3145/2019-04-01weekly0.6https://eapls.org/news/conferences/call-for-posters-ecoop-2019-3143/2019-03-28weekly0.6https://eapls.org/news/workshops/cfp-12th-interaction-and-concurrency-experience-ice-2019-3137/2019-03-16weekly0.6https://eapls.org/news/conferences/gpce-2019-1st-call-for-papers-athens-greece-october-21-22-3134/2019-03-14weekly0.6https://eapls.org/news/workshops/design-and-analysis-of-robust-systems-dars-2019-3109/2019-02-25weekly0.6https://eapls.org/news/issues/journal-of-computer-languages-3094/2019-02-12weekly0.6https://eapls.org/news/conferences/call-for-tutorial-proposals-models-2019-3091/2019-02-06weekly0.6https://eapls.org/news/tools/rers-challenge-2019-toolympics-3079/2019-01-30weekly0.6https://eapls.org/news/books/new-report-industry-funding-for-academic-research-in-informatics-in-europe-3075/2019-01-24weekly0.6https://eapls.org/news/conferences/splash-2019-1st-combined-call-for-contributions-3068/2019-01-22weekly0.6https://eapls.org/news/events/the-cornell-maryland-max-planck-pre-doctoral-research-school-2019-3065/2019-01-17weekly0.6https://eapls.org/news/conferences/23rd-international-systems-and-software-product-line-conference-3058/2019-01-09weekly0.6https://eapls.org/news/jobs/postdoc-positions-in-pl-and-distributed-systems-at-imdea-madrid-3055/2019-01-08weekly0.6https://eapls.org/news/events/second-school-and-workshop-on-univalent-mathematics-3052/2019-01-03weekly0.6https://eapls.org/news/jobs/postdoc-position-at-colorado-in-data-driven-program-analysis-with-potential-industrial-applications-3045/2018-12-21weekly0.6https://eapls.org/news/jobs/csmax-planck-the-new-max-planck-graduate-center-for-computer-and-information-science-3044/2018-12-20weekly0.6https://eapls.org/news/workshops/cfp-rose-2019-3033/2018-12-11weekly0.6https://eapls.org/news/conferences/jelia-2019-deadlines-extended-abstract-2-dec-submission-7-dec-3024/2018-11-27weekly0.6https://eapls.org/news/books/the-latest-edition-of-the-informatics-education-in-europe-key-data-report-2012-2017-is-now-available-3012/2018-11-12weekly0.6https://eapls.org/news/jobs/tenure-track-opening-at-max-planck-institute-for-software-systems-mpi-sws-3009/2018-11-08weekly0.6https://eapls.org/news/workshops/17th-international-business-process-management-conference-bpm-2019-call-for-workshop-proposals-3000/2018-10-31weekly0.6https://eapls.org/news/jobs/faculty-recruitment-at-iit-madras-2997/2018-10-27weekly0.6https://eapls.org/news/eapls/new-board-announcement-2980/2018-10-02weekly0.6https://eapls.org/news/jobs/phd-proposal-ece-paristelecom-sudparis-2976/2018-10-01weekly0.6https://eapls.org/news/conferences/programming-2019-call-for-papers-2965/2018-09-08weekly0.6https://eapls.org/news/issues/open-computer-science-is-now-visible-in-scopus-2961/2018-09-05weekly0.6https://eapls.org/news/events/rers-challenge-call-for-participation-deadline-october-14-2947/2018-08-23weekly0.6https://eapls.org/news/issues/first-cfp-jfp-special-issue-on-the-theory-and-practice-of-algebraic-effects-and-handlers-2942/2018-08-16weekly0.6https://eapls.org/news/jobs/postdoc-and-phd-positions-center-for-advanced-software-analysis-aarhus-university-2940/2018-08-14weekly0.6https://eapls.org/news/tools/ltsmin-3-released-2935/2018-08-07weekly0.6https://eapls.org/news/conferences/first-call-for-paper-midos-sac-2019-2910/2018-07-10weekly0.6https://eapls.org/news/workshops/workshop-on-model-based-design-of-cyber-physical-systems-cyphy18-2881/2018-06-28weekly0.6https://eapls.org/news/events/call-for-topical-issues-2901/2018-06-28weekly0.6https://eapls.org/news/workshops/2nd-cfp-sems18-5th-international-workshop-on-software-engineering-methods-in-spreadsheets-2899/2018-06-26weekly0.6https://eapls.org/news/conferences/sas-2018-call-for-participation-2891/2018-06-18weekly0.6https://eapls.org/news/conferences/cfp-modcomp18-5th-international-workshop-on-interplay-of-model-driven-and-component-based-software-engineering-2888/2018-06-15weekly0.6https://eapls.org/news/jobs/open-positions-for-phd-candidates-and-postdocs-in-information-flow-security-and-side-channel-analysis-2874/2018-06-05weekly0.6https://eapls.org/news/eapls/eapls-phd-award-201617-call-for-nominations-2871/2018-06-04weekly0.6https://eapls.org/news/workshops/datamod-2018-call-for-presentation-reports-and-call-for-participation-2866/2018-05-31weekly0.6https://eapls.org/news/workshops/the-2018-workshop-on-model-based-design-of-cyber-physical-systems-cyphy18-2863/2018-05-28weekly0.6https://eapls.org/news/jobs/phd-positions-in-theory-and-practice-of-distributed-systems-at-imdea-madrid-2861/2018-05-25weekly0.6https://eapls.org/news/events/ecss-2018-first-call-for-participation-2856/2018-05-22weekly0.6https://eapls.org/news/conferences/call-for-posters-ecoop-issta-2018-deadline-extension-2852/2018-05-17weekly0.6https://eapls.org/news/conferences/cfp-morse18-5th-workshop-on-model-driven-robot-software-engineering-2851/2018-05-14weekly0.6https://eapls.org/news/conferences/cfp-modcomp18-5th-international-workshop-on-interplay-of-model-driven-and-component-based-software-engineering-2837/2018-05-08weekly0.6https://eapls.org/news/events/june-1-submission-deadline-for-2018-informatics-europe-best-practices-in-education-award-2836/2018-05-07weekly0.6https://eapls.org/news/events/june-1-submission-deadline-for-2018-minerva-informatics-equality-award-2830/2018-05-03weekly0.6https://eapls.org/news/workshops/cfp-sems18-5th-international-workshop-on-software-engineering-methods-in-spreadsheets-2815/2018-04-24weekly0.6https://eapls.org/news/conferences/call-for-abstracts-discrete-models-and-formal-verification-in-biology-2810/2018-04-19weekly0.6https://eapls.org/news/workshops/refine-2018-deadline-extension-2807/2018-04-17weekly0.6https://eapls.org/news/conferences/vecos-2018-deadline-extensions-2802/2018-04-11weekly0.6https://eapls.org/news/conferences/upcoming-deadline-for-sas-2018-april-13th-2794/2018-03-31weekly0.6https://eapls.org/news/workshops/qapl-2018-second-call-for-papers-2771/2018-03-21weekly0.6https://eapls.org/news/conferences/25th-static-analysis-symposium-sas-2018-call-for-papers-2752/2018-03-09weekly0.6https://eapls.org/news/conferences/call-for-participation-etaps-2018-21st-european-joint-conferences-on-theory-and-practice-of-software-2748/2018-03-09weekly0.6https://eapls.org/news/conferences/call-for-posters-ecoop-issta-2018-2741/2018-02-28weekly0.6https://eapls.org/news/conferences/call-for-papers-manlang18-15th-international-conference-on-managed-languages-runtimes-2739/2018-02-28weekly0.6https://eapls.org/news/events/call-for-submissions-2018-minerva-informatics-equality-award-2722/2018-02-13weekly0.6https://eapls.org/news/conferences/cfp-vlhcc-2018-ieee-symposium-on-visual-languages-and-human-centric-computing-2710/2018-02-02weekly0.6https://eapls.org/news/workshops/metrid-2018-deadline-extension-etaps-workshop-2702/2018-01-22weekly0.6https://eapls.org/news/events/cornell-maryland-max-planck-pre-doctoral-research-school-2018-call-for-applications-2692/2018-01-12weekly0.6https://eapls.org/news/conferences/euro-par-2018-conference-turin-italy-opening-talk-by-turing-award-silvio-micali-2686/2018-01-05weekly0.6https://eapls.org/news/workshops/12th-international-workshop-on-rewriting-logic-and-its-applications-wrla-2018-last-cfp-2665/2017-12-29weekly0.6https://eapls.org/news/conferences/ifm-2018-call-for-paper-2673/2017-12-11weekly0.6https://eapls.org/news/workshops/rigorous-system-design-cfp-metrid-workshop-etaps-2018-2662/2017-12-03weekly0.6https://eapls.org/news/conferences/cfp-vecos-2018-september-26-28-2018-grenoble-france-2661/2017-12-03weekly0.6https://eapls.org/news/workshops/pepm-2018-call-for-posterdemo-abstracts-and-participation-2655/2017-11-25weekly0.6https://eapls.org/news/jobs/postdoctoral-position-in-formal-semantics-and-compiler-verification-2641/2017-10-25weekly0.6https://eapls.org/news/eapls/call-for-new-board-members-2633/2017-10-09weekly0.6https://eapls.org/news/conferences/last-cfp-esocc-2017-eu-projects-track-2613/2017-08-29weekly0.6https://eapls.org/news/workshops/theory-and-practice-of-differential-privacy-tpdp-deadline-extension-august-11-2017-2601/2017-08-04weekly0.6https://eapls.org/news/jobs/postdoc-and-phd-positions-in-security-concurrency-with-formal-methods-2591/2017-07-21weekly0.6https://eapls.org/news/conferences/call-for-papers-microservices-2017-2586/2017-07-14weekly0.6https://eapls.org/news/conferences/call-for-participation-sas-2017-2579/2017-07-05weekly0.6https://eapls.org/news/workshops/cfp-rebls-2017-4th-international-workshop-on-reactive-and-event-based-languages-systems-2555/2017-06-12weekly0.6https://eapls.org/news/conferences/reachability-problems-2017-extended-deadline-2527/2017-05-12weekly0.6https://eapls.org/news/workshops/smt-2017-workshop-2nd-cfp-deadline-1st8th-may-2503/2017-04-28weekly0.6https://eapls.org/news/conferences/ecoop-2017-call-for-participation-2494/2017-04-24weekly0.6https://eapls.org/news/events/ecoop17-doctoral-symposium-cfp-extended-submission-deadline-2492/2017-04-21weekly0.6https://eapls.org/news/conferences/sas-2017-cfp-extended-submission-deadline-2484/2017-04-12weekly0.6https://eapls.org/news/events/ecoop17-doctoral-symposium-call-for-papers-2483/2017-04-12weekly0.6https://eapls.org/news/workshops/cfp-alp4iot-1st-workshop-on-architectures-languages-and-paradigms-for-iot-2481/2017-04-12weekly0.6https://eapls.org/news/workshops/10th-interaction-and-concurrency-experience-2369/2017-04-05weekly0.6https://eapls.org/news/conferences/24th-static-analysis-symposium-2017-2462/2017-03-31weekly0.6https://eapls.org/news/jobs/call-for-phd-candidates-in-the-software-composition-group-u-bern-2457/2017-03-29weekly0.6https://eapls.org/news/jobs/phd-studentship-high-level-programming-of-data-and-pipelined-parallel-image-processing-on-heterogeneous-platforms-2447/2017-03-21weekly0.6https://eapls.org/news/eapls/maria-christakis-wins-the-eapls-best-phd-dissertation-award-2015-2411/2017-02-27weekly0.6https://eapls.org/news/conferences/cfp-4th-international-workshop-on-software-engineering-methods-in-spreadsheets-sems17-2399/2017-02-14weekly0.6https://eapls.org/news/conferences/splash17-call-for-contributions-workshops-2364/2017-01-14weekly0.6https://eapls.org/news/workshops/next-40-years-of-abstract-interpretation-workshop-2342/2016-12-15weekly0.6https://eapls.org/news/conferences/ecoop-2017-second-call-for-papers-2330/2016-12-05weekly0.6https://eapls.org/news/workshops/ifm-2017-final-call-for-workshops-proposals-2326/2016-12-02weekly0.6https://eapls.org/news/jobs/postdoc-positions-center-for-advanced-software-analysis-aarhus-university-2312/2016-11-15weekly0.6https://eapls.org/news/events/call-for-workshops-14th-conference-on-quantitative-evaluation-of-systems-qest-2310/2016-11-11weekly0.6https://eapls.org/news/jobs/assistantassociateprofessor-tenure-track-multiple-positions-at-nau-siccs-2305/2016-11-08weekly0.6https://eapls.org/news/workshops/ecoop-2017-call-for-workshop-proposals-2296/2016-10-31weekly0.6https://eapls.org/news/workshops/ifm17-call-for-workshops-at-international-conference-on-integrated-formal-methods-2017-2295/2016-10-28weekly0.6https://eapls.org/news/workshops/final-cfp-vamos-2017-11th-international-workshop-on-variability-modelling-of-software-intensive-systems-2289/2016-10-21weekly0.6https://eapls.org/news/conferences/soapsac-2017-2163/2016-09-30weekly0.6https://eapls.org/news/workshops/call-for-scholarship-applications-programming-languages-mentoring-workshop-a-popl-workshop-deadline-october-23-2261/2016-09-21weekly0.6https://eapls.org/news/conferences/ecoop-2017-the-31st-european-conference-on-object-oriented-programming-2258/2016-09-19weekly0.6https://eapls.org/news/jobs/phd-and-postdoc-positions-at-imdea-madrid-2249/2016-09-09weekly0.6https://eapls.org/news/conferences/cfp-nfm-2017-9th-nasa-formal-methods-symposium-2247/2016-09-09weekly0.6https://eapls.org/news/conferences/cfp-vamos-2017-11th-international-workshop-on-variability-modelling-of-software-intensive-systems-2220/2016-08-03weekly0.6https://eapls.org/news/conferences/cfp-4pad-special-track-pdp-2017-2212/2016-07-25weekly0.6https://eapls.org/news/conferences/cfp-cloudbpm-2016-in-conjunction-with-ieee-cloudcom-luxembourg-2202/2016-07-14weekly0.6https://eapls.org/news/workshops/cfp-rebls-2016-3rd-international-workshop-on-reactive-and-event-based-languages-systems-2189/2016-07-05weekly0.6https://eapls.org/news/jobs/postdoc-position-in-verification-at-imdea-madrid-2178/2016-06-29weekly0.6https://eapls.org/news/workshops/tapas-2016-workshop-on-tools-for-automatic-program-analysis-2144/2016-06-07weekly0.6https://eapls.org/news/conferences/final-call-for-participation-pldi-2016-co-located-events-2136/2016-06-01weekly0.6https://eapls.org/news/jobs/3-phd-positions-at-inria-grenoble-france-2129/2016-05-25weekly0.6https://eapls.org/news/events/call-for-papers-david-a-turner-festschrift-on-his-70th-birthday-2106/2016-05-02weekly0.6https://eapls.org/news/conferences/lopstr-2016-call-for-papers-2104/2016-05-01weekly0.6https://eapls.org/news/jobs/2-phd-positions-in-software-engineering-at-eindhoven-university-of-technology-the-netherlands-2086/2016-04-11weekly0.6https://eapls.org/news/eapls/the-eapls-best-paper-award-for-etaps-2016-2085/2016-04-11weekly0.6https://eapls.org/news/workshops/3rd-international-workshop-on-software-engineering-methods-in-spreadsheets-sems16-2078/2016-04-05weekly0.6https://eapls.org/news/workshops/workshop-on-context-oriented-programming-cop-2016-at-ecoop-call-for-papers-2077/2016-04-04weekly0.6https://eapls.org/news/tools/sasp-a-query-driven-predicate-answer-set-programming-system-2071/2016-04-01weekly0.6https://eapls.org/news/conferences/pldi-2016-call-for-participation-2066/2016-03-29weekly0.6https://eapls.org/news/jobs/15-vacancies-at-eindhoven-university-of-technology-mcs-department-2059/2016-03-24weekly0.6https://eapls.org/news/conferences/gpce16-call-for-papers-2043/2016-03-11weekly0.6https://eapls.org/news/workshops/cfp-cop-ecoop16-8th-international-workshop-on-context-oriented-programming-2041/2016-03-10weekly0.6https://eapls.org/news/workshops/3rd-international-workshop-on-software-engineering-methods-in-spreadsheets-sems16-call-for-papers-2014/2016-02-19weekly0.6https://eapls.org/news/jobs/internphdpostdoc-positions-max-planck-institute-for-software-systems-mpi-sws-2013/2016-02-19weekly0.6https://eapls.org/news/workshops/call-for-papers-bigmde-workshop-staf16-1990/2016-02-03weekly0.6https://eapls.org/news/workshops/ice-2016-9th-interaction-and-concurrency-experience-1978/2016-01-19weekly0.6https://eapls.org/news/workshops/last-cfp-1st-etaps-workshop-on-causal-reasoning-for-embedded-and-safety-critical-systems-technologies-crest-1954/2016-01-04weekly0.6https://eapls.org/news/conferences/pldi-2016-call-for-workshops-and-tutorials-1884/2015-10-08weekly0.6https://eapls.org/news/workshops/crest-1st-workshop-on-causal-based-reasoning-for-embedded-and-safety-critical-systems-technologies-1882/2015-10-06weekly0.6https://eapls.org/news/conferences/pldi-2016-call-for-papers-1872/2015-09-16weekly0.6https://eapls.org/news/eapls/fabrizio-montesi-wins-the-eapls-best-phd-dissertation-award-2014-1855/2015-08-31weekly0.6https://eapls.org/news/jobs/postdoc-positions-center-for-advanced-software-analysis-aarhus-university-1856/2015-08-31weekly0.6https://eapls.org/news/workshops/woda-2015-deadline-extension-1837/2015-08-05weekly0.6https://eapls.org/news/conferences/soap-track-at-sac-2016-2nd-call-for-papers-1836/2015-08-05weekly0.6https://eapls.org/news/workshops/avocs-2015-final-call-for-research-idea-papers-participation-1829/2015-08-03weekly0.6https://eapls.org/news/conferences/pppj-2015-call-for-participation-1826/2015-07-29weekly0.6https://eapls.org/news/workshops/avocs-2015-joint-call-for-research-idea-papers-participation-1814/2015-07-17weekly0.6https://eapls.org/news/workshops/parsingsle-2015-call-for-talk-proposals-1808/2015-07-13weekly0.6https://eapls.org/news/conferences/formal-approaches-to-parallel-and-distributed-systems-4pad-1803/2015-07-08weekly0.6https://eapls.org/news/workshops/call-for-papers-woda-2015-1788/2015-06-22weekly0.6https://eapls.org/news/workshops/5th-international-workshop-on-cyber-physical-systems-extended-deadline-june-17-1773/2015-06-11weekly0.6https://eapls.org/news/workshops/avocs-2015-extended-paper-deadline-1768/2015-06-08weekly0.6https://eapls.org/news/conferences/pppj-2015-deadline-extension-1767/2015-06-05weekly0.6https://eapls.org/news/workshops/final-call-for-papers-1760/2015-05-27weekly0.6https://eapls.org/news/jobs/phd-fellowship-engineer-position-in-programming-tools-at-inria-bordeaux-france-1757/2015-05-26weekly0.6https://eapls.org/news/conferences/deadline-extension-topics-in-theoretical-computer-science-ttcs-2015-tehran-iran-1746/2015-05-15weekly0.6https://eapls.org/news/conferences/pldi-2015-call-for-student-volunteers-1731/2015-04-29weekly0.6https://eapls.org/news/conferences/final-cfp-topics-in-theoretical-computer-science-ttcs-2015-tehran-iran-1725/2015-04-22weekly0.6https://eapls.org/news/conferences/cfp-hsb-2015-hybrid-systems-biology-1709/2015-04-10weekly0.6https://eapls.org/news/jobs/open-phd-position-at-mines-nantes-1706/2015-04-09weekly0.6https://eapls.org/news/conferences/pppj-2015-call-for-papers-1705/2015-04-09weekly0.6https://eapls.org/news/workshops/call-for-papers-fhpc-2015-1701/2015-04-07weekly0.6https://eapls.org/news/conferences/pldi-2015-call-for-participation-1696/2015-04-01weekly0.6https://eapls.org/news/workshops/avocs-2015-second-call-for-papers-1683/2015-03-27weekly0.6https://eapls.org/news/site-news/eapls-board-members-election-2015-1661/2015-03-11weekly0.6https://eapls.org/news/announcements/eapls-board-members-election-2015-1662/2015-03-11weekly0.6https://eapls.org/news/jobs/looking-for-phds-and-postdocs-in-software-analytics-and-data-science-for-3tubsr-big-software-on-the-run-research-program-1617/2015-02-09weekly0.6https://eapls.org/news/announcements/second-call-for-eapls-board-members-candidates-1589/2015-01-16weekly0.6https://eapls.org/news/events/advance-notice-eapls-best-phd-award-2014-1587/2015-01-16weekly0.6https://eapls.org/news/announcements/reminder-board-members-election-1559/2014-12-19weekly0.6https://eapls.org/news/site-news/board-members-election-1557/2014-12-11weekly0.6https://eapls.org/news/announcements/eapls-board-members-election-1556/2014-12-11weekly0.6https://eapls.org/news/conferences/call-for-papers-topics-in-theoretical-computer-science-ttcs-2015-tehran-iran-1548/2014-12-02weekly0.6https://eapls.org/news/conferences/mfps31-1532/2014-11-10weekly0.6https://eapls.org/news/jobs/postdoc-position-in-programming-software-defined-networks-universite-catholique-de-louvain-1530/2014-11-06weekly0.6https://eapls.org/news/conferences/pldi-2015-call-for-workshop-and-tutorial-proposals-1499/2014-09-20weekly0.6https://eapls.org/news/conferences/pldi-2015-call-for-papers-1498/2014-09-20weekly0.6https://eapls.org/news/issues/jlamp-special-issue-on-programming-language-approaches-to-concurrency-and-communication-centric-software-1439/2014-06-06weekly0.6https://eapls.org/news/conferences/pldi-2014-second-call-for-participation-early-registration-1422/2014-05-06weekly0.6https://eapls.org/news/conferences/ppdp-2014-2nd-call-for-papers-1417/2014-05-02weekly0.6https://eapls.org/news/workshops/final-cfp-workshop-on-generic-programming-wgp-2014-1415/2014-05-02weekly0.6https://eapls.org/news/eapls/zhiwu-xu-wins-the-eapls-best-phd-dissertation-award-2013-1398/2014-04-10weekly0.6https://eapls.org/news/eapls/best-paper-award-at-etaps-2014-1399/2014-04-09weekly0.6https://eapls.org/news/conferences/second-cfp-workshop-on-generic-programming-wgp-2014-1387/2014-04-02weekly0.6https://eapls.org/news/conferences/pldi-2014-call-for-participation-1384/2014-03-27weekly0.6https://eapls.org/news/workshops/tapas-2014-workshop-on-tools-for-automatic-program-analysis-1376/2014-03-18weekly0.6https://eapls.org/news/workshops/cfp-workshop-on-real-world-domain-specific-languages-1347/2014-02-25weekly0.6https://eapls.org/news/jobs/phd-positions-at-eth-zurich-in-concurrency-verification-erc-advanced-investigator-project-1298/2014-01-15weekly0.6https://eapls.org/news/jobs/postdoc-and-phd-positions-in-programming-languages-at-tokyo-tech-1280/2014-01-02weekly0.6https://eapls.org/news/conferences/hipeac-2014-call-for-participation-early-registration-deadline-dec-23-1262/2013-12-18weekly0.6https://eapls.org/news/workshops/places-2014-deadline-extended-until-3rd-january-2014-1259/2013-12-17weekly0.6https://eapls.org/news/books/textbook-on-distributed-algorithms-1258/2013-12-17weekly0.6https://eapls.org/news/conferences/hipeac-2014-call-for-participation-1249/2013-12-07weekly0.6https://eapls.org/news/workshops/call-for-papers-places14-programming-language-approaches-to-concurrency-and-communication-centric-software-1228/2013-11-15weekly0.6https://eapls.org/news/conferences/11th-international-conference-on-wireless-information-networks-and-systems-winsys-2014-1216/2013-10-29weekly0.6https://eapls.org/news/jobs/postdoc-position-in-verification-at-imdea-madrid-1215/2013-10-28weekly0.6https://eapls.org/news/conferences/11th-international-conference-on-signal-processing-and-multimedia-applications-sigmap-2014-1214/2013-10-28weekly0.6https://eapls.org/news/conferences/5th-international-conference-on-optical-communication-systems-optics-2014-1213/2013-10-28weekly0.6https://eapls.org/news/conferences/cfp-11th-international-conference-on-security-and-cryptography-secrypt-2014-1210/2013-10-25weekly0.6https://eapls.org/news/conferences/11th-international-joint-conference-on-e-business-and-telecommunications-icete-2014-1209/2013-10-25weekly0.6https://eapls.org/news/conferences/cfp-5th-international-conference-on-data-communication-networking-dcnet-2014-1208/2013-10-25weekly0.6https://eapls.org/news/conferences/cfp-11th-international-conference-on-e-business-ice-b-2014-1207/2013-10-25weekly0.6https://eapls.org/news/conferences/5th-international-conference-on-data-communication-networking-dcnet-2014-1205/2013-10-23weekly0.6https://eapls.org/news/conferences/11th-international-conference-on-e-business-ice-b-2014-1204/2013-10-23weekly0.6https://eapls.org/news/conferences/11th-international-joint-conference-on-e-business-and-telecommunications-icete-2014-1201/2013-10-18weekly0.6https://eapls.org/news/jobs/postdoc-position-in-toulouse-on-formal-approach-to-requirements-engineering-1183/2013-09-26weekly0.6https://eapls.org/news/conferences/pldi-2014-call-for-papers-1176/2013-09-17weekly0.6https://eapls.org/news/conferences/winsys-2014-1171/2013-09-10weekly0.6https://eapls.org/news/conferences/sigmap-2014-1170/2013-09-09weekly0.6https://eapls.org/news/conferences/secrypt-2014-1169/2013-09-09weekly0.6https://eapls.org/news/workshops/call-for-workshop-tutorial-proposals-for-pldi-2014-1167/2013-09-06weekly0.6https://eapls.org/news/conferences/optics-2014-1166/2013-09-06weekly0.6https://eapls.org/news/conferences/ice-b-2014-1163/2013-09-06weekly0.6https://eapls.org/news/eapls/delphine-demange-wins-the-eapls-best-phd-dissertation-award-2012-1018/2013-09-03weekly0.6https://eapls.org/news/conferences/icete-2014-1161/2013-08-30weekly0.6https://eapls.org/news/events/eapls-phd-award-2013-call-for-nominations-1154/2013-08-21weekly0.6https://eapls.org/news/jobs/postdoc-and-phd-positions-at-center-for-advanced-software-analysis-1153/2013-08-18weekly0.6https://eapls.org/news/conferences/cfp-icst14-1146/2013-07-26weekly0.6https://eapls.org/news/jobs/post-doctoral-position-on-formal-approach-to-requirement-engineering-1138/2013-07-17weekly0.6https://eapls.org/news/workshops/cfwt-call-for-workshoptutorial-proposals-for-hipeac-2014-reminder-1127/2013-06-26weekly0.6https://eapls.org/news/events/sfm-2014-in-bertinoro-call-for-proposals-1126/2013-06-26weekly0.6https://eapls.org/news/conferences/cfp-hipeac-2014-international-conference-on-high-performance-and-embedded-architectures-and-compilers-late-version-1123/2013-06-18weekly0.6https://eapls.org/news/conferences/lopstr13-paper-submission-deadline-extended-to-june-24-1117/2013-06-08weekly0.6https://eapls.org/news/workshops/2nd-cfp-functional-high-performance-computing-fhpc13-1102/2013-05-30weekly0.6https://eapls.org/news/conferences/mcc2013-live-event-call-for-participation-1089/2013-05-23weekly0.6https://eapls.org/news/jobs/postdoctoral-position-in-the-area-of-compilers-for-massively-parallel-architectures-1076/2013-05-14weekly0.6https://eapls.org/news/jobs/research-positions-in-program-analysis-and-systems-at-university-college-london-1068/2013-05-06weekly0.6https://eapls.org/news/jobs/phd-position-on-semantics-and-verification-of-accelerator-programming-1055/2013-04-24weekly0.6https://eapls.org/news/conferences/popl-2014-final-call-for-workshops-and-co-located-events-1054/2013-04-23weekly0.6https://eapls.org/news/conferences/discotec-2013-call-for-participation-early-registration-deadline-may-6-1047/2013-04-17weekly0.6https://eapls.org/news/events/2nd-awareness-summer-school-awass-2013-on-self-awareness-and-autonomic-computing-1046/2013-04-17weekly0.6https://eapls.org/news/jobs/phd-position-on-semantics-and-verification-of-accelerator-programming-1024/2013-03-26weekly0.6https://eapls.org/news/conferences/splst13-call-for-papers-998/2013-03-07weekly0.6https://eapls.org/news/workshops/ecoop13ecmfa13ecsa13-call-for-workshop-proposals-907/2012-12-06weekly0.6https://eapls.org/news/workshops/beat13-1st-international-workshop-on-behavioural-types-881/2012-11-19weekly0.6https://eapls.org/news/jobs/two-postdoc-positions-in-lisbon-877/2012-11-16weekly0.6https://eapls.org/news/conferences/taic-part-2013-please-distribute-the-call-for-papers-871/2012-10-30weekly0.6https://eapls.org/news/workshops/smartgridsec12-first-open-eit-ict-labs-workshop-on-smart-grid-security-859/2012-10-05weekly0.6https://eapls.org/news/eapls/best-paper-award-at-gpcesle-2012-855/2012-10-03weekly0.6https://eapls.org/news/jobs/five-fulltime-researchers-on-phd-and-postdoc-level-focus-model-based-software-engineering-for-technical-applications-845/2012-09-17weekly0.6https://eapls.org/news/jobs/tenure-positions-u-of-lille-and-inria-lille-france-844/2012-09-17weekly0.6https://eapls.org/news/conferences/ecss-2012-program-online-registrations-open-802/2012-07-20weekly0.6https://eapls.org/news/jobs/positions-at-eth-zurich-in-concurrency-verification-erc-advanced-investigator-grant-791/2012-07-09weekly0.6https://eapls.org/news/conferences/call-for-participation-concur-2012-23th-international-conference-on-concurrency-theory-789/2012-07-06weekly0.6https://eapls.org/news/jobs/post-doctoral-researcher-position-at-lifo-orleans-france-782/2012-06-27weekly0.6https://eapls.org/news/workshops/last-call-for-papers-itsle2012-industrial-track-of-software-language-engineering-765/2012-06-07weekly0.6https://eapls.org/news/eapls/eapls-best-paper-award-at-tools-2012-764/2012-06-05weekly0.6https://eapls.org/news/jobs/phd-position-available-at-inria-bordeaux-france-753/2012-05-24weekly0.6https://eapls.org/news/conferences/call-for-papers-implementation-and-application-of-functional-languages-2012-752/2012-05-24weekly0.6https://eapls.org/news/workshops/formassec-2012-extended-deadline-734/2012-05-09weekly0.6https://eapls.org/news/conferences/final-cfp-automated-software-engineering-conference-tool-demonstrations-724/2012-04-30weekly0.6https://eapls.org/news/jobs/phd-position-available-in-software-engineering-at-inria-bordeaux-713/2012-04-18weekly0.6https://eapls.org/news/conferences/lopstr-2012-in-leuven-belgium-707/2012-04-16weekly0.6https://eapls.org/news/eapls/santiago-zanella-wins-the-eapls-best-phd-dissertation-award-2011-695/2012-04-03weekly0.6https://eapls.org/news/events/invitation-cwi-lectures-14-june-2012-on-understanding-software-694/2012-04-03weekly0.6https://eapls.org/news/eapls/eapls-best-paper-award-at-etaps-2012-693/2012-04-03weekly0.6https://eapls.org/news/conferences/tools-europe-2012-call-for-participation-691/2012-04-02weekly0.6https://eapls.org/news/workshops/call-for-participation-bytecode-2012-an-etaps-2012-workshop-march-31-2012-in-tallinn-estonia-645/2012-02-23weekly0.6https://eapls.org/news/conferences/time-2012-call-for-papers-644/2012-02-23weekly0.6https://eapls.org/news/jobs/lecturer-in-computer-science-625/2012-02-09weekly0.6https://eapls.org/news/jobs/readersenior-lecturer-in-computer-science-royal-holloway-university-of-london-624/2012-02-09weekly0.6https://eapls.org/news/workshops/ldta-2012-call-for-participation-605/2012-01-26weekly0.6https://eapls.org/news/workshops/2nd-workshop-on-model-driven-approaches-in-system-development-mdasd-2012-600/2012-01-23weekly0.6https://eapls.org/news/issues/2nd-call-for-papers-special-issue-of-the-csi-journal-of-computing-588/2012-01-16weekly0.6https://eapls.org/news/conferences/first-cfp-sas-2012-19th-international-static-analysis-symposium-deauville-france-578/2011-12-27weekly0.6https://eapls.org/news/jobs/2-faculty-positions-at-university-of-minnesota-576/2011-12-23weekly0.6https://eapls.org/news/issues/sicsa-multicore-challenge-programming-language-support-for-multicore-parallelism-574/2011-12-22weekly0.6https://eapls.org/news/workshops/last-cfp-bytecode-2012-deadline-january-4-2012-573/2011-12-22weekly0.6https://eapls.org/news/conferences/cfp-tfp12-trends-in-functional-programming-2012-st-andrews-uk-june-12-14-2012-571/2011-12-21weekly0.6https://eapls.org/news/events/estonian-winter-school-in-comput-sci-2012-call-for-partic-568/2011-12-17weekly0.6https://eapls.org/news/eapls/european-scientific-societies-in-informatics-is-a-fact-552/2011-12-01weekly0.6https://eapls.org/news/workshops/cfp-papp-2012-9th-international-workshop-on-practical-aspects-of-high-level-parallel-programming-551/2011-11-30weekly0.6https://eapls.org/news/workshops/2nd-cfp-bytecode-2012-544/2011-11-15weekly0.6https://eapls.org/news/conferences/international-workshop-on-75-years-of-lambda-calculus-june-15th-2011-531/2011-10-31weekly0.6https://eapls.org/news/conferences/cfp-lctes-2012-languages-compilers-tools-and-theory-for-embedded-systems-522/2011-10-19weekly0.6https://eapls.org/news/conferences/cfp-bytecode-2012-520/2011-10-17weekly0.6https://eapls.org/news/jobs/phd-position-on-semantics-and-verification-of-accelerator-programming-515/2011-10-13weekly0.6https://eapls.org/news/events/informatics-europe-2011-curriculum-best-practices-award-511/2011-10-06weekly0.6https://eapls.org/news/conferences/last-cfp-fase2012-505/2011-09-30weekly0.6https://eapls.org/news/conferences/cfp-tools-europe-2012-489/2011-09-13weekly0.6https://eapls.org/news/workshops/2nd-cfps-constraints-in-formal-verification-2011-476/2011-09-05weekly0.6https://eapls.org/news/conferences/cc-2012-submission-site-now-open-471/2011-08-30weekly0.6https://eapls.org/news/conferences/cp-2011-call-for-participation-464/2011-08-11weekly0.6https://eapls.org/news/conferences/cp-2011-call-for-participation-445/2011-07-21weekly0.6https://eapls.org/news/workshops/4th-york-doctoral-symposium-yds-2011-deadline-extension-for-papers-428/2011-06-20weekly0.6https://eapls.org/news/conferences/cp-2011-call-for-participation-425/2011-06-15weekly0.6https://eapls.org/news/jobs/open-post-doctoral-position-inria-bordeaux-france-416/2011-06-06weekly0.6https://eapls.org/news/workshops/fast-2011-deadline-extended-413/2011-06-03weekly0.6https://eapls.org/news/workshops/minizinc-20-workshop-404/2011-05-30weekly0.6https://eapls.org/news/jobs/two-3-year-research-assistants-plancomps-project-swansea-390/2011-05-18weekly0.6https://eapls.org/news/workshops/cfp-fast2011-8th-international-workshop-on-formal-aspects-of-security-trust-386/2011-05-17weekly0.6https://eapls.org/news/jobs/post-doctorate-position-on-model-driven-engineering-embedded-software-architectures-at-inria-rennes-369/2011-05-02weekly0.6https://eapls.org/news/workshops/2011-gttsesle-students-workshop-367/2011-04-30weekly0.6https://eapls.org/news/workshops/4th-york-doctoral-symposium-yds-2011-call-for-papers-and-posters-359/2011-04-26weekly0.6https://eapls.org/news/workshops/21st-workshop-on-logic-based-methods-in-programming-environments-357/2011-04-25weekly0.6https://eapls.org/news/jobs/open-post-doc-position-at-inria-bordeaux-france-352/2011-04-21weekly0.6https://eapls.org/news/workshops/cfp-workshop-of-the-2nd-sicsa-multicore-challenge-n-body-problem-349/2011-04-20weekly0.6https://eapls.org/news/workshops/extended-deadline-april-20-ammse-2001-algebraic-methods-in-model-based-software-engineering-334/2011-04-12weekly0.6https://eapls.org/news/eapls/winner-eapls-best-phd-dissertation-award-2010-330/2011-04-11weekly0.6https://eapls.org/news/conferences/last-cfp-international-conference-on-domain-specific-languages-dsl-2011-326/2011-04-08weekly0.6https://eapls.org/news/conferences/final-cfp-the-9th-international-conference-on-software-engineering-and-formal-methods-sefm11-323/2011-04-07weekly0.6https://eapls.org/news/eapls/eapls-best-paper-award-at-etaps-2011-321/2011-04-04weekly0.6https://eapls.org/news/conferences/sle-2011-deadline-extension-317/2011-03-30weekly0.6https://eapls.org/news/conferences/sle-2011-final-call-for-papers-297/2011-03-18weekly0.6https://eapls.org/news/issues/extended-deadline-special-issue-on-software-evolution-adaptability-and-maintenance-290/2011-03-15weekly0.6https://eapls.org/news/workshops/international-summer-school-on-software-security-and-protection-282/2011-03-09weekly0.6https://eapls.org/news/eapls/mailing-list-166/2011-03-09weekly0.6https://eapls.org/news/workshops/itsle2011-industry-track-of-software-language-engineering-278/2011-03-08weekly0.6https://eapls.org/news/jobs/research-leaders-in-the-mathematical-and-computer-sciences-270/2011-03-03weekly0.6https://eapls.org/news/workshops/sapse-2001-ieee-compsac-workshop-264/2011-03-01weekly0.6https://eapls.org/news/workshops/tp-dis-2011-trust-and-privacy-in-distributed-information-sharing-246/2011-02-17weekly0.6https://eapls.org/news/conferences/psi11-deadline-extended-237/2011-02-14weekly0.6https://eapls.org/news/conferences/icmt-2011-call-for-papers-223/2011-02-01weekly0.6https://eapls.org/news/conferences/psi11-deadline-extended-219/2011-01-28weekly0.6https://eapls.org/news/events/eapls-phd-award-2010-call-for-nominations-120/2011-01-24weekly0.6https://eapls.org/news/conferences/ieee-wetice-2011-2nd-international-track-on-collaborative-modeling-and-simulation-call-for-papers-198/2011-01-19weekly0.6https://eapls.org/news/workshops/3rd-workshop-on-adaptive-and-reconfigurable-embedded-systems-187/2011-01-14weekly0.6https://eapls.org/news/announcements/eapls-website-and-mailing-list-181/2011-01-13weekly0.6https://eapls.org/news/jobs/postdocs-and-phd-positions-center-for-advanced-software-analysis-176/2011-01-12weekly0.6https://eapls.org/news/jobs/postdoc-position-on-logical-causality-in-distributed-systems-170/2011-01-10weekly0.6https://eapls.org/news/jobs/phd-scholarship-in-secure-services-at-casedtu-darmstadt-168/2011-01-05weekly0.6https://eapls.org/news/workshops/wir-2011-147/2010-12-07weekly0.6https://eapls.org/news/workshops/wwv-2010-45/2010-12-02weekly0.6https://eapls.org/news/workshops/international-workshop-on-formal-methods-in-software-product-line-engineering-fmsple-2010-50/2010-12-02weekly0.6https://eapls.org/news/tools/parma-polyhedra-library-011-103/2010-08-16weekly0.6https://eapls.org/news/eapls/new-board-97/2010-08-09weekly0.6https://eapls.org/news/conferences/isa-2010-submissions-until-31-may-2010-70/2010-05-19weekly0.6https://eapls.org/news/conferences/iadis-international-conference-intelligent-systems-and-agents-2010-54/2010-04-21weekly0.6https://eapls.org/news/eapls/twittercomeapls-44/2010-04-12weekly0.6https://eapls.org/news/tools/tom-9/2010-04-08weekly0.6https://eapls.org/news/tools/lcc-win-24/2010-04-08weekly0.6https://eapls.org/news/eapls/etaps-best-paper-award-2010-33/2010-03-23weekly0.6https://eapls.org/news/eapls/etaps-best-paper-award-2007-15/2008-02-20weekly0.6https://eapls.org/news/eapls/etaps-best-paper-award-2006-4/2006-05-17weekly0.6https://eapls.org/news/eapls/new-board-members-elected-5/2006-05-15weekly0.6https://eapls.org/news/eapls/eapls-board-elections-6/2006-04-04weekly0.6https://eapls.org/news/eapls/etaps-2006-march-25-april-2-vienna-7/2005-12-19weekly0.6https://eapls.org/news/books/concepts-techniques-and-models-of-computer-programming-12/2004-02-15weekly0.6