clean-list  

Messages by Thread

• • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague Matteo via clean-list
• [clean-list] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Muhammad ADNAN
  • [clean-list] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Muhammad ADNAN
• [clean-list] [CFP] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Mayssa HEMDANI
• [clean-list] CFP: 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
• [clean-list] DeepLearn 2021 Summer: early registration February 24 IRDTA
• [clean-list] WETICE 2021 - Call for Papers Stefano Forti
• [clean-list] Call for papers : AROSA @ WETICE 2021 Stefano Forti
• [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc via clean-list
• [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc via clean-list
• [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [clean-list] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc via clean-list
• [clean-list] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" Aneta Poniszewska-Marańda I72
  • [clean-list] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" Aneta Poniszewska-Marańda I72
• [clean-list] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management" Aneta Poniszewska-Marańda I72
• [clean-list] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks" Aneta Poniszewska-Marańda I72
• [clean-list] [Lambda Days + TFP + TFPIE 2021] call for participation Peter Achten
• [clean-list] IEEE Comets 2021 - WETICE 2021 - Call for Papers Stefano Forti
• [clean-list] MobiSPC 2021: Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing) Muhammad ADNAN
• [clean-list] Call for Papers: Applications and Systems Track (KR 2021) Thanh Dinh
• [clean-list] [Future Internet] Special Issue on "Service-Oriented Systems and Applications" Stefano Forti
• [clean-list] CALL FOR PAPERS Hồng Thơm Đinh Thị
• [clean-list] (no subject) Hồng Thơm Đinh Thị
  • [clean-list] (no subject) Ali BENZERBADJ via clean-list
• [clean-list] Call for Papers: Special Session on KR & Machine Learning(KR2021) Hồng Thơm Đinh Thị
• [clean-list] RAMiCS 2021 - CFP luigi . santocanale
• [clean-list] Call for Paper: The 2nd International Workshop on Data-Driven Security (DDSW 2021) DDSW2021 Workshop
• [clean-list] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) Peter Achten
• [clean-list] Clean mode for Emacs Shivkumar Chandrasekaran
• [clean-list] KR 2021: Call for Workshop and Tutorial Proposals Thành Đinh
  • [clean-list] KR 2021: Call for Workshop and Tutorial Proposals Thanh Dinh
• [clean-list] Call for Papers: Recently Published Research (KR2021) Thanh Dinh
• [clean-list] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) Peter Achten
• [clean-list] WST 2021 - 1st Call for Papers Samir Genaim
• [clean-list] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) Peter Achten
• [clean-list] WETICE 2021 - Call for Tracks Stefano Forti
  • [clean-list] WETICE 2021 - Call for Tracks Stefano Forti
• [clean-list] [MEDI 2021] Call for Workshops Samir ouchani
• [clean-list] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
• [clean-list] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021) Peter Achten
• [clean-list] LPOP 2020 Call for Participation Matthew Castellana
• [clean-list] [CFP]Agile and Functional Data Pipelines workshop chair
  • [clean-list] [CFP]Agile and Functional Data Pipelines workshop chair
• [clean-list] PhD Positions on Model-Based Testing at Radboud University Nijmegen Jan Tretmans
• [clean-list] CFP: Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI-21) Ferdinando Fioretto
• [clean-list] LATA 2020 & 2021: extended submission deadline October 26 IRDTA
• [clean-list] iFM 2020 (Integrated Formal Methods): Call for (Virtual) Participation iFM 2020
• [clean-list] [CfP] PADL 2021: Practical Aspects of Declarative Languages Jose F. Morales
• [clean-list] LATA 2020 & 2021: 3rd call for papers IRDTA
• [clean-list] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021) Peter Achten
• [clean-list] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021) Peter Achten
• [clean-list] LATA 2020 & 2021: 2nd call for papers IRDTA
• [clean-list] KR2020 is about to start! Theofanis I. Aravanis
• [clean-list] BOPL / PPDP 2020 call for participation (register until 3 Sep) Andreas Abel
• [clean-list] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
• [clean-list] Workshop on Logic and Practice of Programming Matthew Castellana
• [clean-list] International Semantic Intelligence Conference Deadline 10 Oct 2020 SARIKA JAIN
• [clean-list] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
• [clean-list] CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING cfp
• [clean-list] ISIC 2021 Springer SARIKA JAIN
• [clean-list] CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended cfp
• [clean-list] [CFP] 1st Workshop on Cyber Forensics &Threat Investigations Challenges in Emerging Infrastructures Chilean Scholar
  • [clean-list] [CFP] 1st Workshop on Cyber Forensics &Threat Investigations Challenges in Emerging Infrastructures Chilean Scholar
