Events/Confs/Meet Ups>Chat

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

#learning#formal-methods
Onor.io

Onor.io

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

Hi all,

I’m honored to be one of the speakers for Elixir Conf 2022 coming up at the end of the month of August. One thing I was hoping for (as icing on the cake I guess) was to find other Elixir folks who have some interest in studying formal methods. By formal methods I mean modeling tools such as Alloy and TLA+ but I wouldn’t mind talking about Coq or any other formal method tool that anyone would care to discuss.

Consider this an informal invitation; I’d like to lead/join a BOF session on formal methods. I wanted to see if others might be interested in discussing the topic as well.

View thread on forum
#learning#formal-methods
4 544 0

Where Next?

View thread on forum
learning
formal-methods
Home Events/Confs/Meet Ups>Chat
#learning#formal-methods
4 545 0
Last post

Popular in Events Chat Top

cleaver
Events/Confs/Meet Ups>Chat

Looking for Speakers - Elixir Montréal (monthly online meetup)
Elixir Montréal is seeking speakers for our monthly online meetup! We welcome Elixir enthusiasts from around the world to share their ins...
#elixir-meetup
10 173 3
New
ityonemo
Events/Confs/Meet Ups>Chat

Exploratorium at codebeam?
Anyone want to get a crew together to go to the exploratorium in the evening at codebeam for their adults (18+) thursday night? It’s not...
#code-beam-sf
3 754 2
New
cloud8421
Events/Confs/Meet Ups>Chat

Meeting fellow devs in Istanbul
Hello everyone! I’m spending some time in Istanbul and would like to connect with local devs (I’m based in Kadikoy). English speaking fo...
#istanbul#turkey
0 638 0
New
ronscho
Events/Confs/Meet Ups>Chat

ElixirConf US 2024 Link to virtual Platform requested
Hi, does anyone have a valid link to the virtual elixirconf us 2024 event platform? The official e-mail contact address jim@elixirconf....
#elixirconf
0 120 0
New
davearonson
Events/Confs/Meet Ups>Chat

Code BEAM STO/Europe 2022
So… is anybody going? BESIDES ME, who would like to see some familiar faces, or at least names, or at least “handles”? :wink:
#conferences#code-beam-sto-22
3 641 0
New
arjan
Events/Confs/Meet Ups>Chat

FOSDEM 2020 - let’s organise a BEAM Community devroom?
The call for devrooms for the upcoming FOSDEM has been opened. FOSDEM is a large community-organized conference around open source softwa...
#conferences
12 1220 4
New
ashkan117
Events/Confs/Meet Ups>Chat

Anyone interested in starting a London based Elixir Meetup?
Hey all, I’m trying to see if there’s any interest in starting a semi routine meetup based in London. I was thinking it would be fun to ...
#elixir-meetup
1 52 0
New
davearonson
Events/Confs/Meet Ups>Chat

ElixirConf Africa 2024 has been cancelled
On sort of an inverted note, https://ElixirConf.Africa has been CANCELED, and it sounds permanent. They did not notify submitters, nor u...
#elixirconf#conferences#africa
1 581 4
New
Roostable
Events/Confs/Meet Ups>Chat

Elixir Meetups In The UK
Hey guys and girls, I am a recruiter (yes one of those) and I am currently noticing a large increase in requests from my clients for Elix...
/phoenix#erlang#otp#learning-elixir
3 970 2
New
Chrichton
Events/Confs/Meet Ups>Chat

Looking for meets/people in Hamburg/Gemany
Hi all. I am a very experienced software developer and I worked for over 40 years now and used many programming languages: Basic, Pasc...
#community
34 1350 44
New

Other popular topics Top

srinivasu
Questions & Help>Questions

Best Practises for Error handling elixir?
How to handle excepions in elixir? Suppose i have A, B, C ,D, E modules. and each module has get() function. A.get() method will call th...
16 16061 9
New
William
Learning Resources>Chat/questions

Resources for building an e-commerce store in Phoenix?
I would like to know that is there any online source for learning Phoenix Framework for building E-Commerce Store? Any advantage on build...
/phoenix#ecommerce
137 23142 64
New
itssasanka
Questions & Help>Questions

Why use `utc_datetime` over `naive_datetime` for Ecto?
Hi all, Trying to get some more clarity over utc_datetime and naive_datetime for Ecto: https://hexdocs.pm/ecto/Ecto.Schema.html#module-...
#ecto#timestamps#datetime#timezones
115 14814 19
New
malloryerik
Learning Resources>Guides/Tuts/Tips/Info

How to use 'phoenix-heex' templates in VSCode
Hi, this is for people who, like me, have had some friction using .html.heex templates in VSCode. The solution seems to be, in a hyphena...
/phoenix#vscode#heex
118 16932 34
New
quazar
Questions & Help>Questions

How to encode ecto schema with Jason with all fields
How to set Jason to encode all fields in ecto schema, I don’t care about security and implementing only is taking long list of attributes...
/phoenix#json#jason
17 13698 9
New
jononomo
Questions & Help>Questions

Where / How does the Mix environment variable get set?
I am trying to figure out how Mix knows whether the environment is test, dev, or prod -- where is this set? Thanks.
#mix
31 22791 9
New
nsuchy
Questions & Help>Questions

IEX in Windows Powershell?
Hi. I’ve noticed that Windows Powershell has it’s own IEX command and you cannot access Elixir’s IEX due to the conflict. This isn’t a cr...
#iex#microsoft-windows#windows#powershell
15 29309 4
New
chrisalley
Questions & Help>Questions

How to describe many contexts in ExUnit without a hierarchy
ExUnit now has describe blocks which is a welcome addition coming from RSpec. In the docs, it states that nested hierarchies of describe ...
#testing#exunit
66 16773 4
New
belgoros
Questions & Help>Questions

Regex question for hyphen match
I’m not a pro in using Regex and can’t figure out why the following behaviour happens, especially if we take into account the difference ...
#learning-elixir
9 12939 10
New
vrod
Questions & Help>Questions

Starship (cross-shell prompt) error - (starship::utils): Executing command "elixir" timed out
I am using the Starship cross-shell prompt – it seems pretty nice, but I get some errors: [WARN] - (starship::utils): Executing command ...
#starship
8 17167 3
New
Back to top

Events/Confs/Meet Ups>Chat

Events Events Chat ❯

Latest on Elixir Forum

Elixir Forum ❯

Sponsor Spotlight

Dashbit

Build Elixir applications with speed and confidence.

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Manning

Develop your skills with books, videos, and courses.

ElixirCasts

Producing high quality Elixir screencasts since 2017.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Forums

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Manning

Develop your skills with books, videos, and courses.

ElixirCasts

Producing high quality Elixir screencasts since 2017.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement