Imandra Media
Select media type:
Automated Reasoning for SysML v2
7 August 2023news
Imandra: automated reasoning for LLMs
7 July 2023news video
OMG approves SysML v2, beta specifications
10 July 2023news
Interview with Imandra at TradeTech 2023
6 July 2023news video
Jamie Smith with Imandra talking about Digital Twins and insights at OMG's Quarterly Meeting.
30 May 2023news video
At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency.
13 Apr 2023news video
We are delighted to partner with Exberry.
16 Jan 2023news video
Imandra is delighted to be a sponsor of the Plato Technology Summit.
16 Jan 2023video
Automated reasoning, a new paradigm in certification and onboarding.
8 July 2021news video
Itiviti partners with Imandra to speed FIX onboarding.
27 January 2021news video
World Economic Forum report on AI in the Financial Services highlights Imandra's leadership
15 September 2020news
Analysing Machine Learning Models with Imandra
27 September 2019news
Analysing Machine Learning Models with Imandra
27 September 2019news
PyIDF: Diversity of experiences in Reinforcement Learning
13 September 2019blog
Imandra Explains “Black-Box” Financial Algos
20 June 2019news
Describing Algorithms: Introduction
14 June 2019blog
Imandra raises $5M for tech to police other computer programs
18 April 2019news
Constraint solving your UIs
5 February 2019blog
Introducing Verified React
7 January 2019blog
Probabilistic reasoning in ReasonML
26 October 2018blog
Verifying ReasonReact component logic — ReasonML & Imandra
4 September 2018blog
Machine Reasonable Design with Imandra
22 August 2018blog
Imandra interface to Robot OS: Part I
7 august 2018blog
Scalable Deep Symbolic Reinforcement Learning with Imandra
31 July 2018blog
Powering Documentation with Jupyter Notebooks
26 July 2018blog
Creating safe robots with Imandra
10 July 2018blog
Formalising the FIX Protocol in Imandra
21 June 2018blog
Analysis of the WGC Exchange using the Imandra Protocol Language
26 April 2018blog
Machine Reasonable APIs and the public launch of Imandra Protocol Language
5 April 2018blog
The IEX Auction: Pursuing Greater Clarity
11 January 2018blog
Industry Looks to Formalize FIX Ecosystem
24 April 2018news
Release of Imandra EVM: A formal model of the Ethereum Virtual Machine
31 October 2016news
Formal Verification Platform for Blockchain-Based Smart Contracts
27 September 2016news
Google’s Schindler Invests in UK Automated Reasoning Startup
13 August 2016news
AI Submits Reg AT Comment Letter
16 March 2016news
Intel’s Pentium Bug Fix Is Proposed as Solution for Dark Pools
4 March 2016news
AI Submits Reg ATS-N Comment Letter
1 March 2015news
Financial Industry Looks to Automated Reasoning
17 December 2015news
UBS Future of Finance Challenge: Monocle 24 Radio
13 December 2015news
UBS crowns winners in Future of Finance competition
11 December 2015news
AI wins UBS Future of Finance Challenge
11 December 2015news blog
AI Submits IEX Comment Letter
18 November 2015news
AI is a Regional Finalist of The UBS Future of Finance Challenge
25 October 2015news
UBS Future Of Finance Regional Finals
17 October 2015news
Case Study: 2015 SEC Fine Against UBS ATS
12 October 2015white-papers
Market stress puts focus on high-speed technology
6 October 2015news
Dark pools back in the dock as regulators scrutinise ITG
12 October 2015news
Transparent Order Priority and Pricing
8 August 2015white-papers
Creating Safe and Fair Markets
2 April 2015white-papers
The year the Flash Boys came into the firing line
17 December 2014news
Rethinking exchange reliability
14 November 2014news
PyIDF: Diversity of experiences in Reinforcement Learning
13 September 2019blog
Describing Algorithms: Introduction
14 June 2019blog
Constraint solving your UIs
5 February 2019blog
Introducing Verified React
7 January 2019blog
Probabilistic reasoning in ReasonML
26 October 2018blog
Verifying ReasonReact component logic — ReasonML & Imandra
4 September 2018blog
Machine Reasonable Design with Imandra
22 August 2018blog
Imandra interface to Robot OS: Part I
7 august 2018blog
Scalable Deep Symbolic Reinforcement Learning with Imandra
31 July 2018blog
Powering Documentation with Jupyter Notebooks
26 July 2018blog
Creating safe robots with Imandra
10 July 2018blog
Formalising the FIX Protocol in Imandra
21 June 2018blog
Analysis of the WGC Exchange using the Imandra Protocol Language
26 April 2018blog
Machine Reasonable APIs and the public launch of Imandra Protocol Language
5 April 2018blog
The IEX Auction: Pursuing Greater Clarity
11 January 2018blog
AI wins UBS Future of Finance Challenge
11 December 2015news blog
Automated Reasoning for SysML v2
7 August 2023news
Imandra: automated reasoning for LLMs
7 July 2023news video
OMG approves SysML v2, beta specifications
10 July 2023news
Interview with Imandra at TradeTech 2023
6 July 2023news video
Jamie Smith with Imandra talking about Digital Twins and insights at OMG's Quarterly Meeting.
30 May 2023news video
At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency.
13 Apr 2023news video
We are delighted to partner with Exberry.
16 Jan 2023news video
Automated reasoning, a new paradigm in certification and onboarding.
8 July 2021news video
Itiviti partners with Imandra to speed FIX onboarding.
27 January 2021news video
World Economic Forum report on AI in the Financial Services highlights Imandra's leadership
15 September 2020news
Analysing Machine Learning Models with Imandra
27 September 2019news
Analysing Machine Learning Models with Imandra
27 September 2019news
Imandra Explains “Black-Box” Financial Algos
20 June 2019news
Imandra raises $5M for tech to police other computer programs
18 April 2019news
Industry Looks to Formalize FIX Ecosystem
24 April 2018news
Release of Imandra EVM: A formal model of the Ethereum Virtual Machine
31 October 2016news
Formal Verification Platform for Blockchain-Based Smart Contracts
27 September 2016news
Google’s Schindler Invests in UK Automated Reasoning Startup
13 August 2016news
AI Submits Reg AT Comment Letter
16 March 2016news
Intel’s Pentium Bug Fix Is Proposed as Solution for Dark Pools
4 March 2016news
AI Submits Reg ATS-N Comment Letter
1 March 2015news
Financial Industry Looks to Automated Reasoning
17 December 2015news
UBS Future of Finance Challenge: Monocle 24 Radio
13 December 2015news
UBS crowns winners in Future of Finance competition
11 December 2015news
AI wins UBS Future of Finance Challenge
11 December 2015news blog
AI Submits IEX Comment Letter
18 November 2015news
AI is a Regional Finalist of The UBS Future of Finance Challenge
25 October 2015news
UBS Future Of Finance Regional Finals
17 October 2015news
Market stress puts focus on high-speed technology
6 October 2015news
Dark pools back in the dock as regulators scrutinise ITG
12 October 2015news
The year the Flash Boys came into the firing line
17 December 2014news
Rethinking exchange reliability
14 November 2014news
Imandra: automated reasoning for LLMs
7 July 2023news video
Interview with Imandra at TradeTech 2023
6 July 2023news video
Jamie Smith with Imandra talking about Digital Twins and insights at OMG's Quarterly Meeting.
30 May 2023news video
At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency.
13 Apr 2023news video
We are delighted to partner with Exberry.
16 Jan 2023news video
Imandra is delighted to be a sponsor of the Plato Technology Summit.
16 Jan 2023video
Automated reasoning, a new paradigm in certification and onboarding.
8 July 2021news video
Itiviti partners with Imandra to speed FIX onboarding.
27 January 2021news video