Dear Colleagues,
Please find below the call for participation and talks for the Workshop on
automata and games for synthesis happening just after FSTTCS at IIT
Gandhinagar. Please distribute. Apologies for cross-posting.
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
*Call for participation*
Workshop on automata and games for synthesis
<https://sites.google.com/view/fsttcs2024bworkshop>
Gandhinagar, Gujarat, India
December 19th, 2024
Co-located with Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) 2024
---------------------------------------------------------------------------------------------
Submission of contributed talks at:
https://sites.google.com/view/fsttcs2024bworkshop/short-presentation
---------------------------------------------------------------------------------------------
===================
About the workshop
===================
The first workshop on automata and games for synthesis is an on-site event
happening on the 19th of December, 2024, in Gandhinagar, India. It is
co-located with Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) 2024, the premier international computer science
conference in India, and takes place each year in December since 1981.
Automated synthesis of systems from specifications has been a longstanding
goal of computer science. The workshop focuses on various aspects by which
automata and game solving are used to tackle problems motivated by
synthesis.
The workshop has several invited speakers and one session with
short-presentations. For the short-presentation, PhD students and postdocs
are encouraged to talk about their research in 10-15 minute sessions (exact
length will depend on the number of contributions). The workshop does not
have any proceedings, and therefore previously published talks or ongoing
work are both encouraged to be presented. Topics for the presentation at
the workshop include, but are not limited to, the following:
Automata Theory
Synthesis
Games on Finite and Infinite Graphs
Computational aspects of Game Theory
Concurrency and Distributed computation
Formal Languages
Games and Automata for Verification
Specification and Verification of Finite and Infinite-state Systems
============================
Important dates and information
============================
Deadline: November 14th (AoE)
Submit your contributions at:
https://sites.google.com/view/fsttcs2024bworkshop/short-presentation
Notifications: November 18th 2024
Event: 19th December 2024
=============
Speakers
=============
Dmitry Chistikov (University of Warwick)
C. Aiswarya (Chennai Mathematical Institute)
Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne)
and more to be announced.
=============
Organisers
=============
Sougata Bose
Suman Sadhukhan
K. S. Thejaswini
=============
Program
=============
The detailed program will be here
<https://sites.google.com/view/fsttcs2024bworkshop/schedule> closer to the
workshop.
For any queries, contact the organisers: sougata.Bose(a)liverpool.ac.uk,
ssadhukh(a)campus.haifa.ac.il, thejaswini.k.s(a)ista.ac.at
Regards,
Suman Sadhukhan
Postdoctoral researcher
University of Haifa
Academic Research and Careers for Students (ARCS) is an annual symposium
hosted by ACM India, dedicated to providing a unique platform for
research scholars in Computer Science and related fields across India.
The 2025 edition of ARCS will be held on February 27-28 in Coimbatore.
If you are a PhD student in India working in any area of Computer
Science with an accepted or published paper in a conference or journal,
ACM ARCS 2025 [1] formally invites you to submit your publication
details for a potential poster presentation at ARCS, held alongside the
ACM India Annual Event.
We are specifically seeking accepted or published work between Nov 23'
to Oct 24' to facilitate meaningful networking among PhD students and
research mentors from both academia and industry. Selected students will
receive limited travel and accommodation support to attend ARCS and the
ACM India Annual Event.
Sub-themes include (but not limited to):
* Algorithms
* Complexity
* Logic & Automata
* Cryptography
* Quantum computation
* Information theory
* Architecture
* Database
* Networking
* PL & Formal Verification
* OS & Compilers
* Computer Vision & Graphics
* Artificial Intelligence
* Machine Learning
* NLP, Information retrieval
* Social network analysis
* Security
* Technology for society
Key dates:
- Submission deadline: November 15, 2024
- Notification of selection: December 15, 2024
Registration link for open call: Click Here [2]
For more info. write to:acmarcs2025@gmail.com
Or Visit: https://event.india.acm.org/arcs/home/
Links:
------
[1] https://event.india.acm.org/arcs/home/
[2]
https://docs.google.com/forms/d/1X3xmmlGpdaSrC_op3LnzMb8z9vgf908A9Vo-BSucKt…
Posting on behalf of Yong Kiam Tan (NTU):
We are jointly advertising for several open PhD and postdoc positions in
PL/FM at the School of Computer Science and Engineering, Nanyang
Technological University (NTU), Singapore.
PhD positions are fully funded, and will be for the January 2025 or
August 2025 intake at SCSE, NTU.
Details of the postdoctoral positions vary, but they are open to
candidates with PhD-level qualifications in a range of topics in PL/FM.
Please see below for further information on individual openings;
interested candidates should contact us directly.
Luke Ong, Professor
We invite motivated and well-qualified candidates to work on Bayesian
Statistical Probabilistic Programming, as part of a research programme
funded by the National Research Foundation, Singapore.
The appointees will work in the Probabilistic Programming Lab, where
research is carried out on a wide range of topics, especially in the
interface of programming languages, machine learning, and Bayesian
statistics, but also in allied areas in semantics of computation, formal
methods and verification, and in logic and algorithms.
Bayesian Statistical Probabilistic Programming lies in the interface of
programming languages, machine learning, and Bayesian statistics. These
positions will suit researchers with expertise in one (or more) of the
three areas, and are interested and committed to collaborating with
experts in the other areas.
Further details are available at
https://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html
Yang Liu, Professor
I have fully-funded PhD positions available for PL/SE/Security on web3
security (smart contract and runtime monitoring), AV security and
robustness, and Large Language Model (LLM) applications: applying LLM
for FM (specification/property generation, proof automation), LLM for
security (vulnerability detection via static analysis or fuzzing,
vulnerability repair), LLM for SE (multi-agent software development),
LLM security (prompt injection, jailbreak, defence against LLM attacks).
website: https://personal.ntu.edu.sg/yangliu/
contact: yangliu(a)ntu.edu.sg
Conrad Watt, Assistant Professor
I have fully-funded PhD positions available for PL research, broadly
construed, related to the WebAssembly programming language and virtual
machine. A successful applicant will have the opportunity to work
closely with WebAssembly's industrial standards body and inform the
future direction of the language.
I am also looking to recruit postdocs with experience in mechanised
theorem proving and programming language semantics, to work on advanced
extensions and applications of the WasmCert-Isabelle mechanisation of
WebAssembly and related artefacts. A key theme of this work will be
driving industrial adoption of verified artefacts - for example, see
https://dl.acm.org/doi/abs/10.1145/3591224. Experience with Isabelle/HOL
would be highly desirable. Funding is available for up to 4 years of
full-time employment.
website: conrad-watt.github.io <http://conrad-watt.github.io>
contact: conrad.watt(a)ntu.edu.sg
Yong Kiam Tan, (incoming) Assistant Professor
I am interested in applications of deductive verification and
interactive theorem proving in automated reasoning, compilers (CakeML),
randomized algorithms, hybrid systems, and cryptography. I am recruiting
up to three PhD students and three postdocs for these topics under a new
Singapore NRF fellowship project.
Please visit https://tanyongkiam.github.io/advert.html for contact and
other details.
Conrad and Yong Kiam would also like to draw attention to A*STAR's
graduate scholarships
(https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview).
These competitive national awards offer enhanced support for exceptional
PhD applicants, who we would jointly supervise in a project related to
the intersection of WebAssembly and CakeML. Please contact us for more
details.