• [clean-list] AIOPS2020 Call For Papers; Dubai, UAE, 14.12.2020 Jasmin Bogatinovski
• [clean-list] [Extended deadline August 1 2020] CAUSAL 2020 Call for Papers (workshop of ICLP 2020) Emily LeBlanc
• [clean-list] Summer School on Programming Languages and Verification (SPLV20) Ekaterina Komendantskaya
• [clean-list] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020 Oortwijn Wytse
• [clean-list] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
• [clean-list] Clean Archeology (2) Erik Zuurbier
• [clean-list] Deadline Extension: ASPOCP 2020 markus hecher
• [clean-list] [CFP] 1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Networks CyberSecurity UK
• [clean-list] CAUSAL 2019 Call for Papers (workshop of ICLP 2020) Emily LeBlanc
• [clean-list] ECAI2020 goes Digital and Open LUIS MAGDALENA
• [clean-list] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
• [clean-list] Release 0.11 of SARL agent programming language Stéphane Galland
• [clean-list] Clean Archeology Erik Zuurbier
  • Re: [clean-list] Clean Archeology John van Groningen
• [clean-list] Research Positions in a project on AI Verification (Types, Programming Languages, Security, Machine Learning ) Ekaterina Komendantskaya
• [clean-list] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020 Ekaterina Komendantskaya
• [clean-list] CFP: GPCE 2020 − 19th International Conference on Generative Programming: Concepts & Experiences Erwan BOUSSE
• [clean-list] PPDP 2020 deadline extension Andreas Abel
• [clean-list] PPDP 2020 Final call for papers Andreas Abel
• [clean-list] RW 2020 - Call for Applications for the 16th Reasoning Web Summer School manna
• [clean-list] iFM 2020 (Integrated Formal Methods): Call for Papers iFM 2020
• [clean-list] CFP: The sixth International Workshop on the Future of the Internet of Things (FIT 2020) Dr. Tayseer ALkhdour
• [clean-list] FedCSIS 2020 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems (FedCSIS)
• [clean-list] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
• [clean-list] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification Ekaterina Komendantskaya
• [clean-list] Fwd: ICTS4eHealth 2020 - 5th edition of the IEEE International Workshop on ICT Solutions for e-Health Antonino Galletta
• [clean-list] FTfJP 2020 - Call for Papers Oortwijn Wytse
• [clean-list] WST 2020 - 2nd Call for Papers Samir Genaim
• [clean-list] CILC 2020 - Preliminary Call For Papers Simona Perri
  • [clean-list] CILC 2020 - First Call For Papers cfp
• [clean-list] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Theofanis I. Aravanis
• [clean-list] [AIBD 2020]International Conference on Artificial Intelligence and Big Data, Copenhagen, Denmark [April 25~26, 2020] Lauren Riley
• [clean-list] Real-Time Intelligent Systems 2020 ijwa
• [clean-list] PPDP 2020 Call For Papers (corrected link) Andreas Abel
• [clean-list] Wetice'2020 paper deadline extended to March 10 Khouloud Boukadi
• [clean-list] VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants Siddharth Krishna
• [clean-list] LATA 2020: call for participation IRDTA
• [clean-list] Call For Paper : 5th IoT-T&A 2020, Belgium [Elsevier proceeding-scopus] Nishant Doshi
• [clean-list] 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
• [clean-list] RAMiCS CFSC Michael Winter
  • [clean-list] RAMiCS 2020 - CFP Michael Winter
• [clean-list] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
• [clean-list] DeepLearn 2020: early registration January 26 IRDTA
• [clean-list] KR 2020 - RECENT PUBLISHED RESEARCH TRACK - CFP Theofanis I. Aravanis
• [clean-list] ETAPS Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020) Ekaterina Komendantskaya
• [clean-list] KR 2020 - Applications and Systems Track - CFP Theofanis I. Aravanis
• [clean-list] KR2020 & ML - CFP Theofanis I. Aravanis
• [clean-list] CFP - KR2020 & Robotics Theofanis I. Aravanis
• [clean-list] KR2020 - Doctoral Consortium Call for Applications Theofanis I. Aravanis
• [clean-list] KR2020 - CFP Theofanis I. Aravanis
• [clean-list] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium) Aneta Poniszewska-Marańda I72
  • [clean-list] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium) Aneta Poniszewska-Marańda I72
  • [clean-list] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium) Aneta Poniszewska-Marańda I72
  • [clean-list] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) Aneta Poniszewska-Marańda I72
  • [clean-list] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) Aneta Poniszewska-Marańda I72
