January 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Jan 4 09:43:58 IST 2022
Ending: Mon Jan 31 21:59:40 IST 2022
Messages: 18

• [FM-India] IARCS Verification Seminar Series -- Talk by Rohan Bavishi on January 4, 1900 hrs IST   VSS IARCS
• [FM-India] CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4)   Madhavan Mukund
• [FM-India] Deadline approaching: 15 Jan 2022 | EICC 2022, 15-16 Jun 2022, Barcelona, Spain (face-to-face & online)   S Vrhovec
• [FM-India] Runtime Verification 2022 - Call for Papers - Submission 5 May 2022   Thao Dang
• [FM-India] WST 2022 - Call for Papers   Madhavan Mukund
• [FM-India] CfPapers: Petri Nets 2022: deadlines extended - abstracts Jan 20 - full papers Jan. 27   Madhavan Mukund
• [FM-India] [Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming   Madhavan Mukund
• [FM-India] PLP 2022: The 9th Workshop on Probabilistic Logic Programming   Madhavan Mukund
• [FM-India] FORMALISE 2022 - SUBMISSION DEADLINE EXTENDED TO JANUARY 27   Madhavan Mukund
• [FM-India] CFP: PaPoC '22   Madhavan Mukund
• [FM-India] ATAED 2022   Paolo Ceravolo
• [FM-India] TASE 2022 (Cluj-Napoca, Romania): 3rd call for papers   Étienne André
• [FM-India] EICC 2022 (15-16 Jun, Barcelona, Spain) — Deadline extended: 15 Feb   S Vrhovec
• [FM-India] CCPE Special Issue CFP： Secure Smart World Submission Deadline Extended to Mar. 31   Qin Liu
  • [FM-India] CCPE Special Issue CFP： Secure Smart World Submission Deadline Extended to Mar. 31   Qin Liu
• [FM-India] IARCS Verification Seminar Series -- Talk by Ramanathan Thinniyam on February 1, 1900 hrs IST   VSS IARCS
  • [FM-India] IARCS Verification Seminar Series -- Talk by Ramanathan Thinniyam on February 1, 1900 hrs IST   VSS IARCS
• [FM-India] DisCoTec final CFP [extended deadline]   Madhavan Mukund

Last message date: Mon Jan 31 21:59:40 IST 2022
Archived on: Mon Jan 31 21:59:42 IST 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...