1
0
1
0
17 May '26
1
0
DPM 2026 - CFP - Data Privacy Manamgement, co-located with ESORICS 2026
by Guillermo Navarro-Arribas 14 May '26
by Guillermo Navarro-Arribas 14 May '26
14 May '26
1
0
IARCS Verification Seminar Series -- Talk by Soumyadip Bandyopadhyay on May 12 at 1900 hrs IST
by VSS IARCS 11 May '26
by VSS IARCS 11 May '26
11 May '26
1
0
IARCS Verification Seminar Series -- Talk by Soumyadip Bandyopadhyay on May 12 at 1900 hrs IST
by VSS IARCS 05 May '26
by VSS IARCS 05 May '26
05 May '26
1
0
2nd Call for Papers: SYNT 2026 (FLoC workshop), 25 July, Lisbon (deadline extended to May 15)
by Supratik Chakraborty 01 May '26
by Supratik Chakraborty 01 May '26
01 May '26
1
0
01 May '26
1
0
01 May '26
1
0
1
0
1
0
[CFP - LAST CALL] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito 09 Apr '26
by Alfonso Esposito 09 Apr '26
09 Apr '26
1
0
1
0
IARCS Verification Seminar Series -- Talk by Ashish Mishra on April 07 at 1900 hrs IST
by VSS IARCS 06 Apr '26
by VSS IARCS 06 Apr '26
06 Apr '26
1
0
First CfP: SYNT 2026, 15th Workshop on Synthesis (Lisbon, Portugal), July 25, 2026
by Supratik Chakraborty 31 Mar '26
by Supratik Chakraborty 31 Mar '26
31 Mar '26
1
0
IARCS Verification Seminar Series -- Talk by Ashish Mishra on April 07 at 1900 hrs IST
by VSS IARCS 30 Mar '26
by VSS IARCS 30 Mar '26
30 Mar '26
1
0
[CFP - Extended Deadline] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito 25 Mar '26
by Alfonso Esposito 25 Mar '26
25 Mar '26
1
0
17 Mar '26
1
5
[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito 13 Mar '26
by Alfonso Esposito 13 Mar '26
13 Mar '26
1
0
CFP Announcement: 22nd Int Conf on Information & Systems Security (ICISS-2026), Dec 16-20 2026
by Madhavan Mukund 10 Mar '26
by Madhavan Mukund 10 Mar '26
10 Mar '26
1
0
IARCS Verification Seminar Series -- Talk by Siddhartha Prasad on March 10 at 1900 hrs IST
by VSS IARCS 09 Mar '26
by VSS IARCS 09 Mar '26
09 Mar '26
1
0
Call For Papers: ICTAC'26 -- 11-13 of November, 2026 -- Bariloche, Argentina
by B Srivathsan 09 Mar '26
by B Srivathsan 09 Mar '26
09 Mar '26
1
0
IARCS Verification Seminar Series -- Talk by Siddhartha Prasad on March 10 at 1900 hrs IST
by VSS IARCS 03 Mar '26
by VSS IARCS 03 Mar '26
03 Mar '26
1
0
[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito 02 Mar '26
by Alfonso Esposito 02 Mar '26
02 Mar '26
1
0
[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito 24 Feb '26
by Alfonso Esposito 24 Feb '26
24 Feb '26
1
0
1
0
20 Feb '26
1
0
13 Feb '26
1
0
IARCS Verification Seminar Series -- Talk by Ashwani Anand on Feb. 10 at 1900 hrs IST
by VSS IARCS 10 Feb '26
by VSS IARCS 10 Feb '26
10 Feb '26
1
0
IARCS Verification Seminar Series -- Talk by Ashwani Anand on Feb. 10 at 1900 hrs IST
by VSS IARCS 04 Feb '26
by VSS IARCS 04 Feb '26
04 Feb '26
1
0
Focus Programme in Formal Methods and Artificial Intelligence - Feb 2 to 6 - CMI
by B Srivathsan 23 Jan '26
by B Srivathsan 23 Jan '26
23 Jan '26
1
0
1
0
[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito 14 Jan '26
by Alfonso Esposito 14 Jan '26
14 Jan '26
1
0
06 Jan '26
1
0
[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito 05 Jan '26
by Alfonso Esposito 05 Jan '26
05 Jan '26
1
0
[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito 27 Dec '25
by Alfonso Esposito 27 Dec '25
27 Dec '25
1
0
[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito 24 Dec '25
by Alfonso Esposito 24 Dec '25
24 Dec '25
1
0
1
0
[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito 06 Dec '25
by Alfonso Esposito 06 Dec '25
06 Dec '25
1
0
1
0
Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops
by Shibashis Guha 01 Dec '25
by Shibashis Guha 01 Dec '25
01 Dec '25
1
0
01 Dec '25
1
0
1
1
CFP - NetRobiCS 2026 (IEEE INFOCOM) 19th International Workshop on Networked Robotics and Communication System
by Alfonso Esposito 25 Nov '25
by Alfonso Esposito 25 Nov '25
25 Nov '25
1
0
1
0
24 Nov '25
1
0
Re: IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by KC Sivaramakrishnan 18 Nov '25
by KC Sivaramakrishnan 18 Nov '25
18 Nov '25
1
0
IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by VSS IARCS 18 Nov '25
by VSS IARCS 18 Nov '25
18 Nov '25
2
1
1
0
10th Indian SAT+SMT School (co-located with FSTTCS 2025) -- Call for participation
by VSS IARCS 16 Nov '25
by VSS IARCS 16 Nov '25
16 Nov '25
1
0
IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by VSS IARCS 15 Nov '25
by VSS IARCS 15 Nov '25
15 Nov '25
1
0
CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy
by Clément Aubert 12 Nov '25
by Clément Aubert 12 Nov '25
12 Nov '25
1
0
1
0
1
0
22 Oct '25
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS 15 Sep '25
by VSS IARCS 15 Sep '25
15 Sep '25
1
0
IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS 12 Sep '25
by VSS IARCS 12 Sep '25
12 Sep '25
1
0
RHPL@FSTTCS 2025: Third Call for Talk and Poster Proposals | Deadline: September 18
by abhisekh.sankaran@tcs.com 12 Sep '25
by abhisekh.sankaran@tcs.com 12 Sep '25
12 Sep '25
1
0
MMAC Workshop (co-located with ATVA 2025): Call for participation and poster submission
by VSS IARCS 08 Sep '25
by VSS IARCS 08 Sep '25
08 Sep '25
1
0
1
0
25 Aug '25
1
1
2
3
20 Aug '25
1
0
20 Aug '25
1
0
1
0
1
0
1
0
1
0
28 Jul '25
1
0
1
0
1
4
03 Jul '25
1
0
1
0
18 Jun '25
1
0
1
0
IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS 12 Jun '25
by VSS IARCS 12 Jun '25
12 Jun '25
1
0
IARCS Verification Seminar Series -- Talk by Shahaf Bassan postponed to June 12, 1900 hrs IST
by VSS IARCS 09 Jun '25
by VSS IARCS 09 Jun '25
09 Jun '25
1
0
DPM 2025 - CFP - Data Privacy Manamgement, co-located with ESORICS 2025
by Guillermo Navarro-Arribas 06 Jun '25
by Guillermo Navarro-Arribas 06 Jun '25
06 Jun '25
1
0
IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 10 at 1900 hrs IST
by VSS IARCS 01 Jun '25
by VSS IARCS 01 Jun '25
01 Jun '25
1
0
1
0
1
0
Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)
by Jorge A. Pérez 22 May '25
by Jorge A. Pérez 22 May '25
22 May '25
1
0
IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST
by VSS IARCS 19 May '25
by VSS IARCS 19 May '25
19 May '25
1
0
IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST
by VSS IARCS 13 May '25
by VSS IARCS 13 May '25
13 May '25
1
0
08 May '25
1
0
Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23.
by Jorge A. Pérez 08 May '25
by Jorge A. Pérez 08 May '25
08 May '25
1
0
05 May '25
1
0
Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 30 Apr '25
by Qin Liu 30 Apr '25
30 Apr '25
1
0
1
0
Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 21 Apr '25
by Qin Liu 21 Apr '25
21 Apr '25
1
0
1
0
Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 14 Apr '25
by Qin Liu 14 Apr '25
14 Apr '25
1
0
1
0
IARCS Verification Seminar Series -- Talk by Nikhil Swamy on April 8 at 1900 hrs IST
by VSS IARCS 07 Apr '25
by VSS IARCS 07 Apr '25
07 Apr '25
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Nikhil Swamy on April 8 at 1900 hrs IST
by VSS IARCS 04 Apr '25
by VSS IARCS 04 Apr '25
04 Apr '25
1
0
Waklert 150 Mg: Best Solution For People With Chronic Fatigue | cheaptrustedpharmacy
by ameliasmith7891@gmail.com 04 Apr '25
by ameliasmith7891@gmail.com 04 Apr '25
04 Apr '25
1
0
1
0
1
0
1
0
1
0
Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering
by Arpit Sharma 17 Mar '25
by Arpit Sharma 17 Mar '25
17 Mar '25
1
0
CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 12 Mar '25
by Qin Liu 12 Mar '25
12 Mar '25
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS 03 Mar '25
by VSS IARCS 03 Mar '25
03 Mar '25
1
0
CFP: 1st Workshop on Hot Topics in Distributed Machine Learning @ IEEE ICDCS 2025. Deadline: March 16th, 2025
by HotDiML-Workshop 03 Mar '25
by HotDiML-Workshop 03 Mar '25
03 Mar '25
1
0
03 Mar '25
1
0
IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS 27 Feb '25
by VSS IARCS 27 Feb '25
27 Feb '25
1
0
1
0
1
0
The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers Extension
by Neeraj Kumar Singh 14 Feb '25
by Neeraj Kumar Singh 14 Feb '25
14 Feb '25
1
0
CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 10 Feb '25
by Qin Liu 10 Feb '25
10 Feb '25
1
0
The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers
by Neeraj Kumar Singh 04 Feb '25
by Neeraj Kumar Singh 04 Feb '25
04 Feb '25
1
0
1
0
CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu 24 Jan '25
by Qin Liu 24 Jan '25
24 Jan '25
1
0
1
0
1
0
1
0
1
0
1
0
1
0
World Logic Day talk by Prof. Moshe Vardi | Today, 14 January
by abhisekh.sankaran@tcs.com 14 Jan '25
by abhisekh.sankaran@tcs.com 14 Jan '25
14 Jan '25
1
0
1
0
13 Jan '25
1
0
12 Jan '25
1
0
1
0
1
0
1
0
The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers
by Neeraj Kumar Singh 08 Jan '25
by Neeraj Kumar Singh 08 Jan '25
08 Jan '25
1
0
IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS 07 Jan '25
by VSS IARCS 07 Jan '25
07 Jan '25
1
0
1
0
Fwd: Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana 06 Jan '25
by Purbita Jana 06 Jan '25
06 Jan '25
1
0
05 Jan '25
1
0
IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS 04 Jan '25
by VSS IARCS 04 Jan '25
04 Jan '25
1
0
1
0
03 Jan '25
1
0
1
0
1
0
1
0
1
0
Senior Project Associate/Postdoc Position - Model Checking & Formal Verification (Arpit Sharma)
by Arpit Sharma 06 Dec '24
by Arpit Sharma 06 Dec '24
06 Dec '24
1
0
1
0
1
0
Senior Project Associate/Postdoc Position - Model Checking and Formal Verification
by Arpit Sharma 26 Nov '24
by Arpit Sharma 26 Nov '24
26 Nov '24
1
0
1
0
1
0
1
0
14 Nov '24
1
0
Fwd: RE'25 Call for Papers and Contributions - 33rd IEEE International Requirements Engineering Conference
by Arpit Sharma 13 Nov '24
by Arpit Sharma 13 Nov '24
13 Nov '24
1
0
1
0
1
0
1
0
09 Nov '24
1
0
1
0
1
0
1
0
22 Oct '24
1
0
1
0
IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS 14 Oct '24
by VSS IARCS 14 Oct '24
14 Oct '24
1
0
IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS 06 Oct '24
by VSS IARCS 06 Oct '24
06 Oct '24
1
0
1
0
Junior Research Fellowship (JRF) position at the School of Technology and Computer Science at TIFR Mumbai
by Shibashis Guha 28 Sep '24
by Shibashis Guha 28 Sep '24
28 Sep '24
1
0
1
0
18 Sep '24
1
0
16 Sep '24
1
0
Call for Registration (deadline 15 Sep) || Workshop on Innovations in Compiler Technology
by Uday P. Khedker 08 Sep '24
by Uday P. Khedker 08 Sep '24
08 Sep '24
1
0
06 Sep '24
1
0
1
0
1
0
First Workshop on Innovations in Compiler Technology || Bangalore 28, 29 September 2024
by Uday Khedker 23 Aug '24
by Uday Khedker 23 Aug '24
23 Aug '24
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS 05 Aug '24
by VSS IARCS 05 Aug '24
05 Aug '24
1
0
IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS 02 Aug '24
by VSS IARCS 02 Aug '24
02 Aug '24
1
0
1
0
1
0
9th Indian SAT+SMT School -- Second call for participation and poster presentation
by Kumar Madhukar 23 Jul '24
by Kumar Madhukar 23 Jul '24
23 Jul '24
1
0
Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André 23 Jul '24
by Étienne André 23 Jul '24
23 Jul '24
1
0
20 Jul '24
1
0
1
0
Deadline Extended [CFP] 20th International Conference on Information Systems Security (ICISS-2024), December 16-20, 2024, Jaipur, India.
by Madhavan Mukund 15 Jul '24
by Madhavan Mukund 15 Jul '24
15 Jul '24
1
0
SAT 2024: Early bird registration deadline extended to July 26 AoE
by abhisekh.sankaran@tcs.com 13 Jul '24
by abhisekh.sankaran@tcs.com 13 Jul '24
13 Jul '24
1
0
9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for posters
by Kumar Madhukar 11 Jul '24
by Kumar Madhukar 11 Jul '24
11 Jul '24
1
0
1
0
05 Jul '24
1
0
9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for participation
by Kumar Madhukar 03 Jul '24
by Kumar Madhukar 03 Jul '24
03 Jul '24
1
0
1
0
1
0
1
0
1
0
DPM 2024 - [June 30 - FIRM] - CFP - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas 24 Jun '24
by Guillermo Navarro-Arribas 24 Jun '24
24 Jun '24
1
0
1
0
1
0
1
0
1
0