• [clean-list] WST 2020 Call for Papers Samir Genaim
• [clean-list] DeepLearn 2020: early registration December 27 IRDTA
• [clean-list] Fwd: Call for Workshop Proposal: FNC 2020, Leuven, Belgium Muhammad ADNAN
• [clean-list] Fwd: Call for Workshops Proposals: MobiSPC 2020, Leuven, Belgium Muhammad ADNAN
• [clean-list] AlCoB 2020: call for posters IRDTA
• [clean-list] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Jurriaan Hage
• [clean-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation Ekaterina Komendantskaya
• [clean-list] [FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020) wim . ectors
• [clean-list] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
  • [clean-list] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
• [clean-list] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University Peter Achten
  • [clean-list] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University Peter Achten
  • [clean-list] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University Peter Achten
• [clean-list] MDM International Workshop (in conjuction with ANT2020, EDi40) - CFPs Pikulik Tomas
  • [clean-list] MDM International Workshop (in conjuction with ANT2020, EDi40) - CFPs Pikulik Tomas
• [clean-list] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Jurriaan Hage
• [clean-list] [COSIT 2020] Call for proposals (Submission Deadline November 16) - January 25 ~ 26, 2020, Zurich, Switzerland Lauren Riley
• [clean-list] [PLNL'19] Call for talk proposals (deadline November 18) - Programming Languages in the Netherlands, 12-12-2019, Radboud University Peter Achten
• [clean-list] CFP : International Workshop on Statistical Methods and Artificial Intelligence IWSMAI Workshop
• [clean-list] TPNC 2019: call for participation IRDTA
• [clean-list] Announcements -7th InternationalConference on Computer Science and Information Technology (CoSIT 2020) January 25 ~ 26, 2020, Zurich, Switzerland Lauren Riley
• [clean-list] Call for Papers AMDE 2020 Yassine Rhazali
• [clean-list] TPNC 2019: call for posters IRDTA
• [clean-list] LATA 2020: extended submission deadline October 26 IRDTA
• [clean-list] [CALL FOR PAPERS] Uncertain Reasoning @ Flairs 33 Alessandro Antonucci
• [clean-list] Third CFP: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
• [clean-list] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
• [clean-list] Call for Workshops Proposals in conjonction with ANT-2020 Stéphane Galland
• [clean-list] Deadline extension and final CFP Michael Winter
• [clean-list] Call for Workshops Proposals in conjonction with EDI40-2020 Stéphane Galland
• [clean-list] [PLNL'19] Call for talk proposals - Programming Languages in the Netherlands, 12-12-2019, Radboud University Peter Achten
• [clean-list] No Gast on MacOS in Clean3.0? Peter Achten
  • Re: [clean-list] No Gast on MacOS in Clean3.0? Camil Staps
  • Re: [clean-list] No Gast on MacOS in Clean3.0? John van Groningen
  • [clean-list] No Gast on MacOS in Clean3.0? [email protected]
  • Re: [clean-list] No Gast on MacOS in Clean3.0? Bas Lijnse
• [clean-list] Practical Aspects of Declarative Languages PADL2020: 2nd CFP Ekaterina Komendantskaya
• [clean-list] Third CFP - RAMiCS 2020 Michael Winter
• [clean-list] EPEW 2019 - Final CFP - The 16th European Performance Engineering Workshop, November 28 - 29, 2019, Milano, Italy Mauro Iacono
• [clean-list] LATA 2020: 2nd call for papers IRDTA
• [clean-list] Call for participation: School and Colloquium ICTAC 2O19 SAOUSSEN CHEIKHROUHOU
• [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I1
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 3rd International Conference on Emerging Data and Industry 4.0 (EDI40), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I1
  • [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
  • [clean-list] 11th International Conference on Ambient Systems, Networks and Technologies (ANT), Warsaw, Poland, April 6-9, 2020 Aneta Poniszewska-Marańda I72
• [clean-list] Final CFP: RTIS 2019 ijwa
• [clean-list] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Jurriaan Hage
• [clean-list] First call for participation for IFL 2019 (Implementation and Application of Functional Languages) Jurriaan Hage
• [clean-list] LATA 2020: 1st call for papers IRDTA
• [clean-list] ICLP 2019 - Call for Participation (Early registration deadline is today) Fioretto, Ferdinando
• [clean-list] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
• [clean-list] PADL 2020 (co-allocated with POPL 2020): first call for papers Ekaterina Komendantskaya
• [clean-list] ICLP 2019 - Call for Participation Fioretto, Ferdinando

• Earlier messages
• Later messages