Fwd: [WI] CFP - The 35th International Conference on Logic Programming (ICLP 2019) - Cfp

3 Apr 2019


      -------- Forwarded Message --------
Subject: 	[WI] CFP - The 35th International Conference on Logic 
Programming (ICLP 2019)
Date: 	Wed, 3 Apr 2019 00:17:30 +0000
From: 	Fioretto, Ferdinando fioretto.ferdinando@isye.gatech.edu
Reply-To: 	Fioretto, Ferdinando fioretto.ferdinando@isye.gatech.edu
Apologiesforcross-posting
*The**35th**International**Conference**on**Logic**Programming*(*ICLP**2019*)
CallforPapers
=====================
September21-25,2019
LasCruces,NewMexico(USA)
https://www.cs.nmsu.edu/ALP/iclp2019/
*Scope*
------
SincethefirstconferenceheldinMarseillein1982,ICLPhasbeenthepremierinternationaleventforpresentingresearchinlogicprogramming.Contributionsaresoughtinallareasoflogicprogramming,includingbutnotrestrictedto:
* *Foundations*:Semantics,Formalisms,Nonmonotonicreasoning,Knowledgerepresentation.
  * *Languages*:Concurrency,Objects,Coordination,Mobility,HigherOrder,Types,Modes,Assertions,Modules,Meta-programming,Logic-baseddomain-specificlanguages,ProgrammingTechniques.
  * *Declarative**programming*:Declarativeprogramdevelopment,Analysis,Typeandmodeinference,Partialevaluation,Abstractinterpretation,Transformation,Validation,Verification,Debugging,Profiling,Testing,Executionvisualization.
  * *Implementation*:Virtualmachines,Compilation,Memorymanagement,Parallel/distributedexecution,Constrainthandlingrules,Tabling,Foreigninterfaces,Userinterfaces.
  * *Related**Paradigms**and**Synergies*:InductiveandCo-inductiveLogicProgramming,ConstraintLogicProgramming,AnswerSetProgramming,InteractionwithSAT,SMTandCSPsolvers,Logicprogrammingtechniquesfortypeinferenceandtheoremproving,Argumentation,ProbabilisticLogicProgramming,Relationstoobject-orientedandFunctionalprogramming.
  * *Applications*:Databases,BigData,Dataintegrationandfederation,Softwareengineering,Naturallanguageprocessing,WebandSemanticWeb,Agents,Artificialintelligence,Computationallifesciences,Education,Cybersecurity,andRobotics.
*Tracks**and**Special**Sessions*
---------------------------
Besidesthemaintrack,ICLP2019willhostadditionaltracksandspecialsessions:
* *Applications**Track*:ThistrackinvitessubmissionsofpapersonemerginganddeployedapplicationsofLP,describingallaspectsofthedevelopment,deployment,andevaluationoflogicprogrammingsystemstosolvereal-worldproblems,includinginterestingcasestudiesandbenchmarks,anddiscussinglessonslearned.
  * *Sister**Conferences**and**Journal**Presentation**Track*:Thistrackprovidesaforumtodiscussimportantresultsrelatedtologicprogrammingthatappearedrecently(fromJanuary2017onwards)
    inselectivejournalsandconferences,buthavenotbeenpreviouslypresentedatICLP.
  * *Research**Challenges**in**Logic**Programming**Track*:Thistrackinvitessubmissionsofpapersdescribingresearchchallengesthatanindividualresearcheroraresearchgroupiscurrentlyattacking.Thegoalofthetrackistopromotediscussions,exchangeofideas,andpossiblystimulatenewcollaborations.
  * *Special**Session*:WomeninLogicProgramming:Thisspecialsessionwillincludeinvitedtalksandpresentationsbywomeninlogicprogramming.
Everytrackandspecialsessionwillhaveitsowndedicatedchairs,PC,evaluationcriteria,andCFPwiththesubmissiondetails.
*Submission**Details*
-------------------
AllsubmissionsofthemaintrackmustbemadeviatheEasyChairconferencesystem:https://easychair.org/conferences/?conf=iclp2019 
.
RegularpapersmustbeinthecondensedTPLPformatandnotexceed14pagesincludingbibliography.Regularpapersmaybesupplementedwithappendicesforproofsanddetailsofdatasetswhichdonotcounttowardsthepagelimitandwhichwillbeavailableasappendicestothepublishedpaper.
Threekindsofregularpaperswillbeaccepted:
* Technicalpapersfortechnicallysound,innovativeideasthatcanadvancethestateoflogicprogramming;
  * Applicationpapersthatimpactinterestingapplicationdomains;
  * Systemandtoolpaperswhichemphasizenovelty,practicality,usability,andavailabilityofthesystemsandtoolsdescribed.
