1
0
[extended June 23] CBT 2024 - CFP - International Workshop on Cryptocurrencies and Blockchain Technology (co-located with ESORICS)
by Cristina Pérez Solà 05 Jun '24
by Cristina Pérez Solà 05 Jun '24
05 Jun '24
1
0
[extended June 23] DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas 05 Jun '24
by Guillermo Navarro-Arribas 05 Jun '24
05 Jun '24
1
0
IARCS Verification Seminar Series -- Talk by Kartik Nagar on June 4 at 1900 hrs IST
by VSS IARCS 03 Jun '24
by VSS IARCS 03 Jun '24
03 Jun '24
1
0
1
0
CBT 2024 - CFP - International Workshop on Cryptocurrencies and Blockchain Technology (co-located with ESORICS)
by Cristina Pérez Solà 31 May '24
by Cristina Pérez Solà 31 May '24
31 May '24
1
0
1
0
IARCS Verification Seminar Series -- Talk by Kartik Nagar on June 4 at 1900 hrs IST
by VSS IARCS 27 May '24
by VSS IARCS 27 May '24
27 May '24
1
0
26 May '24
1
0
DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas 22 May '24
by Guillermo Navarro-Arribas 22 May '24
22 May '24
1
0
1
0
1
0
1
0
17 May '24
1
0
1
0
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Sumanth Prabhu on May 7 at 1900 hrs IST
by VSS IARCS 06 May '24
by VSS IARCS 06 May '24
06 May '24
1
0
IARCS Verification Seminar Series -- Talk by Sumanth Prabhu on May 7 at 1900 hrs IST
by VSS IARCS 02 May '24
by VSS IARCS 02 May '24
02 May '24
1
0
1
0
1
0
Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André 29 Apr '24
by Étienne André 29 Apr '24
29 Apr '24
1
0
1
0
1
0
Internship announcement: Testing blockchain consensus protocol implementation
by M Praveen 20 Apr '24
by M Praveen 20 Apr '24
20 Apr '24
2
1
2
1
1
0
1
0
Advertisement for 01 post of Post-Doctoral Fellow in Dept. of Computer Science, BHU Varanasi
by Dr. Anshul Verma 03 Apr '24
by Dr. Anshul Verma 03 Apr '24
03 Apr '24
1
0
1
0
IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS 01 Apr '24
by VSS IARCS 01 Apr '24
01 Apr '24
1
0
IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS 27 Mar '24
by VSS IARCS 27 Mar '24
27 Mar '24
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS 18 Mar '24
by VSS IARCS 18 Mar '24
18 Mar '24
1
0
IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS 13 Mar '24
by VSS IARCS 13 Mar '24
13 Mar '24
1
0
Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André 05 Mar '24
by Étienne André 05 Mar '24
05 Mar '24
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Thejaswini Raghavan on Jan. 23 at 1900 hrs IST
by VSS IARCS 22 Jan '24
by VSS IARCS 22 Jan '24
22 Jan '24
1
0
IARCS Verification Seminar Series -- Talk by Thejaswini Raghavan on Jan. 23 at 1900 hrs IST
by VSS IARCS 17 Jan '24
by VSS IARCS 17 Jan '24
17 Jan '24
1
0
1
0
1
0
Internship opportunity for formal methods PhD students at GE Aerospace India
by Supratik Chakraborty 02 Jan '24
by Supratik Chakraborty 02 Jan '24
02 Jan '24
1
0
1
0
1
0
Tutorial on Civl verifier for concurrent programs @ POPL 2024, January 14, 2024
by Shaz Qadeer 28 Nov '23
by Shaz Qadeer 28 Nov '23
28 Nov '23
1
0
IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS 28 Nov '23
by VSS IARCS 28 Nov '23
28 Nov '23
1
0
8th Indian SAT+SMT School -- Second call for participation & short/poster presentation
by Kumar Madhukar 28 Nov '23
by Kumar Madhukar 28 Nov '23
28 Nov '23
1
0
Call For Abstracts for 1st Workshop on GenAI based Software Engineering (https://genai4se.github.io/ISEC-Workshop/)
by Raveendra Medicherla 27 Nov '23
by Raveendra Medicherla 27 Nov '23
27 Nov '23
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS 21 Nov '23
by VSS IARCS 21 Nov '23
21 Nov '23
1
0
1
0
CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal@annauniv.edu 15 Nov '23
by gopal@annauniv.edu 15 Nov '23
15 Nov '23
1
0
CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal 15 Nov '23
by gopal 15 Nov '23
15 Nov '23
1
1
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS 09 Oct '23
by VSS IARCS 09 Oct '23
09 Oct '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS 03 Oct '23
by VSS IARCS 03 Oct '23
03 Oct '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS 14 Sep '23
by VSS IARCS 14 Sep '23
14 Sep '23
1
0
IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS 11 Sep '23
by VSS IARCS 11 Sep '23
11 Sep '23
1
0
1
0
1
0
1
0
Fwd: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
by akshay 28 Jul '23
by akshay 28 Jul '23
28 Jul '23
1
0
1
0
[Deadline Extension] CFP: ICISS-2023 - the 19th International Conference on Information Systems Security (August 10, 2023)
by Madhavan Mukund 22 Jul '23
by Madhavan Mukund 22 Jul '23
22 Jul '23
1
0
17 Jul '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS 10 Jul '23
by VSS IARCS 10 Jul '23
10 Jul '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS 04 Jul '23
by VSS IARCS 04 Jul '23
04 Jul '23
1
0
1
0
1
0
1
0
[Deadline June 30 firm] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue
by Guillermo Navarro-Arribas 29 Jun '23
by Guillermo Navarro-Arribas 29 Jun '23
29 Jun '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST
by VSS IARCS 19 Jun '23
by VSS IARCS 19 Jun '23
19 Jun '23
1
0
IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST
by VSS IARCS 17 Jun '23
by VSS IARCS 17 Jun '23
17 Jun '23
1
0
CFP - ICISS 2023 - 19th International Conference on Information Systems Security (16-20 December, India)
by Madhavan Mukund 06 Jun '23
by Madhavan Mukund 06 Jun '23
06 Jun '23
1
0
1
0
[June 16] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue, The Hague, The Netherlands, September 2023
by Guillermo Navarro-Arribas 06 Jun '23
by Guillermo Navarro-Arribas 06 Jun '23
06 Jun '23
1
0
CRiSIS 2023 CfP: The 18th International Conference on Risks and Security of Internet and Systems
by Guillermo Navarro-Arribas 26 May '23
by Guillermo Navarro-Arribas 26 May '23
26 May '23
1
0
1
0
08 May '23
1
0
05 May '23
1
0
1
0
1
0
1
0
19 Apr '23
1
0
IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS 16 Apr '23
by VSS IARCS 16 Apr '23
16 Apr '23
1
0
WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC
by Tephilla 16 Apr '23
by Tephilla 16 Apr '23
16 Apr '23
1
0
IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS 10 Apr '23
by VSS IARCS 10 Apr '23
10 Apr '23
1
0
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS 13 Mar '23
by VSS IARCS 13 Mar '23
13 Mar '23
1
0
cfp for IEEE Edge 2023; submission deadline = Extended deadline March 25, 2023.
by Nitin Auluck 09 Mar '23
by Nitin Auluck 09 Mar '23
09 Mar '23
1
0
1
0
IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS 07 Mar '23
by VSS IARCS 07 Mar '23
07 Mar '23
1
0
1
0
1
0
Numerical Computations: Theory and Algorithms' [NUMTA2023] - 14 to 20 June 2023 in Calabria, Italy
by gopal 21 Feb '23
by gopal 21 Feb '23
21 Feb '23
1
0
13 Feb '23
1
0
1
0
10 Feb '23
1
0
IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST
by VSS IARCS 07 Feb '23
by VSS IARCS 07 Feb '23
07 Feb '23
1
0
05 Feb '23
1
0
01 Feb '23
1
0
IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST
by VSS IARCS 30 Jan '23
by VSS IARCS 30 Jan '23
30 Jan '23
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST
by VSS IARCS 02 Jan '23
by VSS IARCS 02 Jan '23
02 Jan '23
1
0
IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST
by VSS IARCS 30 Dec '22
by VSS IARCS 30 Dec '22
30 Dec '22
1
0
1
0
IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST
by VSS IARCS 05 Dec '22
by VSS IARCS 05 Dec '22
05 Dec '22
1
0
IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST
by VSS IARCS 28 Nov '22
by VSS IARCS 28 Nov '22
28 Nov '22
1
0
1
0
1
0
1
0
IARCS Verification Seminar Series -- Talk by Shibashis Guha on Nov. 1 at 1900 hrs IST
by VSS IARCS 31 Oct '22
by VSS IARCS 31 Oct '22
31 Oct '22
1
0
1
0
UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu 26 Oct '22
by Qin Liu 26 Oct '22
26 Oct '22
1
0
TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu 26 Oct '22
by Qin Liu 26 Oct '22
26 Oct '22
1
0
UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu 26 Oct '22
by Qin Liu 26 Oct '22
26 Oct '22
1
0
IARCS Verification Seminar Series -- Talk by Shibashis Guha on Nov. 1 at 1900 hrs IST
by VSS IARCS 26 Oct '22
by VSS IARCS 26 Oct '22
26 Oct '22
1
0
First Call for Papers ABZ2023 International Conference on Rigorous State Based Methods
by Étienne André 24 Oct '22
by Étienne André 24 Oct '22
24 Oct '22
1
0
TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu 13 Oct '22
by Qin Liu 13 Oct '22
13 Oct '22
1
0
IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST
by VSS IARCS 03 Oct '22
by VSS IARCS 03 Oct '22
03 Oct '22
1
0
IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST
by VSS IARCS 30 Sep '22
by VSS IARCS 30 Sep '22
30 Sep '22
1
0
1
0
FINAL CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V 28 Sep '22
by Sreejith A V 28 Sep '22
28 Sep '22
1
0
UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu 26 Sep '22
by Qin Liu 26 Sep '22
26 Sep '22
1
0
TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu 26 Sep '22
by Qin Liu 26 Sep '22
26 Sep '22
1
0
THIRD CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V 16 Sep '22
by Sreejith A V 16 Sep '22
16 Sep '22
1
0
13 Sep '22
1
0
IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST
by VSS IARCS 05 Sep '22
by VSS IARCS 05 Sep '22
05 Sep '22
1
0
IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST
by VSS IARCS 29 Aug '22
by VSS IARCS 29 Aug '22
29 Aug '22
1
0
TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu 29 Aug '22
by Qin Liu 29 Aug '22
29 Aug '22
1
0
29 Aug '22
1
0
Post-doc hiring in Singapore-French collaborative program Descartes on Formal Reasoning and AI
by Abhik Roychoudhury 25 Aug '22
by Abhik Roychoudhury 25 Aug '22
25 Aug '22
1
0
1
0