Re: logic/dynamic programming communities?
Adam Russell <[email protected]> Tue, 14 Mar 2023 01:06:39 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <DM4PR10MB6253344550AC14BFE89C2BFBD4BE9@DM4PR10MB6253.namprd10.prod.outlook.com> |
--_000_DM4PR10MB6253344550AC14BFE89C2BFBD4BE9DM4PR10MB6253namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable I am not sure exactly what you mean by "community", but this server on Disc= ord has a good sized and fairly active community of Prolog users. https://d= iscord.gg/6uwk5mz5mw Perhaps that would at least be a good place to start? ________________________________ From: [email protected] <users-prolog-boun= [email protected]> on behalf of Adena Shao <adena.shao@goog= lemail.com> Sent: Monday, March 13, 2023 4:40 PM To: [email protected] <[email protected]> Subject: Re: logic/dynamic programming communities? Hi everyone, Does anyone know of any communities where folks adept at transforming unstructured text to p(a,b)? Maybe via Prolog/flavor of? Looking for a collaborator for an AI project. Thanks for any leads. Have a great day. On 2/22/23, [email protected] <[email protected]> wro= te: > Send Users-prolog mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.gnu.org/mailman/listinfo/users-prolog > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Users-prolog digest..." > > > Today's Topics: > > 1. CADE-29 second Call for Papers ([email protected]) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 22 Feb 2023 11:22:05 -0500 (EST) > From: [email protected] > To: <[email protected]> > Subject: CADE-29 second Call for Papers > Message-ID: <[email protected]> > > ****************************************************************** > > SECOND CALL FOR PAPERS > > CADE-29: 29th international Conference on Automated Deduction > > Sapienza University of Rome > Rome, Italy, 1-5 July 2023 > > https://easyconferences.eu/cade2023 > > ****************************************************************** > > -- Overview -- > > CADE is the major international forum for presenting research on all aspe= cts > of > automated deduction. High-quality submissions on the general topic of > automated > deduction, including logical foundations, theory and principles, > applications in > and beyond computer science and mathematics, and implementations of > automated > reasoning systems are solicited. CADE-29 aims to present research that > reflects > the broad range of interesting and relevant topics in automated deduction= . > > CADE-29 is in cooperation with ACM SIGLOG. > > -- Venue -- > > CADE-29 and affiliated satellite events will take place in Rome, Italy an= d > will > be co-located with FSCD 2023. > > -- Publication -- > > CADE-29 proceedings will be published in Springer's Lecture Notes in > Artificial > Intelligence series in Gold Open Access mode at a CADE special rate of > =80200.00 > per paper. Funding will be available for authors of accepted papers who > cannot > cover the =80200 fee. > > -- Special Issue -- > > The authors of a selection of the best CADE-29 papers will be invited to > submit > an extended version of their paper after the conference, to be published = in > a > special issue of the Journal of Automated Reasoning. > > -- Submission Guidelines -- > > Submissions can be made in two categories: > > - **Regular papers**. Up to 15 pages in LNCS style, excluding references. > Proofs > of theoretical results that do not fit in the page limit may be provi= ded > in > an appendix. > > - **Short papers**. This includes system descriptions, user experiences, > case > studies and domain models. Up to 10 pages in LNCS style, excluding > references. > > Reviewers may consider material provided in appendices, but submissions m= ust > be > self-contained within the page limit. Submissions must be unpublished and > not > submitted for publication elsewhere. They will be judged on relevance, > originality, significance, correctness, and readability. If software or d= ata > is > relevant to a paper, a link that provides access to the software/data mus= t > be > provided to enable reproduction of results. > > The review process will include a feedback/rebuttal period where authors > will > have the option to respond to reviewer comments. The PC chairs may solici= t > further reviews after the rebuttal period. Selected accepted papers will = be > considered by Program Committee for the CADE Best Paper Award. > > Papers must be submitted to https://easychair.org/conferences/?conf=3Dcad= e29 > > All submission must be formatted in the LNCS style and must include the > ORCID id > of at least the corresponding author, and preferably of all authors. > > -- Important Dates -- > > Abstract deadline: February 27, 2023 > Submission deadline: March 6, 2023 > Rebuttal phase: April 18-20, 2023 > Notification: May 3, 2023 > Final version: May 24, 2023 > Main Conference: July 1-4, 2023 > Satellite events: July 4-5, 2023 > > -- Program Committee Chairs -- > Brigitte Pientka, MacGill University > Cesare Tinelli, The University of Iowa > > -- Policies-- > CADE implements the ACM policy against harassment. > > -- Contacts -- > All questions about CADE-29 paper submissions should be emailed to > the PC Chairs (cade29 at easychair.org). > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Users-prolog mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/users-prolog > > > ------------------------------ > > End of Users-prolog Digest, Vol 216, Issue 3 > ******************************************** > -- Ad=E9na --_000_DM4PR10MB6253344550AC14BFE89C2BFBD4BE9DM4PR10MB6253namp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1= 252"> <style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo= ttom:0;} </style> </head> <body dir=3D"ltr"> <div style=3D"font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;= color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"eleme= ntToProof ContentPasted0"> I am not sure exactly what you mean by "community", but this serv= er on Discord has a good sized and fairly active community of Prolog users.= <a href=3D"https://discord.gg/6uwk5mz5mw" id=3D"LPNoLPOWALinkPreview"= class=3D"elementToProof">https://discord.gg/6uwk5mz5mw</a> Perhaps that would at least be a good place to start?</div> <div class=3D"_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_= 1"></div> <br> <div id=3D"appendonsend"></div> <hr style=3D"display:inline-block;width:98%" tabindex=3D"-1"> <div id=3D"divRplyFwdMsg" dir=3D"ltr"><font face=3D"Calibri, sans-serif" st= yle=3D"font-size:11pt" color=3D"#000000"><b>From:</b> users-prolog-bounces+= [email protected] <users-prolog-bounces+ac.russell=3Dlive.co= [email protected]> on behalf of Adena Shao <[email protected]><br> <b>Sent:</b> Monday, March 13, 2023 4:40 PM<br> <b>To:</b> [email protected] <[email protected]><br> <b>Subject:</b> Re: logic/dynamic programming communities?</font> <div> </div> </div> <div class=3D"BodyFragment"><font size=3D"2"><span style=3D"font-size:11pt;= "> <div class=3D"PlainText">Hi everyone,<br> <br> Does anyone know of any communities where folks adept at transforming<br> unstructured text to p(a,b)? Maybe via Prolog/flavor of?<br> <br> Looking for a collaborator for an AI project.<br> <br> Thanks for any leads. Have a great day.<br> <br> <br> On 2/22/23, [email protected] <[email protected]&g= t; wrote:<br> > Send Users-prolog mailing list submissions to<br> > [email protected]<br> ><br> > To subscribe or unsubscribe via the World Wide Web, visit<br> > <a href=3D"https://lists.gnu= .org/mailman/listinfo/users-prolog">https://lists.gnu.org/mailman/listinfo/= users-prolog</a><br> > or, via email, send a message with subject or body 'help' to<br> > [email protected]= <br> ><br> > You can reach the person managing the list at<br> > [email protected]<b= r> ><br> > When replying, please edit your Subject line so it is more specific<br= > > than "Re: Contents of Users-prolog digest..."<br> ><br> ><br> > Today's Topics:<br> ><br> > 1. CADE-29 second Call for Papers ([email protected]= u)<br> ><br> ><br> > ----------------------------------------------------------------------= <br> ><br> > Message: 1<br> > Date: Wed, 22 Feb 2023 11:22:05 -0500 (EST)<br> > From: [email protected]<br> > To: <[email protected]><br> > Subject: CADE-29 second Call for Papers<br> > Message-ID: <[email protected]>= <br> ><br> > ******************************************************************<br> ><br> >  = ; SECOND CALL F= OR PAPERS<br> ><br> > CADE-29: 29th international Conference on Auto= mated Deduction<br> ><br> >  = ; Sapienza University of Rome<br> >  = ; Rome, Italy, 1-5 July 2023<br> ><br> >  = ; <a href=3D"https://easyconferences.eu/cade2023">https://easyc= onferences.eu/cade2023</a><br> ><br> > ******************************************************************<br> ><br> > -- Overview --<br> ><br> > CADE is the major international forum for presenting research on all a= spects<br> > of<br> > automated deduction. High-quality submissions on the general topic of<= br> > automated<br> > deduction, including logical foundations, theory and principles,<br> > applications in<br> > and beyond computer science and mathematics, and implementations of<br= > > automated<br> > reasoning systems are solicited. CADE-29 aims to present research that= <br> > reflects<br> > the broad range of interesting and relevant topics in automated deduct= ion.<br> ><br> > CADE-29 is in cooperation with ACM SIGLOG.<br> ><br> > -- Venue --<br> ><br> > CADE-29 and affiliated satellite events will take place in Rome, Italy= and<br> > will<br> > be co-located with FSCD 2023.<br> ><br> > -- Publication --<br> ><br> > CADE-29 proceedings will be published in Springer's Lecture Notes in<b= r> > Artificial<br> > Intelligence series in Gold Open Access mode at a CADE special rate of= <br> > =80200.00<br> > per paper. Funding will be available for authors of accepted papers wh= o<br> > cannot<br> > cover the =80200 fee.<br> ><br> > -- Special Issue --<br> ><br> > The authors of a selection of the best CADE-29 papers will be invited = to<br> > submit<br> > an extended version of their paper after the conference, to be publish= ed in<br> > a<br> > special issue of the Journal of Automated Reasoning.<br> ><br> > -- Submission Guidelines --<br> ><br> > Submissions can be made in two categories:<br> ><br> > - **Regular papers**. Up to 15 pages in LNCS style, excluding referenc= es.<br> > Proofs<br> > of theoretical results that do not fit in the = page limit may be provided<br> > in<br> > an appendix.<br> ><br> > - **Short papers**. This includes system descriptions, user experience= s,<br> > case<br> > studies and domain models. Up to 10 pages in L= NCS style, excluding<br> > references.<br> ><br> > Reviewers may consider material provided in appendices, but submission= s must<br> > be<br> > self-contained within the page limit. Submissions must be unpublished = and<br> > not<br> > submitted for publication elsewhere. They will be judged on relevance,= <br> > originality, significance, correctness, and readability. If software o= r data<br> > is<br> > relevant to a paper, a link that provides access to the software/data = must<br> > be<br> > provided to enable reproduction of results.<br> ><br> > The review process will include a feedback/rebuttal period where autho= rs<br> > will<br> > have the option to respond to reviewer comments. The PC chairs may sol= icit<br> > further reviews after the rebuttal period. Selected accepted papers wi= ll be<br> > considered by Program Committee for the CADE Best Paper Award.<br> ><br> > Papers must be submitted to <a href=3D"https://easychair.org/conferenc= es/?conf=3Dcade29"> https://easychair.org/conferences/?conf=3Dcade29</a><br> ><br> > All submission must be formatted in the LNCS style and must include th= e<br> > ORCID id<br> > of at least the corresponding author, and preferably of all authors.<b= r> ><br> > -- Important Dates --<br> ><br> > Abstract deadline: February 27, 2023<br> > Submission deadline: March 6, 2023<br> > Rebuttal phase: April = 18-20, 2023<br> > Notification: &nb= sp; May 3, 2023<br> > Final version: M= ay 24, 2023<br> > Main Conference: July 1-4, 2= 023<br> > Satellite events: July 4-5, 2023<b= r> ><br> > -- Program Committee Chairs --<br> > Brigitte Pientka, MacGill University<br> > Cesare Tinelli, The University of Iowa<br> ><br> > -- Policies--<br> > CADE implements the ACM policy against harassment.<br> ><br> > -- Contacts --<br> > All questions about CADE-29 paper submissions should be emailed to<br> > the PC Chairs (cade29 at easychair.org).<br> ><br> ><br> ><br> > ------------------------------<br> ><br> > Subject: Digest Footer<br> ><br> > _______________________________________________<br> > Users-prolog mailing list<br> > [email protected]<br> > <a href=3D"https://lists.gnu.org/mailman/listinfo/users-prolog">https:= //lists.gnu.org/mailman/listinfo/users-prolog</a><br> ><br> ><br> > ------------------------------<br> ><br> > End of Users-prolog Digest, Vol 216, Issue 3<br> > ********************************************<br> ><br> <br> <br> -- <br> Ad=E9na<br> <br> </div> </span></font></div> </body> </html> --_000_DM4PR10MB6253344550AC14BFE89C2BFBD4BE9DM4PR10MB6253namp_--