Application,system,andtoolpapersneedtobeclearlymarkedintheirtitle.
AllsubmissionsmustbewritteninEnglishanddescribeoriginal,previouslyunpublishedresearch,andmustnotsimultaneouslybesubmittedforpublicationelsewhere.Theserestrictionsdonotapplytopreviouslyacceptedworkshoppaperswithalimitedaudienceand/orwithoutarchivalproceedings.
PapersofthehighestqualitywillbeselectedtobepublishedinthejournalofTheoryandPracticeofLogicProgramming(TPLP),CambridgeUniversityPress(CUP).Inordertoensurethequalityofthefinalversion,papersmaybesubjecttomorethanoneroundofrefereeing(withinthedecisionperiod).
TheprogramcommitteemayrecommendsomeregularpaperstobepublishedasTechnicalcommunications,whichwillbepublishedbyDagstuhlPublishingintheOpenAccessSeriesinInformatics(OASIcs).TechnicalcommunicationsmustbeintheOASIcsformat(templatehere) 
andnotexceed14pagesexcludingthebibliographyandashortappendix(upto5morepages).Theauthorsofthetechnicalcommunicationscanalsoelecttoconverttheirsubmissionsintoextendedabstracts,of2or3pages,forinclusionintheOASIcsproceedings.Thisshouldallowauthorstosubmitalongversionelsewhere.
Allregularpapersandtechnicalcommunicationswillbepresentedduringtheconference.Authorsofacceptedpaperswill,bydefault,beautomaticallyincludedinthelistofALPmembers,whowillreceivequarterlyupdatesfromtheLogicProgrammingNewsletteratnocost.
*Important**Dates*
----------------
* Abstractregistration:April27,2019
  * Papersubmission:May4,2019
  * Notification:June19,2019
  * TPLPrevisionsubmission:July3,2019
  * TPLPfinalnotifications:July17,2019
  * Camera-readycopy:July31,2017
  * Conference:September23,2019
*Organization*
*-------------*
*General Chairs: *
    Enrico Pontelli - New Mexico State University
    Son Tran Cao - New Mexico State University
*Program Chairs:*
    Esra Erdem - Sabanci University
    German Vidal - Universitat Politecnica de Valencia
*Publicity Chair:*
    Ferdinando Fioretto - Georgia Institute of Technology
*Workshops Chair:*
    Martin Gebser - University of Klagenfurt and Graz University of 
Technology
*Tutorials Chair:*
    Pedro Cabalar - University of Corunna
*DC Chairs:*
    Paul Fodor - Stony Brook New York
    Daniela Inclezan - Miami University
*Programming Competition Chairs:*
    Manuel Carro - Technical University of Madrid (UPM) and IMDEA 
Software Institute
    Orkunt Sabuncu - TED University
*Applications Track Chairs:*
    Andrea Formisano - Universita' di Perugia
    Fangkai Yang - NVIDIA Corporation
*Sister Conferences and Journal Presentation Track Chairs:*
    Bart Bogaerts - KU Leuven
    Giovambattista Ianni - Universita' della Calabria
*Research Challenges in Logic Programming Track Chairs:*
    Alessandro dal Palu  - Universita' di Parma
    Amelia Harrison - University of Texas at Austin and Google Inc.
    Joohyung Lee - Arizona State University
*Women in Logic Programming Special Session Chairs:*
    Alicia Villanueva - Universitat Politecnica de Valencia
    Marina De Vos - University of Bath
*Program Committee:*
    Hassan Ait-Kaci - University of Lyon 1
    Mario Alviano - University of Calabria
    Roman Bartak - Charles University
    Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering
    Bart Bogaerts - KU Leuven
    Gerhard Brewka - Leipzig University
    Pedro Cabalar - University of Corunna
    Michael Codish - Ben-Gurion University of the Negev
    Stefania Costantini - University of L'Aquila
    Marina De Vos - University of Bath
    Agostino Dovier - University of Udine
    Thomas Eiter - Vienna University of Technology
    Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt
    Fabio Fioravanti - University of Chieti-Pescara
    Andrea Formisano - Universita' di Perugia
    John Gallagher - Roskilde University and IMDEA Software Institute
    Martin Gebser - University of Klagenfurt and Graz University of 
Technology
    Michael Gelfond - Texas Tech University
    Michael Hanus - CAU Kiel
    Amelia Harrison - University of Texas at Austin and Google Inc.
    Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA 
Software Institute
    Giovambattista Ianni - Universita' della Calabria
    Daniela Inclezan - Miami University
    Katsumi Inoue - National Institute of Informatics
    Tomi Janhunen - Aalto University
    Angelika Kimmig - Cardiff University
    Ekaterina Komendantskaya - Heriot-Watt University
    Vladimir Lifschitz - University of Texas at Austin
    Evelina Lamma - University of Ferrara
    Joohyung Lee - Arizona State University
    Nicola Leone - University of Calabria
    Yanhong Annie Liu - Stony Brook New York
    Fred Mesnard - Universite de la Reunion
    Jose F. Morales - IMDEA Software Institute
    Emilia Oikarinen - Aalto University
    Carlos Olarte - Universidade Federal do Rio Grande do Norte
    Magdalena Ortiz - Vienna University of Technology
    Mauricio Osorio - Universidad de las Americas Puebla
    Barry O'Sullivan - University College Cork
    Simona Perri  - University of Calabria
    Enrico Pontelli - New Mexico State University
    Ricardo Rocha - University of Porto
    Alessandra Russo - Imperial College
    Orkunt Sabuncu - TED University
    Chiaki Sakama - Wakayama University
    Torsten Schaub - University of Potsdam
    Guillermo R. Simari - Universidad Nacional del Sur
    Theresa Swift - Universidade Nova de Lisboa
    Francesca Toni - Imperial College
    Paolo Torroni - University of Bologna
    Son Tran Cao - New Mexico State University
    Alicia Villanueva - Universitat Politecnica de Valencia
    Kewen Wang - Griffith University
    Jan Wielemaker - VU University of Amsterdam
    Stefan Woltran - Vienna University of Technology
    Fangkai Yang - NVIDIA Corporation
    Roland Yap - National University of Singapore
    Jia-Huai You - University of Alberta
    Zhizheng Zhang - Southeast University
--
Mailing-Liste: wi@lists.kit.edu
Administrator: wi-request@lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi