clean-list

Messages by Date

2019/08/15 [clean-list] ICLP 2019 - Call for Participation (Early registration deadline is today) Fioretto, Ferdinando
2019/08/15 [clean-list] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Peter Achten
2019/08/12 [clean-list] PADL 2020 (co-allocated with POPL 2020): first call for papers Ekaterina Komendantskaya
2019/08/12 [clean-list] ICLP 2019 - CALL FOR PARTICIPATION Fioretto, Ferdinando
2019/08/12 [clean-list] RAMiCS2020 - 2nd CFP Michael Winter
2019/08/05 [clean-list] ICLP 2019 - Call for Participation Fioretto, Ferdinando
2019/08/05 [clean-list] ETAPS 2020 1st joint call for papers Tarmo Uustalu
2019/07/30 [clean-list] ICADIWT 2019 ijwa
2019/07/29 [clean-list] Presentation on the ABC interpreter and its applications Camil Staps
2019/07/26 [clean-list] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages) Jurriaan Hage
2019/07/15 [clean-list] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Davidekova Monika
2019/07/14 [clean-list] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Davidekova Monika
2019/07/11 [clean-list] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Davidekova Monika
2019/07/11 [clean-list] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Davidekova Monika
2019/07/10 [clean-list] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Davidekova Monika
2019/07/09 [clean-list] Fwd: EUSPN 2019 CFPs (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) Muhammad ADNAN
2019/06/28 [clean-list] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities Rodolfo I. Meneguette
2019/06/26 [clean-list] CFP: ICLP-2019 - Special Session: Women in Logic Programming (Extended Deadline and New Publisher) Fioretto, Ferdinando
2019/06/24 [clean-list] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Fioretto, Ferdinando
2019/06/24 [clean-list] CFP: ICLP 2019 - Application Track (short paper submission extended) Fioretto, Ferdinando
2019/06/24 [clean-list] Fwd: EUSPN 2019: Deadline Extended Muhammad ADNAN
2019/06/18 [clean-list] GPCE 2019: Final Call for Papers - Athens, Greece; October 21-22 — Deadline Extension Rodin Aarssen
2019/06/17 [clean-list] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/06/17 [clean-list] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/06/10 [clean-list] TPNC 2019: 2nd call for papers IRDTA
2019/06/07 [clean-list] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages) Jurriaan Hage
2019/06/06 [clean-list] GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22 Rodin Aarssen
2019/05/28 [clean-list] EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues) Davidekova Monika
2019/05/27 [clean-list] Call for papers for IFL 2019 (Implementation and Application of Functional Languages) Jurriaan Hage
2019/05/22 [clean-list] CFP in Special Sessions: DS-RT 2019 - Cosenza, Italy, October 7-9, 2019 Rodolfo I. Meneguette
2019/05/21 [clean-list] [TFP'19 and TFPIE'19] call for participation Peter Achten
2019/05/20 [clean-list] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/05/20 [clean-list] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/05/17 [clean-list] TPNC 2019: 1st call for papers IRDTA
2019/05/16 [clean-list] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities Rodolfo I. Meneguette
2019/05/16 [clean-list] RAMiCS2020 - CFP Michael Winter
2019/05/16 [clean-list] ETAPS 2020: Call for Satellite Events Hoefner, Peter (Data61, Kensington NSW)
2019/05/16 [clean-list] Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia SAOUSSEN CHEIKHROUHOU
2019/05/16 [clean-list] Fwd: [EUSPN-2019] Call for Workshop Proposals: Emerging Ubiquitous Systems and Pervasive Networks Muhammad ADNAN
2019/05/13 [clean-list] EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues) Davidekova Monika
2019/05/08 [clean-list] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA Peter Achten
2019/05/08 [clean-list] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA Peter Achten
2019/05/08 [clean-list] ITHET 2019 - Call for Papers - Magdeburg, Germany - Submission deadline 28 June 2019 [email protected]
2019/05/08 [clean-list] ITHET 2019 - Second Call for Special Session Proposals [email protected]
2019/05/07 [clean-list] Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia SAOUSSEN CHEIKHROUHOU
2019/05/06 [clean-list] CFP: The Fifth International Workshop on the Future of the Internet of Things (FIT 2019) (Deadline Extended (Final)) Dr. Tayseer ALkhdour
2019/05/03 [clean-list] CfP for TFPIE 19 Pieter Koopman
2019/05/01 [clean-list] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines Fioretto, Ferdinando
2019/04/29 [clean-list] —Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). SAOUSSEN CHEIKHROUHOU
2019/04/28 [clean-list] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) Aneta Poniszewska-Marańda
2019/04/28 [clean-list] PPDP'19 Deadline extension Ekaterina Komendantskaya
2019/04/26 [clean-list] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
2019/04/26 [clean-list] CFP: ICLP 2019 Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/26 [clean-list] LPNMR 2019 CALL FOR PARTICIPATION Gregory Gelfond
2019/04/26 [clean-list] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/26 [clean-list] We are looking for Functional Programmers rinus plasmeijer
2019/04/22 [clean-list] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) Aneta Poniszewska-Marańda
2019/04/22 [clean-list] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/04/21 [clean-list] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) Davidekova Monika
2019/04/20 [clean-list] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) Davidekova Monika
2019/04/19 [clean-list] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) Davidekova Monika
2019/04/15 [clean-list] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/04/14 [clean-list] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/12 [clean-list] New academic (permanent) positions opening at Heriot-Watt University Ekaterina Komendantskaya
2019/04/12 [clean-list] PPDP'19 -- final call for papers Ekaterina Komendantskaya
2019/04/12 [clean-list] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link Emily LeBlanc
2019/04/12 [clean-list] LPNMR 2019 -- CALL FOR PARTICIPATION Gregory Gelfond
2019/04/08 [clean-list] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/08 [clean-list] WORDS 2019, last call for papers (Extended Deadline) Words 2019
2019/04/04 [clean-list] —Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019) SAOUSSEN CHEIKHROUHOU
2019/04/03 [clean-list] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) Davidekova Monika
2019/04/03 [clean-list] EUSPN 2019: Call for Workshops Proposals Muhammad ADNAN
2019/04/03 [clean-list] EUSPN 2019: Call for Workshops Proposals Muhammad ADNAN
2019/04/03 [clean-list] ICDIM 2019 ijwa
2019/04/02 [clean-list] ICLP 2019 - Call For Workshop Proposals Fioretto, Ferdinando
2019/04/02 [clean-list] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/03/31 [clean-list] [FNC-2019] CFP deadline extension: Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019) Wim Ectors
2019/03/27 [clean-list] ASPOCP 2019 - call for papers (deadline extended) Jorge Fandino
2019/03/27 [clean-list] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA Peter Achten
2019/03/25 [clean-list] DeepLearn 2019: early registration March 30 IRDTA
2019/03/25 [clean-list] TyDe 2019 - Call for Papers David Darais
2019/03/22 [clean-list] Real-Time Intelligent Systems 2019 ijwa
2019/03/15 [clean-list] ICDIM 2019 ijwa
2019/03/15 [clean-list] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA Peter Achten
2019/03/15 [clean-list] GPCE 2019: 1st Call for Papers - Athens, Greece; October 21-22 Rodin Aarssen
2019/03/13 [clean-list] Principles and Practice of Declarative Programming 2019 -- 2nd CFP František Farka
2019/03/12 [clean-list] ICADIWT 2019 ijwa
2019/03/11 [clean-list] [FNC-2019] Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019) Wim Ectors
2019/03/11 [clean-list] AlCoB 2019: call for posters IRDTA
2019/03/06 [clean-list] CFP: The Fifth International Workshop on the Future of the Internet of Things (FIT 2019) Dr. Tayseer ALkhdour
2019/03/06 [clean-list] ICLP 2019 - CALL FOR WORKSHOP PROPOSALS Fioretto, Ferdinando
2019/03/06 [clean-list] JELIA 2019 - Call For Participation cfp
2019/03/06 [clean-list] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/03/06 [clean-list] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/02/28 [clean-list] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities Rodolfo I. Meneguette
2019/02/25 [clean-list] VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation VerifyThis
2019/02/22 [clean-list] cfp-14th International Conference on Risks and Security of Internet and Systems (CRiSIS) SAOUSSEN CHEIKHROUHOU
2019/02/22 [clean-list] CFP_16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). SAOUSSEN CHEIKHROUHOU
2019/02/21 [clean-list] Extended CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) Yazan Mualla
2019/02/21 [clean-list] WORDS 2019, 2nd call for papers Words 2019
2019/02/19 [clean-list] ETAPS 2019 call for participation Tarmo Uustalu
2019/02/15 [clean-list] ICDIM Call For Workshop Proposals ijwa
2019/02/14 [clean-list] LATA 2019: call for participation IRDTA
2019/02/13 [clean-list] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Fioretto, Ferdinando
2019/02/13 [clean-list] ICLP 2019 - Application Track Fioretto, Ferdinando
2019/02/12 [clean-list] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019 Natarajan Shankar
2019/02/12 [clean-list] ICADIWT 2019 ijwa
2019/02/11 [clean-list] CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) Yazan Mualla
2019/02/08 [clean-list] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions) Peter Achten
2019/02/05 [clean-list] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA Peter Achten
2019/01/31 [clean-list] The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey Aneta Poniszewska-Marańda
2019/01/29 [clean-list] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
2019/01/28 [clean-list] ICADIWT 2019 ijwa
2019/01/24 [clean-list] SDS-2019 CFP: The Sixth International Conference on Software Defined Systems. Rome, Italy. June 10-13 - 2019 SDS
2019/01/17 [clean-list] VerifyThis at ETAPS 2019: 2nd Call for Problems VerifyThis
2019/01/09 [clean-list] DICTAP2019 Frelyn SDIWC
2019/01/09 [clean-list] ICADIWT 2019 ijwa
2019/01/05 [clean-list] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) Aneta Poniszewska-Marańda
2018/12/27 [clean-list] The Fourth International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2019) Frelyn SDIWC
2018/12/24 [clean-list] Reminder Dutch FP-Day 2019 Bas Lijnse
2018/12/19 Re: [clean-list] New Project using Template Mart Lubbers
2018/12/19 Re: [clean-list] New Project using Template John van Groningen
2018/12/19 [clean-list] New Project using Template Prins, A. (Anouk)
2018/12/19 [clean-list] Call for Workshops Proposals in conjonction with FNC-19 Stephane Galland
2018/12/17 [clean-list] ICICS 2019 Call for Papers ICICS_NO_REPLY
2018/12/12 [clean-list] PhD student position at Mälardalen University Bjorn Lisper
2018/12/12 [clean-list] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Gregory Gelfond
2018/12/11 [clean-list] Work opportunities for Students/Graduates at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [clean-list] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [clean-list] Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [clean-list] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler Marco Roveri
2018/12/09 [clean-list] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science Walter Guttmann
2018/11/28 [clean-list] FP-Day 2019 Bas Lijnse
2018/11/27 [clean-list] JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.) cfp
2018/11/27 [clean-list] Deadline approaching - COINS 2019 Conference: Internet of Things | Artificial Intelligence & ML | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded System | EDA Farshad Firouzi
2018/11/27 [clean-list] [MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada) Davidekova Monika
2018/11/25 [clean-list] JELIA 2019 - 3rd CfP - Deadline Approaching - IJCAI, TPLP, Awards and Prizes cfp
2018/11/23 [clean-list] VerifyThis at ETAPS 2019: Announcement + Call for Problems VerifyThis
2018/11/18 [clean-list] [LTEC'19] Call for papers LTEC 2019 International Conference
2018/11/14 [clean-list] CFP 3rd Workshop on Agent-based Modeling and Applications with SARL (SARL19) Stephane Galland
2018/11/11 [clean-list] [Mycolleagues] CFP 5th Workshop on Collaboration of Humans, Agents, Robots, Machines and Sensors (CHARMS 2019) Stéphane Galland
2018/11/08 [clean-list] LATA 2019: extended submission deadline November 18 IRDTA
2018/11/07 [clean-list] CFP Eng. Dana Bandock
2018/11/04 [clean-list] IEEE BIBM 2018 Call for Participation CFP Conference
2018/11/04 [clean-list] FedCSIS 2019 - CALL FOR EVENTS Federated Conference on Computer Science and Information Systems
2018/11/04 [clean-list] CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19) Yazan Mualla
2018/11/04 [clean-list] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Yazan Mualla
2018/11/04 [clean-list] JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes cfp
2018/11/02 [clean-list] Robotic 2019: early registration November 13 IRDTA
2018/10/30 Re: [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X John van Groningen
2018/10/30 Re: [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X Richard O'Keefe
2018/10/29 Re: [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X Mart Lubbers
2018/10/29 [clean-list] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) Davidekova Monika
2018/10/23 Re: [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X John van Groningen
2018/10/23 [clean-list] CFP 3rd Workshop on Agent-based Modeling and Applications with SARL (SARL19) Stéphane Galland
2018/10/23 [clean-list] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Stéphane Galland
2018/10/23 [clean-list] Call for Workshops Proposals in conjonction with ANT-19 Stéphane Galland
2018/10/23 [clean-list] Scholarship: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019 Mihaela Rozman
2018/10/21 [clean-list] LATA 2019: 3rd call for papers IRDTA
2018/10/21 Re: [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X Richard O'Keefe
2018/10/19 [clean-list] Clean 3.0 available for Windows, Linux and Mac OS X John van Groningen
2018/10/08 [clean-list] [CFP] The Sixth International Conference on Cyber Security, Cyber Welfare and Digital Forensic (CyberSec2018) Frelyn SDIWC
2018/10/07 [clean-list] LATA 2019: 2nd call for papers IRDTA
2018/10/02 [clean-list] [CFP] The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) Frelyn SDIWC
2018/09/18 [clean-list] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ggelfond
2018/09/18 [clean-list] PhD positions in Programming Language Technology for Security and Privacy David Sands
2018/09/17 [clean-list] Final Call for Papers PADL-19 Moa Johansson
2018/09/16 [clean-list] LATA 2019: 1st call for papers IRDTA
2018/09/10 Re: [clean-list] Clean problems with setting up [email protected] wp028
2018/09/10 Re: [clean-list] Installing Clean 佐原伸
2018/09/10 [clean-list] Clean problems with setting up István
2018/09/10 [clean-list] Installing Clean István
2018/09/10 Re: [clean-list] Installing clean on mac Mart Lubbers
2018/09/09 Re: [clean-list] Installing clean on mac Mart Lubbers
2018/09/09 Re: [clean-list] Installing clean on mac Mart
2018/09/09 [clean-list] Problems installing Clean 2.4 on a Mac Reksoprodjo, M. (Meilina)
2018/09/09 [clean-list] Problems with Clean Download Pieter Beutler
2018/09/09 [clean-list] Clean Lizzy Grootjen
2018/09/09 [clean-list] Installing clean on mac Thomas de Haer
2018/09/04 [clean-list] CFP Yousef Farhaoui
2018/09/04 [clean-list] JELIA 2019 - Preliminary Call for Papers Simona Perri
2018/09/01 [clean-list] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) Davidekova Monika
2018/08/30 [clean-list] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science Walter Guttmann
2018/08/22 [clean-list] Call for Papers: Symposium on Practical Aspects of Declarative Languages (PADL 2019) Moa Johansson
2018/08/22 [clean-list] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) Wim Ectors
2018/08/14 [clean-list] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages) Jurriaan Hage
2018/08/07 [clean-list] PPDP | LOPSTR | WFLP 2018 Common Call for Participation David Sabel
2018/08/07 [clean-list] CFP - International Conference on Recent Advances in Intelligent and Connected Mobility – RAICoM’2018 Michele Melchiori
2018/08/07 [clean-list] iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers HaoWu
2018/08/07 [clean-list] SLSP 2018: call for posters IRDTA
2018/08/07 Re: [clean-list] No typechecking in unused let-bindings Jerzy Karczmarczuk
2018/08/07 Re: [clean-list] No typechecking in unused let-bindings Markus Klinik
2018/08/06 Re: [clean-list] No typechecking in unused let-bindings Rinus Plasmeijer
2018/08/06 Re: [clean-list] No typechecking in unused let-bindings Jerzy Karczmarczuk
2018/08/06 Re: [clean-list] No typechecking in unused let-bindings rinus
2018/08/06 [clean-list] No typechecking in unused let-bindings Markus Klinik
2018/07/30 [clean-list] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Fabio Patrizi
2018/07/23 [clean-list] Real-Time Intelligent Systems 2018 ijwa
2018/07/23 [clean-list] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" roberto . sebastiani
2018/07/23 [clean-list] TPNC 2018: extended submission deadline August 5 IRDTA