clean-list  

Messages by Thread

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

• Earlier messages
• Later messages