Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [ICTAC 2023] Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ICTAC 2023] Call for Participation


Chronological Thread 
  • From: Violet Ka I Pun <violetpun AT gmail.com>
  • To: Violet Ka I Pun <Violet.Ka.I.Pun AT hvl.no>
  • Subject: [Coq-Club] [ICTAC 2023] Call for Participation
  • Date: Fri, 20 Oct 2023 11:23:12 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=violetpun AT gmail.com; spf=Pass smtp.mailfrom=violetpun AT gmail.com; spf=None smtp.helo=postmaster AT mail-pl1-f173.google.com
  • Ironport-data: A9a23:ApUNM6yiwN+h/Np/0bx6t+fYwyrEfRIJ4+MujC+fZmUNrF6WrkUAy mJOWG7Ua62IYGWhLtB2bo+39UIE65WEndBqSlQ5pVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Uc3l48sfrZ80o35aWq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPT8ulqF3gRD7EywcdNDmZlr 8EFKDcSO0Xra+KemNpXS8Fpj8UnadHvZcYR4y47iz7eCvkiTNbIRKCiCd1whm9hwJATW6yHO 4xANmEHgBfoO3WjPn8JCZU6kfuwm3/XfDhRqVbTrq0yi4TW5FUqiuK8boWOKrRmQ+1csk+op 16dzl/iG0o5LebFmB+arCij07qncSTTHdh6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 2Qf8y8q6Kwz71CDVcj4RxT+oXievxdaVcA4LgEhwASEy66R+wLAQ2ZdEWUHZ9shu8s7Azct0 zdlgu/UONCmi5XNIVr1y1tehWra1fE9dDdZPX03XkEe7sP9oYo+qBvKQ5wxWOS2l9D5U3W4i TyDsCF01f1ZgN8pxpeL2wnNowutgZzVES8zxAHcBVy+4i1DOYWKWo2P6Hrg18hmErq3dFe6k UI/q5Cs19xWVZCpvw6RcdoJB4CstqqkMiWDoFtBHKsB1jWK+lyld79++DtVeUVjaJ4FXRTLY 0bjnxxby7EOHXmtbI5xO5mQDeZzx4feNN3VbNLmRfsQXYpQLSis4zNLSXOL+VzUgGwAsP0aK IiKV8SBFlMYAvlX9yW3TOIjzrMb/CAy6mfNT5TdzR78876hSFOKaLUCIn2cR/sY6f6anQDr7 NpvDcuG5BFBWunYYCOM04oyL0gPHEcrF6LNtM1bWe6SEDVIQFh7Jafq/oogXIh5k4B+tOTCp Ci9U3AF7mvPvyTMLAHSZ01zbL/qY41Ekks6Gi4RJnet5WkoZNe+zaUYdqZvR4Idys5Y8adWQ cUGKuK6OdYebhTc+j8YU4vxk5w6SjSvmjC1HnSEZBoRQsdeYjLnq/HYejnhzi0sNhaMlNAfp uSg3zzLQJBYSAVFCt3XWc2VzFiwnCY8ne5ubnTMOf1WXlvmy6lxCinLlvRsCdo9GRbC4Tq71 gitHhYTo9fWkbI16NXkgaOlrZ+jNulDQm52Onb91qnvEwX35U+hzp1kfMfSWAvCRUXm/KmGT sdE/cHWafEosg5DjNthLuxN06k72erKm5Zb6QZBR1DgcFWhD+JbEEmshMVgmPVE+e5EhFGQR EmKx9h9PIeJMuPDFHo6BlIsTsaH5MEutgji19YHC2Sk23Yv55uCa1tYADeUgi8ELLdVDpIs8 d18hOEosT6AmjgYGffYqBtL9la8DG0KCIQmkZA4PLXFqCQWznN6XJiNLROuvb+ubY1XP1gIM w2kovPIp45hy3rod1sxEnnw3tRhu6kehSASzHE+CgSIvvHnms4I2AZg9GVrbwZNkTRC/eFBG klqEExXOZSx+yxMtOJYelv1HiR9Dw+9/0DvwQEFj1/iEkuiDDTMCEYfOu+92l8T3EwBXzpc/ ZCekH3EVxSzdu7P/yICY2xXgN29cs5U6SvDh9GBI8SJO7IYcAjVqPaiSkRQoiS2HP5rolPMo Ndb2dpZaIr5BHY2mLI6AYzL7oYgYkmIC0IaSM4w4Z5TO3/XfQyz/j28K0qRXMdpDN6S+G+aD /1eHO5+Zy6c5g2v8A9CXbUtJoVqlsEH/NABI7PnBVAXuoul8wZGjsjiyTjctkQKHfNVjscPG qHAfWmjE0uRp0dutU3jkc1mAle8MP44PFDS/ebs/OswQsdJ9KkmdEwpybK7skmEKAYtrVreo ArHYLSQ1OB4j5hlm4z3CKhYGgGoMpXJWf+V9Byo+cF7BT8V3RwiaytOwrUmA+hXAVfVc9F+l LDIqNqumU2c4+1wXGfelJ2MUaJO4K1emQaR3t3fdBFncemqAacAICfvP0i3LJVIlJVW4czPq 86Qdp6rbdBMMztC7CQ9VsWdeirxz4z4a67hoWW2qPHk5t3xF+DYBIvPyEIFpl23usPF11MSx +M0VzuTCghkkblx
  • Ironport-hdrordr: A9a23:8s61y62OCejnuO+Ma2bawwqjBKckLtp133Aq2lEZdPUzSK2lfq GV8sjzuiWZtN98YhsdcLO7V5VoKEm0naKdh7N7AV7IZmTbURGTXeJfBPPZsl/d8nHFh4tgPN xbE5RDNA==
  • Ironport-phdr: A9a23:1FzG6xHNh30+e38LomDt251Gf7JGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33BmWDc6CsboE07OQ7/q+HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sL xi6twfcu8oZjYd/NKo61x/FrmdVd+hMym5kO1Oekwzg6sus+ZJo7jhdte8m+8NcS6vxYr42T aZfDDQoMmA14NPkuBzeRgaR5XUST3sbnANQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yTOfFjfK3SYMkaSHJBUMlNWCJODY2yY ZYMAeQfOuhVtJX9p0ILrReiBQmgGOHixzlVjXH2x6061OEhHBnJ0wwhGNIOtGrbrMnoP6kXS +++0arGxijZYfNL3zf29Y/Fcg4gofGLWbJ/b9bRyVEyFwPDlViQponlMCmU1uQJqWSU8+1gV ee2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYooIdC1SFB3bNC6HJdNty+XOIp7T98tTm11t ys3yr4LtIK6cSUE1Jgq2wLTZvKIfoaH7RzvSvidLSl2in94ZL6ygQu5/0anyu35TMa00VBKo zJYktnQqH8Cywbf5daaRftg5EuhwSiA2gbO4e9HOUA5jbTXJ4Ilz7IqlZcesV7PEjHrlEj5l qOaa0cp9+aw5+j5frnrpoWQO5Fphgz+KKgjlNazDfkmPgUAWWWQ5P6y26f5/ULjRbVHlv02n bfdsJDdPckbo7S2Aw5R0oo68xa/Cyqq3M0WnXUaLl9IdgiLj4fuO1HJL/D4Cemwj06wnzdsw vDKJrzhApPTIXjfiLrtY6px5kpGxAcwzd1T/YxYBqwOLf7pR0P8ttLVAgc8MwOuwubnDNt91 pkZWWKKGqKZLqLSsViM5u0xP+mMfJIVuDDmJvgq4v7hl345mVsHcaa12psXbWi0HvJ9LEqBe 3rjns8BEXsWvgo5VOHmlkWOUSRPaHaqQ6I8+jY7BZq6AofEX4ChmaCO3COmHpJNfW1GEVCNE XLwd4qeQfsMaSSSItVgkjMeT7ShRZUh2Qm0tADm07pnMvbU+ioAuJ3/ztd14unTmQg29Tx1F MSdz3qAT3p0n2MNXz85xrpzoU17yleZ0Kh3meZUFdJJ56ABbgBvC5/by+FmQ/P7EiOJRsqPA AKYQ9KiDC13bdt34pk2fkBVG8umyBbEiXmEGbgQwoKKA5g57ur/1jDQb/5gzT6Syqgmi1Q6W tZJHWKjj697sQPUAtiawA2ii6+2ePFEj2b2/2CZwD/W1Kk5eAt5UKGfGGsaelOTt9PyoEXLU 76pD70jdApH08+LbKVQOZXylVsTYvDlNZzFZn6p3X+qDEOWx7SIYZbyZmM10yDUCUxCmAcWr j6dLQZrPi66uCrFCSB2U1fmYkfi6+57/W26SUs50xmXaWVu0rO0/lgegvnPA+gL0OcivyEs4 y5xAE7739/SDI+YoBF9eaxHfd4nyFJO1Gacrwgke5L5cPskiVkZfAB6+Ujp0n2bE61mls4n5 DMvxQt2c+eD1U9ZMimf1tb2M6HWLW/7+FaubbTX0xfQyoTe/KBH8/k+p1j52WPhXkM/73Vq1 cVU2HqA993LCgQVS5f4Tkcw8VBzubjbZiA3446c22drNOG4tTrL2tRhA+VAqF7oYdZYNK6YD BL0O8IfDsmqbuctnhnhbx4JOvxT6L9hJ9mvJLON3K+mOvolnSrz1zwWptAglBjVq2wlFbWbu vRNi+uV1QaGSTrm2VKos8St3JtBeSlXBG20jy7tGI9WYKR2O4cNE2anZcOtlbAcz9bgXWBV8 Fm7ChYIwsisLFCMblv50BFIyEI/rnmumC/+xDtx2WJMzOLXzGnVzuLueQBScHBKQ21vkU/xJ 6C7itkbWA6jaA1jx1O1oE39waZcvqF2KWLeFFxJcybBJGZnSqKst7CGbqaj8bsQuD5MGKS5a FGeEPvmpgcCljnkFC1YzSw6cDejvtP4mQZ7gSSTNiQ7oH3ccMB2jRDRgb6UDeBQ2T4LWDFlj xHYA1G9O5+i+tDcm5rYs++4Xn6sTdUJKXitnd7G7nLnozQ1WlW2hLirl8fiEBQm3COetZEiT ijOoBvmI8Hq26m8LeN7bxxtDV745dB9H9I2mY8xiZcMnHkC08/NrDxXzCGpaIkdgP2lPx9vD XYRztXY4RbowhhmJ3ONncfiU2mFh9FmbJ+8a38X3SQ064ZLDr2V5fpKh3gQwBLwoATPbPx6h jpYx+Ep7StQneAOvAcx1jibKr8XFEhceyfrkl7birL25LUSf2upfbWqgQBgnNelAa2avwd0V 3Pwe5NkFih1pJYaUhqEwDj47Yfqf8PVZNQYu0iPkhvOuONSLYo4ivsAgSc0cXK4p3AuzPQ3y AB/xZzv9pbSMH1jpejqZ3wQfi2wfc4Y/SvhyLpTjtrDlZ76BY1vQ30KRMe6Fq/uSWNK8667a EDWV2dg4naDReiBQUnFsxwg9iyXVcjsbiDyRjFRzM0+FkfDYhUH2kZMGm19xMZxFxj2lpK/N h0lt3ZBvhig7UEUguNwa0ugCCGG+EHxO21yEN/GfH80pklD/xuHbpDYt7guWXkeptr48kSMM jDJPlwYSzhWBQrUQQikZODm5MGcobHHXaznfqeIOfPW7rUAMpXAjZO3jtk8p2fKZpjJZyMyS aV8gxULXGglSZ6AxXNSG2pOxniLN4nC9V+94nEl9Jnhtq6wCUS0v83XTOIDVLcnswa/haPJX wKJrAB+LzsQlpYFxHuSjaMawEZXkSZlMT+kDbUHsyfJCqPWgK5eSRABOWt1M4NT4qQw0xMoW 4aTg87p1rN+kv8+CktUHV3nlMazYMUWIma7fFrZDUePPb6CKHXF2cbyKa+7TLRRiq1TuXjS8 X6DFFT/Oz2YizTzfxWmMOUJlCXCeRIH59r7fRFqBmzuCtnhb1zzMdN6iyE33axhhn7OMj15U 3A0eEdMo7uMqCJA168nSioRszw/dLXCwnnCvIy6Yt4MvPBmAzp5jbdf6XU+kf5O6T1cAeZyk 23Up8JvpFevlq+OzCBmWVxAsGUu5srDsEN8NKHe7pQFV2zD+UdH82SXDxkWv8ZjItLqsqFUj NPIkeigTVUKu8KR5sYaC8XOfYifN2E9NBPyBDPOJA4MTDruLWWGwkIEz6rU+XqSoZw37JPrn dBdL90THExwHfQcBEN/GdUEK5oiRTIon4mQi8sQ7Ga/ph3cLC27lpXOV/bXGfG2bTjA0uICa BwPzrf1a48UM9+js6SNQlZ/lYXOXUHXWIIUysWERgAxqURJtnN5Sz9rs38=
  • Ironport-sdr: 65324710_T8QQ/r6kw3cGsQylyQ5OZ96ZdSW3ISmGXRwcMtI2tmqIL4C pMzc/brCsf3t4K2emwc36mjVgzcTlN2jUbrjJAg==


