Messages by Thread
-
[Om-announce] FPS 2022 - Call for Papers (Extension)
Paria Shirani
-
[Om-announce] Industry CFP : Oct 10, 2022 | 18th ICISS 2022 | IIT Tirupati INDIA
ICISS 2022-IITT
-
[Om-announce] CfP - 29th International Symposium on Model Checking of Software - SPIN 2023
Georgiana Caltais
-
[Om-announce] CFP: Joint International Conferences - Last few weeks to submit - Published by Springer
Anu Bajaj
-
[Om-announce] RAMiCS 2023 - Third call for papers
Michael Winter
-
[Om-announce] eCrime 2022 Call For Paper: Deadline extension
Paria Shirani
-
[Om-announce] Final CFP: 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] Digital Data Processing 2022
ijwa dline . info
-
[Om-announce] TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
Qin Liu
-
[Om-announce] Second Batch UbiSec 2022 CFPs : Deadline October 10, 2022 (Extended)
Qin Liu
-
[Om-announce] 2nd CFP: 12th World Congress on Information and Communication Technologies (WICT'22) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] Paper SUBMISSION DATE EXTENDED: Aug 20, 2022 | 18th ICISS 2022 | IIT Tirupati INDIA
ICISS 2022-IITT
-
[Om-announce] 2nd CFP: 14th World Congress on Nature and Biologically Inspired Computing (NaBIC 2022) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] CFP: PADL 2023
Inclezan, Daniela
-
[Om-announce] TSD 2022 - Call for Demonstrations and Participation
TSD 2022
-
[Om-announce] 2nd CFP: 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA'22) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] Extension of Paper Submission Deadline: Aug 06, 2022 | 18th ICISS 2022 | IIT Tirupati INDIA
KALIDAS Y
-
[Om-announce] Final CfP: FM 2023 - 25th International Symposium on Formal Methods
Violet Ka I Pun
-
[Om-announce] 2nd CFP: 14th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2022) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] 2nd CFP: 18th International Conference on Information Assurance and Security (IAS 2022) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] 2nd CFP: 22nd International Conference on Hybrid Intelligent Systems (HIS'22) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] Call for Participation -- Mathematics of Program Construction 2022
Daggitt, Matthew
-
[Om-announce] Gentle reminder - Paper Submission Deadline: Aug 06, 2022 | 18th ICISS 2022 | IIT Tirupati INDIA
KALIDAS Y
-
[Om-announce] [CFP] 27th European Symposium on Research in Computer Security (ESORICS) 2022
[ESORICS] CALL FOR POSTERS
-
[Om-announce] [Deadline Approaching, July 27 -- firm --] Call for Papers - CBT 2022, Cryptocurrencies and Blockchain Technology, co-located with ESORICS 2022, LNCS proceedings & special issues, Copenhagen, Denmark, 29-30 Sep 2022
Joaquin Garcia-Alfaro
-
[Om-announce] [Vardi-list] How to be an ethical computer scientist
Moshe Y Vardi
-
[Om-announce] [Deadline Approaching, July 27 -- firm --] Call for Papers - DPM 2022, Data Privacy Management, co-located with ESORICS 2022, LNCS proceedings & special issues, Copenhagen, Denmark, 30 Sep 2022
Guillermo Navarro-Arribas
-
[Om-announce] 2nd CFP: 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) - Online - Springer Publication
Anu Bajaj
-
[Om-announce] Axiomatization of Some Basic and Modal Boolean Connexive Logics
jean-yves beziau
-
[Om-announce] QEST 2022 Call for Participation
QEST Publicity
-
[Om-announce] Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for Participation (updated)
RADU IOSIF
-
[Om-announce] CICM 2022, final call for applications to the doctoral programme, 15. July 2022
Serge Autexier
-
[Om-announce] FPS 2022 - Call for Papers (Abstract Deadline: Sep 16, 2022)
Paria Shirani
-
[Om-announce] [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
Moshe Y Vardi
-
[Om-announce] LUW July 6: Unification in Pretabular Extensions of S4
jean-yves beziau
-
[Om-announce] RCRA 2022 last call for paper (-5 days to deadline)
cfp
-
[Om-announce] CFP: Big Data Mining and Analytics Special Issue on Privacy-Preserving Data Mining for Artificial Intelligence of Things
Youyang Qu
-
[Om-announce] CFA International Symposium on ARC
ARC Info UVT
-
[Om-announce] Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for Participation
RADU IOSIF
-
[Om-announce] EuroProofNet WG2 kickoff meeting
geoff
-
[Om-announce] [OVERLAY] Overlay 2022: Call for Papers
Geatti Luca
-
[Om-announce] [Deadline Extended, July 27 -- firm --] Call for Papers - DPM 2022, Data Privacy Management, co-located with ESORICS 2022, LNCS proceedings & special issues, Copenhagen, Denmark, 30 Sep 2022
Guillermo Navarro-Arribas
-
[Om-announce] LPNMR 2022: Call for participation (Early reg. By July 20th)
cfp
-
[Om-announce] [Extension: CPSIoTSec 2022] The Workshop on CPS&IoT Security and Privacy **Submission Deadline: July 25, 2022**
alcaraz
-
[Om-announce] Datalog 2.0 2022 - Third Call for Papers
cfp
-
[Om-announce] Healthcom 2022 Workshop S&REHIS 2022 CFP
Kashif Akhtar Saleem
-
[Om-announce] [Approaching deadline: CPSIoTSec 2022] The Workshop on CPS&IoT Security and Privacy **Submission Deadline: June 25, 2022**
alcaraz
-
[Om-announce] LPNMR 2022: First call for Doctoral Consortium
cfp
-
[Om-announce] [FSEN 2023] First Call for Papers FSEN 2023
Maurice ter Beek
-
[Om-announce] TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Aug. 15
Qin Liu
-
[Om-announce] REMINDER CFP:ISSA: INTELLIGENT SYSTEMS, SERVICES AND APPLICATIONS 16th IEEE SITIS 2022 conference
Mattia Occhipinti
-
[Om-announce] UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Aug. 15
Qin Liu
-
[Om-announce] 14th International Summer School on Verification Technology, Systems & Applications
geoff
-
[Om-announce] [Deadline Approaching, June 24] Call for Papers - CBT 2022, co-located with ESORICS 2022, LNCS proceedings, Copenhagen, Denmark, 30 Sep 2022
Joaquin Garcia-Alfaro
-
[Om-announce] Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET
jean-yves beziau
-
[Om-announce] [Vardi-list] FW: FLOC 2022 -- Call For Participation
Moshe Y Vardi
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Call for participation
Xavier Caruso
-
[Om-announce] IEEE ITNAC 2022 Hybrid Wellington New Zealand 30 Nov-2 Dec
Committee AAICT
-
[Om-announce] ICLP 2022: Call for Participation
Víctor Pérez
-
[Om-announce] INVITATION TO ATTEND A WORKSHOP ON RESEARCH DESIGN, MOBILE DATA COLLECTION AND MAPPING AND DATA ANALYSIS USING NVIVO AND R ON 4TH to 15TH JULY 2022
Skills for Africa Training Institute
-
[Om-announce] DPM2022 - Data Privacy Management IW (ESORICS 2022) - CFP
Guillermo Navarro-Arribas
-
[Om-announce] TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Zhangjiajie, China, November 15 - 18, 2022
Qin Liu
-
[Om-announce] UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Zhangjiajie, China, November 15 - 18, 2022
Qin Liu
-
[Om-announce] [CPF: CPSIoTSec 2022] The Workshop on CPS&IoT Security and Privacy **Submission Deadline: June 25, 2022**
alcaraz
-
[Om-announce] [CFP - IEEE TII: June 30!] Special Section on Digital Twin for Industrial Internet of Things, IEEE Transactions on Industrial Informatics
alcaraz
-
[Om-announce] LUW June 8, Ciro Russo, Winner of the 2nd World Logic Prizes Contest
jean-yves beziau
-
[Om-announce] IEEE CloudCom 2022 CFP
Senbo Fu
-
[Om-announce] Deadline in 4 weeks 🗳 Election Infrastructure Security (EIS 2022)
Massimiliano Albanese
-
[Om-announce] IJCAR-11 - Call for participation
geoff
-
[Om-announce] GandALF 2022 -- Call For Papers [extended deadline]
Pierre Ganty
-
[Om-announce] RCRA 2022 - 1st call for papers
cfp
-
[Om-announce] [Call for Participation - IWQoS]: IEEE/ACM International Symposium on Quality of Service (IWQoS 2022)
alcaraz
-
[Om-announce] WCP6 and SQUARE7 - Deadline Extension: May 31st
jean-yves beziau
-
[Om-announce] Second CfP: FM 2023 - 25th International Symposium on Formal Methods
Violet Ka I Pun
-
[Om-announce] [Deadline Extension] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
[Om-announce] [APPROACHING DEADLINE - ESORICS 2022]: CFP: 27th European Symposium on Research in Computer Security (ESORICS) 2022 *** Abstract: May 22, 2022 and Full Paper: May 29, 2022 ***
alcaraz
-
[Om-announce] Deadline approaching: SECRYPT 2022 - Call for Posters (deadline: May 22, 2022 AoE)
Sabrina De Capitani di Vimercati
-
[Om-announce] [CfP] F-IDE 2022: The 7th Workshop on Formal Integrated Development Environment
Son Hoang
-
[Om-announce] [Extended Abstract and Full Paper; CFP: ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022 *** Abstract: May 22, 2022 and Full Paper: May 19, 2022 ***
alcaraz
-
[Om-announce] [Vardi-list] FLoC 2022 Call for Student Volunteers
Moshe Y Vardi
-
[Om-announce] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
geoff
-
[Om-announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics
Serge Autexier
-
[Om-announce] SECRYPT 2022 - Call for Posters (deadline: May 22, 2022 AoE)
Sabrina De Capitani di Vimercati
-
[Om-announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)
Alexandre Madeira
-
[Om-announce] TrustData2022 CFP: Zhangjiajie, China, November 15-18, 2022
Qin Liu
-
[Om-announce] [Last call] IEEE GLOBECOM22 - Social Networks
Jui-Yi Tsai
-
[Om-announce] Runtime Verification RV'22 deadline extension
Thao Dang
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Third call for posters and software presentations - Deadline extended
Xavier Caruso
-
[Om-announce] UbiSec 2022 CFP: Zhangjiajie, China, November 15 - 18, 2022
Qin Liu
-
[Om-announce] IEEE CNS 2022 (CFP)
Emmanouil Vasilomanolakis
-
(PN) ERRATA CORRIGE: CfP 1ST ITALIAN CONFERENCE ON BIG DATA AND DATA SCIENCE (ITADATA 2022)
Mattia Occhipinti
-
[Om-announce] WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
-
[Om-announce] QBF 2022 -- 2nd CFP
HUBERT MING CHEN
-
[Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Serge Autexier
-
[Om-announce] Deadline approaching: SECRYPT 2022 - 19th International Conference on Security and Cryptography
Sabrina De Capitani di Vimercati
-
[Om-announce] Call for Presentations: VardiFest22
Kristin Yvonne Rozier
-
[Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers
Serge Autexier
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Second call for posters and software presentations
Xavier Caruso
-
[Om-announce] Second Call for Papers SYNASC 2022
SYNASC 2022
-
[Om-announce] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
cfp
-
[Om-announce] QEST 2022 Call for Papers: Deadline Extension
QEST Publicity
-
[Om-announce] 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[Om-announce] GandALF 2022 -- 2nd Call For Papers
Pierre Ganty
-
[Om-announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals
Violet Ka I Pun
-
[Om-announce] [Deadline Extended] IEEE GLOBECOM22 - Social Networks
Jui-Yi Tsai
-
[Om-announce] CFP AND CHAIRS OF CNS2022
Chen
-
[Om-announce] [CFP] 2022 IEEE International Conference on Cyber Security and Resilience -- Deadline Approaching
info
-
[Om-announce] TSD 2022 - Deadline Extended, Call for Papers
TSD 2022
-
[Om-announce] Runtime Verification RV'22 will go HYBRID (virtual+physical) - Submission May 5
Thao Dang
-
[Om-announce] Deadline extended: SECRYPT 2022 - 19th International Conference on Security and Cryptography
Sabrina De Capitani di Vimercati
-
[Om-announce] LPNMR 2022 - Last Call for Papers
cfp
-
[Om-announce] MPC 2022 - Deadline extension
Daggitt, Matthew
-
[Om-announce] Fwd: CALL FOR PAPERS: IEEE ITNAC 2022 Conference
Nazmus Nafi
-
[Om-announce] Tenure-track assistant professor in Formal Aspects of Programming Languages
Coen DE ROOVER
-
[Om-announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)
Alexandre Madeira
-
[Om-announce] SECRYPT 2022 - Second Call for Papers (deadline April 14, 2022)
Sabrina De Capitani di Vimercati
-
[Om-announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022
Marco Caminati
-
[Om-announce] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE
Heyninck, Jesse
-
[Om-announce] [ISSAC-ANNOUNCE] [ISSAC 2022] CALL FOR POSTERS AND SOFTWARE PRESENTATIONS
ISSAC 2022 Organization Committee
-
[Om-announce] [ISSAC-ANNOUNCE] [ISSAC 2022] Important Information concerning participation
ISSAC 2022 Organization Committee
-
[Om-announce] QEST 2022: Last Call for Papers
QEST Publicity
-
[Om-announce] TSD 2022 - 2nd Call for Papers
TSD 2022
-
[Om-announce] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers
geoff
-
[Om-announce] Second Call for Papers - Runtime Verification RV'22 (Computational Logic Autumn Summit, Tbilisi, Georgia, Sept 28-30)
Thao Dang
-
[Om-announce] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
-
(PN) CFP: CoopIS 2022: The 28th International Conference on Cooperative Information Systems
Mattia Occhipinti
-
[Om-announce] [CFP] New Submission Opportunity :: SIMULTECH 2022 (April 21, 2022)
calendarsites
-
[Om-announce] Final Call for Papers -- Mathematics of Program Construction 2022
Daggitt, Matthew
-
[Om-announce] PLP 2022 - Call for Papers
Víctor Pérez
-
[Om-announce] Datalog 2.0 - 1st Call for Papers
cfp
-
[Om-announce] WADT 2022 -- Deadeline extension
Alexandre Madeira
-
[Om-announce] ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs - Call for papers
Víctor Pérez
-
[Om-announce] [CFP] New Submission Opportunity :: Smart Business Technologies 2022 (April 21, 2022)
calendarsites
-
[Om-announce] CAUSAL 2022 - Call for papers
Víctor Pérez
-
[Om-announce] ASPOCP 2022 - Call for papers
Víctor Pérez
-
[Om-announce] LPNMR 2022 - 2nd Call for Papers
cfp
-
[Om-announce] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
[Om-announce] Call for papers: QBF '22
HUBERT MING CHEN
-
[Om-announce] [CFP] 2022 IEEE International Conference on Cyber Security and Resilience -- Deadline Extended
info
-
[Om-announce] Deadline Approaching: IEEE SERVICES 2022
Chen Wang
-
[Om-announce] Deadline Approaching: IEEE CLOUD 2022
Chen Wang
-
[Om-announce] [IEEE QSW 2022] Submission Deadline Approaching (April 1st, 2022)
Antonio Garmendia
-
[Om-announce] Extended Deadline: Call for Papers: CD-MAKE 2022
SBA Research Events
-
[Om-announce] CFP: IEEE International Conference on Digital Health
Maria Valero de Clemente
-
[Om-announce] ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming
Víctor Pérez
-
[Om-announce] CFP:ISSA: INTELLIGENT SYSTEMS, SERVICES AND APPLICATIONS 16th IEEE SITIS 2022 conference
Mattia Occhipinti
-
[Om-announce] Bill McCune PhD Award 2021 - Call for Nominations
geoff
-
[Om-announce] Recently Published Research Track of KR2022
Heyninck, Jesse
-
[Om-announce] [CFP] 12th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications :: Submission Deadline - 22nd of March
calendarsites
-
[Om-announce] [Extended CFP] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)
Sergio González Muriel
-
[Om-announce] TAP22: Tests and Proofs 2022 - Call for Papers
geoff
-
[Om-announce] QSW 2022 : CfP[New extended deadline]: IEEE International Conference on Quantum Software @ IEEE
Antonio Garmendia
-
[Om-announce] TSD 2022 - 1st Call for Papers
TSD 2022
-
[Om-announce] 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers
geoff
-
[Om-announce] CD-MAKE 2022 - Call for Papers
SBA Research Events
-
[Om-announce] Extended Deadline: Call for Papers: ARES 2022
SBA Research Events
-
[Om-announce] iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications
geoff
-
[Om-announce] Deadlines approaching: 15/20 Mar | EICC 2022 (15-16 Jun, Barcelona, Spain)
S Vrhovec
-
[Om-announce] [CfP] 6th IEEE International Symposium on Measurements and Networking (M&N2022), Special Session on SECURITY AND PRIVACY IN CYBER-PHYSICAL SYSTEMS
Alessandro Brighente
-
[Om-announce] [CFP] 2022 IEEE International Conference on Cyber Security and Resilience
info
-
[Om-announce] CFP: Recently Published Research Track of KR2022
Heyninck, Jesse
-
[Om-announce] QEST 2022: Second Call for Papers
QEST Publicity
-
[Om-announce] GandALF 2022 -- 1st Call For Papers
Pierre Ganty
-
[Om-announce] LPNMR 2022 - last call for workshops - 3 days to deadline
cfp
-
[Om-announce] ICGT 2022: Second Call for Papers
Daniel Strüber
-
[Om-announce] [CFP]19th Int. Conf. on Smart Business Technologies :: Submission Deadline - 2nd of March
calendarsites
-
[Om-announce] [Extended Deadline] CfP SI on Complex Systems Modelling via Hypergraphs [Entropy, MDPI]
Alessio Martino
-
[Om-announce] QSW 2022 : CfP: IEEE International Conference on Quantum Software @ IEEE
Antonio Garmendia
-
[Om-announce] CfP GCM 2022 - 13th International Workshop on Graph Computation Models
Christopher Michael POSKITT
-
[Om-announce] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers
geoff
-
[Om-announce] Deadline extension: IEEE Transactions on Industrial Informatics -- Special Section on Cyber-Physical Threats and Solutions for Autonomous Transportation Systems
Alessandro Brighente
-
[Om-announce] VPT 2022 Workshop, Extended Deadline
Lisitsa, Alexei
-
[Om-announce] IJCAR 2022 - Extended Deadline
geoff
-
[Om-announce] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming
Víctor Pérez
-
[Om-announce] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms
Víctor Pérez
-
[Om-announce] [CfP] ICLP 2022 - Call for Recently Published Research Papers
Víctor Pérez
-
[Om-announce] PhD Symposium at ESOCC 2022 - Call for papers
Stefano Forti
-
[Om-announce] CFP_SMARTS&P_Submission Deadline 24-Feb
Pankaj Pandey
-
[Om-announce] CFP: The 24th International Conference on Information and Communications Security (ICICS 2022)
CFP - IEEE TII 2022