gmane.comp.lang.clean archive

385 archived articles, newest first (page 4 of 4). Latest articles →

ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION
Fri, 14 Jul 2023 11:25:56 +0300
Andrei Sipoș via clean-list <[email protected]> • #4215
FROM 2023 – THIRD CALL FOR PAPERS
Fri, 14 Jul 2023 11:24:50 +0300
Andrei Sipoș via clean-list <[email protected]> • #4214
Second Call for Book Chapters: Computational Intelligence based Hyperspectral Image Analysis, Springer (Scopus Indexed)
Thu, 13 Jul 2023 10:56:39 +0000
Anu Bajaj via clean-list <[email protected]> • #4213
[TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming
Wed, 12 Jul 2023 17:08:58 +0200
Peter Achten via clean-list <[email protected]> • #4212
NEW FORMAT AND FINAL CFP for PhD Day EUMA S 2023​
Sun, 9 Jul 2023 21:56:08 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4211
ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Sat, 8 Jul 2023 16:02:07 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4210
First CFP: 13th Information and Communication Technologies (WICT 2023) -- Hybrid Event - Springer Publication
Sat, 8 Jul 2023 06:28:23 +0000
Anu Bajaj via clean-list <[email protected]> • #4209
First CFP: 15th Nature and Biologically Inspired Computing (NaBIC 2023) -- Hybrid Event - Springer Publication
Wed, 5 Jul 2023 14:17:39 +0000
Anu Bajaj via clean-list <[email protected]> • #4208
EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 29 Jun 2023 19:30:58 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4207
First CFP: 19th Information Assurance and Security -- Hybrid Event - Springer Publication
Thu, 29 Jun 2023 04:54:12 +0000
Anu Bajaj via clean-list <[email protected]> • #4206
CFP: Fifth International Conference on Microservices
Wed, 28 Jun 2023 13:08:03 +0000
Alessandro Bocci via clean-list <[email protected]> • #4205
First CFP - 23rd Hybrid Intelligent Systems - Hybrid Event - Springer Publication
Sun, 25 Jun 2023 15:40:19 +0000
Anu Bajaj via clean-list <[email protected]> • #4204
First CFP - 23rd Hybrid Intelligent Systems - Hybrid Event - Springer Publication
Fri, 23 Jun 2023 07:37:15 +0000
Anu Bajaj via clean-list <[email protected]> • #4203
FMEC 2023 CFP: The Eighth International Conference on Fog and Mobile Edge Computing, Tartu, Estonia. September 18-20, 2023
Thu, 22 Jun 2023 21:59:48 +0000
"Internet of Things Systems, Management and Security via clean-list" <[email protected]> • #4202
PhD Day @EUMAS 2023: 2nd call for contributions
Thu, 22 Jun 2023 14:47:28 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4201
AMDE 2023
Tue, 20 Jun 2023 14:57:14 +0100
Yassine Rhazali via clean-list <[email protected]> • #4200
First CFP - 23rd Intelligent Systems Design and Applications 2023 - Hybrid Event - Springer Publication
Mon, 19 Jun 2023 17:21:58 +0000
Anu Bajaj via clean-list <[email protected]> • #4199
PhD Day @EUMAS 2023: Preliminary call for contributions
Tue, 13 Jun 2023 14:42:38 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4198
KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023!
Sun, 04 Jun 2023 17:55:07 +0300
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4197
CFP: ASONAM 2023 and the colocated Events (FAB2023, FOSINT-SI 2023, HIBIBI 2023)
Fri, 2 Jun 2023 08:33:07 GMT
ASONAM 2023 via clean-list <[email protected]> • #4196
CfP - ENIGMA2023 Workshop @ KR2023 [Extended Deadline]
Mon, 22 May 2023 16:51:11 +0200
"giovanni.casini via clean-list" <[email protected]> • #4195
[EXTENDED DEADLINE] CAUSAL 2023: Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023
Mon, 22 May 2023 18:05:29 -0400
Emily LeBlanc via clean-list <[email protected]> • #4194
CfP ACAIN 2023 - 3rd Int. Advanced Course & Symposium on Artificial Intelligence & Neuroscience, September 22-26, 2023, The Wordsworth Hotel & SPA, Grasmere, Lake District, England * Early Registration (Course): by June 10 *
Sun, 21 May 2023 11:11:49 +0200
Giuseppe Nicosia via clean-list <[email protected]> • #4193
EUMAS 2023 - Last call for papers & Awards
Sat, 20 May 2023 00:15:57 +0200
Aniello Murano via clean-list <[email protected]> • #4192
EUMAS 2023 - Ext. deadline & Awards & Invited Speakers
Fri, 19 May 2023 12:22:54 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4191
Call for Book Chapters: Hyperspectral Image Analysis, Springer (Scopus Indexed)
Fri, 19 May 2023 01:13:52 +0530
Anu Bajaj via clean-list <[email protected]> • #4190
CSL 2024: First call for papers
Mon, 15 May 2023 15:10:30 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4189
EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023)
Fri, 12 May 2023 10:35:02 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4188
ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)
Fri, 12 May 2023 10:36:47 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4187
CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023)
Fri, 12 May 2023 17:57:40 +0000
Emily C LeBlanc via clean-list <[email protected]> • #4186
IEEE BigData 2023 CFP
Thu, 11 May 2023 10:26:46 -0400
IEEE Bigdata via clean-list <[email protected]> • #4185
SMC-IT/SCC 2023: Call For Participation
Thu, 11 May 2023 12:54:46 +0000
Marie Farrell via clean-list <[email protected]> • #4184
LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023.
Tue, 09 May 2023 11:27:10 +0200
"daniel.jurjo--- via clean-list" <[email protected]> • #4183
Call for papers EUMAS 2023 (European Conference on Multi-Agent Systems)
Wed, 3 May 2023 12:29:07 +0200
Munyque Mittelmann via clean-list <[email protected]> • #4182
[LAST DAY] CfP: Mobile4Medicine: 2nd Workshop on Mobile Systems and Pervasive Computing for Personalized Medicine (Halifax, Nova Scotia, Canada)
Mon, 1 May 2023 12:36:52 +0100
Ivan Miguel Serrano Pires via clean-list <[email protected]> • #4181
Call for Papers -- Formal Techniques for Java-Like Programs 2023
Wed, 26 Apr 2023 08:27:38 -0700
Aaron Tomb via clean-list <[email protected]> • #4180
MobiSPC'23 CFPs (Final: Apr .21, 2023): The 20th International Conference on Mobile Systems and Pervasive Computing (August 14-16, Halifax, Nova Scotia, Canada)
Thu, 20 Apr 2023 20:52:10 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4179
SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Thu, 20 Apr 2023 20:55:32 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4178
[Electronics] Invitation to Publish Y our Work in the Special Issue “Explainability in Human- Computer Interaction and Collaboration”
Wed, 19 Apr 2023 10:00:39 +0200 (CEST)
Yazan Mualla via clean-list <[email protected]> • #4177
CfP - ENIGMA2023 Workshop @ KR2023
Wed, 19 Apr 2023 10:38:25 +0200
"giovanni.casini via clean-list" <[email protected]> • #4176
PPDP 2023 - Call for Papers
Tue, 18 Apr 2023 11:33:15 +0200
Santiago Escobar via clean-list <[email protected]> • #4175
[MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Mon, 17 Apr 2023 00:26:34 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4174
SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Mon, 17 Apr 2023 00:18:07 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4173
LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023.
Fri, 14 Apr 2023 15:10:27 +0200
"daniel.jurjo--- via clean-list" <[email protected]> • #4172
[MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Sat, 8 Apr 2023 16:24:48 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4171
Call For Paper IoT C&O - 2023
Mon, 10 Apr 2023 15:07:14 +0530
Editor-in- Chief via clean-list <[email protected]> • #4170
SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Sat, 8 Apr 2023 16:22:56 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4169
[CFP] - ISIC'23, IHIC'23, IEdTC'23
Thu, 6 Apr 2023 14:06:25 +0530
Semantic Intelligence via clean-list <[email protected]> • #4168
Final CFP - The 13th International Conference on Sustainable Energy Information Technology (SEIT)
Tue, 4 Apr 2023 10:22:15 +0200 (CEST)
Yazan Mualla via clean-list <[email protected]> • #4167
[Firm Deadline 1st May] CfP: Mobile4Medicine: 2nd Workshop on Mobile Systems and Pervasive Computing for Personalized Medicine (Halifax, Nova Scotia, Canada)
Sat, 1 Apr 2023 14:37:34 +0000
Ivan Pires - ESGTS via clean-list <[email protected]> • #4166
CFP - Special Issue "Explainability in Human-Computer Interaction and Collaboration"
Mon, 3 Apr 2023 15:04:43 +0200 (CEST)
Yazan Mualla via clean-list <[email protected]> • #4165
IFL23 first CFP
Mon, 3 Apr 2023 02:55:30 -0700
Pieter Koopman via clean-list <[email protected]> • #4164
SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Sat, 1 Apr 2023 12:54:45 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4163
[MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Sat, 1 Apr 2023 12:41:25 +0100
Ali BENZERBADJ via clean-list <[email protected]> • #4162
Call for papers EUMAS 2023 (European Conference on Multi-Agent Systems)
Fri, 24 Mar 2023 14:55:40 +0100
Munyque Mittelmann via clean-list <[email protected]> • #4161
VerifyThis 2023: Call for Participation
Thu, 23 Mar 2023 12:31:04 -0400
Stephen Siegel via clean-list <[email protected]> • #4160
MCNA2023 CFP: The International Conference on Multimedia Computing, Networking and Applications (MCNA2023), June 19-22, 2023 - Valencia, Spain
Wed, 22 Mar 2023 15:03:00 +0300
MCNA Conference via clean-list <[email protected]> • #4159
Offre de postdoc - Operational positioning of drone using computer vision and machine learning
Fri, 17 Mar 2023 13:48:01 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4158
Extended CFP - The 13th International Conference on Sustainable Energy Information Technology (SEIT)
Fri, 17 Mar 2023 14:35:41 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4157
Call for Workshop Proposals - EAI GOODTECHS 2023
Wed, 15 Mar 2023 16:34:06 +0000
Daniel Alexandre via clean-list <[email protected]> • #4156
PPDP 2023 - Preliminary Call for Papers
Thu, 16 Mar 2023 00:01:25 +0100
Santiago Escobar via clean-list <[email protected]> • #4155
ICCNS2023: The International Conference on Intelligent Computing, Communication, Networking and Services, June 19-22, 2023 - Valencia, Spain
Sun, 12 Mar 2023 13:19:01 +0000
intelligentsystem via clean-list <[email protected]> • #4154
[Extended] The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Sat, 11 Mar 2023 16:34:54 +0000
"Jake Speiran \(144775s\) via clean-list" <[email protected]> • #4153
[Extended] The 18th International Conference on Future Networks and Communications
Sat, 11 Mar 2023 16:11:51 +0000
"Jake Speiran \(144775s\) via clean-list" <[email protected]> • #4152
LOPSTR 2023 - Call for Papers
Fri, 10 Mar 2023 17:21:46 +0100
"daniel.jurjo--- via clean-list" <[email protected]> • #4151
[Deadline 20th March] CfP: SS3. Sensor-Based Ambient Assisted Living Systems And Medical Applications (Part of IWBBIO 2023)
Mon, 6 Mar 2023 19:36:54 +0000
Ivan Miguel Serrano Pires via clean-list <[email protected]> • #4150
[Deadline 14th March] CfP: Mobile4Medicine: 2nd Workshop on Mobile Systems and Pervasive Computing for Personalized Medicine (Halifax, Nova Scotia, Canada)
Mon, 6 Mar 2023 19:35:53 +0000
Ivan Miguel Serrano Pires via clean-list <[email protected]> • #4149
Offre de thèse - PhD Position
Mon, 6 Mar 2023 15:05:45 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4148
EXTRAAMAS'23 CFP - Deadline extension
Wed, 1 Mar 2023 11:36:30 +0000
Benoît ALCARAZ via clean-list <[email protected]> • #4147
KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium
Tue, 28 Feb 2023 13:19:24 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4146
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track
Fri, 24 Feb 2023 11:56:53 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4145
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
Fri, 24 Feb 2023 12:34:08 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4144
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning
Fri, 24 Feb 2023 11:07:51 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4143
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Fri, 24 Feb 2023 09:58:05 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4142
The 5th International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS)
Thu, 23 Feb 2023 10:28:46 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4141
CFP: The 13th International Conference on Sustainable Energy Information Technology (SEIT)
Thu, 23 Feb 2023 10:32:08 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4140
CfP: SS3. Sensor-Based Ambient Assisted Living Systems And Medical Applications (Part of IWBBIO 2023)
Sun, 19 Feb 2023 13:04:22 +0000
Ivan Miguel Serrano Pires via clean-list <[email protected]> • #4139
CfP: Mobile4Medicine: 2nd Workshop on Mobile Systems and Pervasive Computing for Personalized Medicine (Halifax, Nova Scotia, Canada)
Sun, 19 Feb 2023 13:02:15 +0000
Ivan Miguel Serrano Pires via clean-list <[email protected]> • #4138
Call for Papers - The 18th International Conference on Future Networks and Communications
Wed, 15 Feb 2023 09:32:25 -0400
Jacob Speiran via clean-list <[email protected]> • #4137
Call For Papers - The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Wed, 15 Feb 2023 09:32:16 -0400
Jacob Speiran via clean-list <[email protected]> • #4136
CFP: The 13th International Conference on Sustainable Energy Information Technology (SEIT)
Mon, 13 Feb 2023 11:46:49 +0100 (CET)
Yazan Mualla via clean-list <[email protected]> • #4135
MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC
Fri, 10 Feb 2023 12:22:28 +0100
Ali Benzerbadj via clean-list <[email protected]> • #4134
RAMiCS 2023 - Call for participation
Thu, 2 Feb 2023 14:54:33 +0000
Michael Winter via clean-list <[email protected]> • #4133
SMC-IT and SCC Deadline Extension (March 3rd 2023)
Wed, 1 Feb 2023 00:47:53 +0000
Marie Farrell via clean-list <[email protected]> • #4132
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Mon, 30 Jan 2023 21:00:04 +0200
"Theofanis I. Aravanis via clean-list" <[email protected]> • #4131
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.