--------------------------------------------------------------------------------------------------
ICTAC 2023 - Call for Participation
20th International Colloquium on Theoretical Aspects of Computing
04-08 December 2023, Lima - Peru (on-site event)
https://ictac2023.compsust.utec.edu.pe/
--------------------------------------------------------------------------------------------------

News: Registration is now open for ICTAC 2023!
Early registration deadline: 31st of October.

SCOPE

The ICTAC conference series aims at bringing together researchers
and practitioners from academia, industry, and government to present
research and exchange ideas and experiences within theoretical aspects
of computing through methods and tools for system development.
ICTAC also aims to promote research cooperation between developing
and industrial countries.


REGISTRATION

Registration details: https://ictac2023.compsust.utec.edu.pe/registration/
ICTAC 2023 will offer reduced fees for students.

FULL PROGRAM

https://ictac2023.compsust.utec.edu.pe/program_ICTAC/

PRACTICAL INFORMATION

Location: University of Engineering and Technology (UTEC) - Lima, Peru

Further details:
https://ictac2023.compsust.utec.edu.pe/practical-information/

INVITED SPEAKERS

- Marijn J.H. Heule (Carnegie Mellon University):
Without Loss of Satisfaction.
- Pedro R. D'Argenio (National University of Córdoba):
Optimal Route Synthesis in Space DTN using Markov Decision Processes.
- Ana Cavalcanti (University of York):
Learning in RoboStar.

TUTORIALS

- Shaukat Ali, Mahsa Varshosaz:
Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches.
- Ina Schaefer, Maximilian Kodetzki:
The Correctness-by-Construction Approach to Programming Using CorC.
- Einar Broch Johnsen:
The Semantically Lifted Digital Twin.
- Maurice H. ter Beek:
Formal Methods and Tools for Software Product Lines.
- Martin Leucker:
Automata Learning with an Application to Learn and Verify
Recurrent Neural Networks.

ACCEPTED PAPERS

- Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki:
A game-theoretic approach to indistinguishability of winning objectives
as user privacy
- Florian Dorfhuber, Julia Eisentraut and Jan Kretinsky:
Learning Attack Trees by Genetic Algorithms
- Suthee Ruangwises:
The Landscape of Computing Symmetric $n$-Variable Functions with $2n$
Cards
- Stepan Kuznetsov:
On the complexity of reasoning in Kleene algebras with commutativity
conditions
- Matteo Cimini:
Towards the Complexity Analysis of Programming Language Proof Methods
- Carlos G. Lopez Pombo, Agustín E. Martínez Suñé and Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
- Jan Tušil, Péter Bereczky and Dániel Horpácsi:
Interactive Matching Logic Proofs in Coq
- Tom T.P. Franken, Thomas Neele and Jan Friso Groote:
An Autonomous Data Language
- Karla Morris, Thai Son Hoang, Colin Snook and Michael Butler:
Formal Language Semantics for Triggered Enable Statecharts with a
Run-to-Completion Scheduling
- Beniamino Accattoli, Giulio Guerrieri and Maico Leberle:
Strong Call-by-Value and Multi Types
- Weihao Su, Rongchen Li, Chengyao Peng and Haiming Chen:
Algorithms for Checking Intersection Non-emptiness of Regular Expressions
- Maurice ter Beek, Rolf Hennicker and José Proença:
Realisability of Global Models of Interaction
- Matías Brizzio and César Sánchez:
Efficient Reactive Synthesis Using Mode Decomposition
- Leo Lobski, Fabio Zanasi and Ella Gale:
A Categorical Approach to Synthetic Chemistry
- Amazigh Amrane, Hugo Bazille, Uli Fahrenberg and Krzysztof Ziemianski:
Closure and Decision Properties for Higher-Dimensional Automata
- Francesco Dagnino, Amin Farjudian and Eugenio Moggi:
Robustness in Metric Spaces over Continuous Quantales and the
Hausdorff-Smyth Monad
- Karam Kharraz, Martin Leucker, Shaun Azzopardi and Gerardo Schneider.
Synchronous Agents, Verification, and Blame — A Deontic View
- Uwe Nestmann and Nadine Karsten:
Store Locally, Prove Globally
- Erik Voogd, Åsmund Aqissiaq Arild Kløvstad and Einar Broch Johnsen:
Denotational Semantics for Symbolic Execution
- Marian Johannes Begemann, Hannes Kallwies, Martin Leucker
and Malte Schmitz:
TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems
- Anna Stramaglia, Jeroen J.A. Keiren and Thomas Neele:
Simplifying process parameters by unfolding algebraic data types.
- Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din,
Violet Ka I Pun and Volker Stolz:
Modular Soundness Checking of Feature Model Evolution Plans

TRAINING SCHOOL

- Pedro R. D'Argenio (National University of Córdoba):
Probabilistic Model Checking.
- Christian Colombo (University of Malta):
The Theory and Practice of Runtime Verification:
A Hand-On Introduction to the Formal Methods Technique with Applications
in Cyber Security Monitoring.
- Marijn J.H. Heule (Carnegie Mellon University):
Satisfiability Solving.
- Ana Cavalcanti, Ziggy Attala, Jim Woodcock (University of York):
Software Engineering for Robotics: RoboStar technology.

  • [Coq-Club] [ICTAC 2023] Call for Participation, Violet Ka I Pun, 10/20/2023

Archive powered by MHonArc 2.6.19+.

Top of Page